While the rest of the world was watching the World Cup on Sunday evening, mathematician Levent Alpöge casually announced on X that he had used Anthropic's Fable 5 to disprove the Jacobian conjecture.
This Tweet is currently unavailable. It might be loading or has been removed.
The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished mathematicians for almost 90 years. It was included in "Smale's problems," a list of unresolved math problems put forward by mathematician Stephen Smale in 1998.But that proved no obstacle for Fable 5, Anthropic's latest frontier AI model. (You may remember Fable 5 as the public version of Claude Mythos Preview, the AI model that Anthropic says has such advanced cybersecurity capabilities that it was too dangerous for public release.)
You May Also Like
Alpöge is part of Harvard's Society of Fellows, and his Linkedin profile notes an affiliation with Anthropic. We've reached out to Anthropic with questions about Alpöge's work. Meanwhile, for those of us who don't understand polynomial functions from n-dimensional space, the question is: Does this represent a major breakthrough in artificial intelligence, or mathematics, or neither?"This did not cause me to update my priors about what AI can and can't do," professor and mathematician Andrew Blumberg told Mashable. "This is exactly the kind of thing I would expect AI to be able to do. If there was a counterexample that was concise and easy to state that people haven't found because it's a pain to search through all this stuff, AI will find it."Blumberg, who has a joint appointment in mathematics and computer science at Columbia University, is involved in the First Proof project, an effort to test the capabilities of frontier large language models in solving research-level mathematics. So, it's safe to say he understands mathematics and AI better than most of us.
