Source: Fortune
Summary
An AI model has resolved the Jacobian conjecture, a problem that has been unsolved since 1939. The solution was verified by mathematicians at Imperial College London and has been met with a mixture of excitement and dread. The AI model, developed by Anthropic employee Levant Alpöge, has demonstrated the potential of language models to eventually reach the “supermathematician” level. However, mathematicians are left wanting, as the AI model provides the “how” without the “why.” The solution has sparked debate about the role of AI in mathematics and the future of human mathematicians.
Our Reading
The numbers tell one story.
The Jacobian conjecture, a problem that has been unsolved for 87 years, has been resolved by an AI model. The solution was verified by mathematicians at Imperial College London and has been met with a mixture of excitement and dread. The AI model, developed by Anthropic employee Levant Alpöge, has demonstrated the potential of language models to eventually reach the “supermathematician” level. Mathematicians are left wanting, as the AI model provides the “how” without the “why.” The solution has sparked debate about the role of AI in mathematics and the future of human mathematicians. The moment proof-writing models meet Kevin Buzzard’s proof-checking machine, one of human’s last advantages in mathematics disappears.
The announcement sounds familiar.
Author: Evan Null
