“Startups like Axiom promise, ‘We stand at the threshold of a mathematical renaissance.’ The collective market capitalization of such ventures would suffice to fund 200 math PhDs—the number lost this year in the United States due to cuts to graduate programs—every year for the next 500 years.”
AI companies are racing to mechanize mathematics. Where does that leave human understanding?
