In the age of artificial intelligence, what does the future hold for the ancient discipline of mathematics? A gathering of mathematicians at Harvard tries to answer the question.
Carolyn Johnson
This month, 30 mathematicians gathered at Harvard University to grade a consequential and difficult problem set. This wasn’t just any test; its outcome would guide a field grappling with existential questions about its future.
The student? AI.
The leaders of the First Proof effort announced Wednesday that across four AI systems, seven of 10 problems got a passing grade.
