An OpenAI model solved a famous math problem that stumped humans for 80 years

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

OpenAI claims it solved an 80-year-old math problem — for real this time

OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who ...

Google's AI just solved mathematical problems humans couldn’t crack for 56 years

Researchers at Google DeepMind have announced that their AI system, AlphaProof Nexus, has solved nine longstanding problems ...

Meet Grigori Perelman: The math genius who solved a 100-year-old problem and rejected a $1 million prize and the Fields Medal

In a world where scientific breakthroughs often bring fame, wealth, and global recognition, Grigori Perelman chose a ...
TechCrunch

OpenAI’s ‘embarrassing’ math

That’s how Meta’s chief AI scientist Yann LeCun described the blowback after OpenAI researchers did a victory lap over GPT-5’s supposed math breakthroughs. Google DeepMind CEO Demis Hassabis added, ...