Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous mathematical reasoning.

OpenAI’s GPT-5.2 Pro does better at solving sophisticated math problems than older versions of the company’s top large ...

The two problems, known as Bauer's Height Zero Conjecture and a longstanding issue in the Deligne-Lusztig theory, date back to 1955 and 1976, respectively. Their solutions have been published in two ...