OpenAI's AI Just Killed an 80-Year-Old Math Conjecture — And Mathematicians Are Buying It
For nearly eight decades, the sharpest mathematical minds on the planet stared at a deceptively simple geometry puzzle and came up empty. Then an AI chatbot cracked it in two weeks. On May 20, OpenAI announced that one of its internal reasoning models had autonomously disproved a famous conjecture posed by legendary Hungarian mathematician Paul Erdős in 1946. The result has been independently verified by a panel including Fields medalist Tim Gowers — and it’s being called the first time AI has independently solved a prominent open problem in active mathematical research. ...