Ep 55: A general-purpose reasoning model just disproved an 80-year-old math conjecture by finding better constructions than the square grids mathematicians expected.

Models & Agents A general-purpose reasoning model just disproved an 80-year-old math conjecture by finding better constructions than the square grids mathematicians expected. What You Need to Know: OpenAI announced that one of its general-purpose models solved the planar unit distance problem posed by Paul Erdős in 1946, marking the first time AI has autonomously resolved a prominent open math question. ... AI Disclosure: This podcast is curated by Patrick but uses AI-generated voice synthesis for audio production.