Mathematician Michael Atiyah’s 2018 claim to have solved the Jacobian Conjecture has been disputed by experts, but now, a PhD mathematician has made a significant breakthrough using AI, proving that the conjecture is false in dimension 3 and all higher dimensions.
The Jacobian Conjecture: A 37,600-digit Beast
The Jacobian Conjecture has been an open problem in mathematics for 87 years, described as “one of the most famous unsolved problems in mathematics.” It’s a complex statement about polynomial mappings, involving 37,600 possible equations in 16 variables. In simpler terms, the conjecture states that if a polynomial mapping is injective (one-to-one), it must also be surjective (onto).
Anthropic Fable to the Rescue
The breakthrough came after a PhD mathematician spent two hours working with Anthropic Fable, an AI platform. By using the AI’s capabilities to explore a vast mathematical space, the mathematician was able to find an explicit counterexample to the conjecture. A counterexample is a specific instance that contradicts the initial statement, effectively disproving it.
What this means: While the resolution of the Jacobian Conjecture may not have an immediate, practical impact on our daily lives (like solving a pressing environmental or social issue), it marks an important milestone in the development of mathematics. By leveraging AI to tackle complex problems, mathematicians can continue to push the boundaries of human knowledge, driving innovation and discovery.
The Jacobian Conjecture’s resolution also highlights the growing potential for AI to aid in mathematical problem-solving. As AI systems become more sophisticated, we can expect to see more breakthroughs in fields like number theory, algebra, and geometry. The possibilities for future applications of this technology are vast and exciting, and it will be fascinating to see how AI continues to advance our understanding of the mathematically beautiful world around us.
