On May 20, 2026, OpenAI announced that its internal AI model had disproven a long-held prediction regarding the 'unit distance problem,' a central unsolved problem in discrete geometry. The unit ...
GPT-5.6 Sol Pro disproved a 20-year-old statistics conjecture in 90 minutes that GPT-5.5 couldn't crack in over 20 hours — a ...
Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics. Reading time 10 minutes Will ...
University of Florida provides funding as a founding partner of The Conversation US. What happens when someone claims to have proved a famous conjecture? Well, it depends. When a paper is submitted, ...
Despite multiple conferences dedicated to explicating Mochizuki’s proof, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 ...