Chinese AI math proof reaches a new milestone: Shanghai AI Lab's Shusheng-S2 helped resolve the 31-year-old Ghys conjecture, ...

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 ...

Using AI and computer automation, Technion researchers have developed a 'conjecture generator' that creates mathematical conjectures, which are considered to be the starting point for developing ...

An Anthropic researcher has credited the company's AI model, Claude Fable 5, with helping overturn one of mathematics' longest-standing problems. Levent Alpöge, a mathematician at Anthropic, announced ...

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 ...

It’s an educated guess, not a proof. But a good conjecture will guide math forward, pointing the way into the mathematical unknown. Click to tell Google to prioritize Quanta and see more of the best ...