AI Helps Crack an 87-Year-Old Math Conjecture With One Tiny Formula
4 Articles
4 Articles
During the football World Cup final, an IA of Anthropic solved the Jacobian conjecture, on which generations of algebraic geometry specialists had broken their teeth since 1939. This is the second time this year that such a tough problem has found a solution with the IA.
AI Helps Crack an 87-Year-Old Math Conjecture With One Tiny Formula
An AI-assisted counterexample disproves the Jacobian conjecture above two dimensions while leaving its original two-dimensional form open. A formula short enough to fit inside a single post on X has sent a surge of excitement through the mathematical community, just as millions of people were settling down after the FIFA World Cup Final. Levent Alpöge, [...]
AI keeps cracking unsolved math problems, and mathematicians have mixed feelings
OpenAI's refutation of the Unit Distance Conjecture has sparked a wave of AI-assisted advances in mathematics. Fields Medal winner Timothy Gowers says GPT 5.6 Pro solved two problems he had spent considerable time working on, each on its first attempt. He warns of the "possible destruction of mathematical culture" if mathematicians stop building the expertise needed to understand such results. Others simply see AI as a productivity tool. The art…
OpenAI's refutation of the Distance Conjecture unit has triggered a wave of AI-supported math breakthroughs. Fields medal bearer Timothy Gowers describes how GPT 5.6 Pro solved problems in a run-up he himself worked on for a long time, and warns of a "destructive mathematical culture" when no one builds up the expertise to understand the results. Others see it more relaxed. The article AI in mathematics: AI does what for people, but also with th…
Coverage Details
Bias Distribution
- 50% of the sources lean Left, 50% of the sources are Center
Factuality
To view factuality data please Upgrade to Premium
