“They also explore what happens to mathematics when…” — The a16z Show at 1:41
“They also explore what happens to mathematics when generating a proof becomes cheap, why academic incentives may need to change, and how mathematicians can use AI without outsourcing the understanding that makes the work valuable in the first place.”
0:00
1:03:49