How a reasoning model cracked an 80-year-old math problem
Reasoning researchers Alexander Wei, Hongxun Wu and Lijie Chen explain how a general-purpose model helped disprove an 80-year-old conjecture from Paul Erdős: the moment the result started to look real, what it took to verify the proof, and what it means for how researchers will work with AI.
Reasoning researchers Alexander Wei, Hongxun Wu and Lijie Chen explain how a general-purpose model helped disprove an 80-year-old conjecture from Paul Erdős: the moment the result started to look real, what it took to verify the proof, and what it means for how researchers will work with AI.