AI models solve historic mathematical enigmas

Artificial intelligence models are achieving significant breakthroughs in solving long-standing mathematical problems. An OpenAI reasoning model recently addressed the unit distance problem in the plane, a discrete geometry enigma posed by Paul Erdős in 1946. The AI provided a 125-page proof demonstrating an infinite family of point configurations that exceed previous classical grid constructions, a result validated by nine specialists.

Separately, Anthropic’s AI model, Claude, successfully refuted the Jacobian conjecture, a problem that had remained unsolved since 1939. Additionally, reports indicate that versions of Claude have made progress regarding the Riemann hypothesis, one of the most famous unsolved problems in mathematics. These developments have sparked discussions among mathematicians regarding the evolving role of AI in traditional research.