#Timothy Gowers
3 related articles
·3 min
OpenAI Cracks Erdős Unit Distance Conjecture: AI Independently Disproves 80-Year-Old Math Problem for the First Time
OpenAI's general reasoning model independently disproved Erdős's 1946 unit distance conjecture without human guidance—the first time AI has autonomously solved a core open math problem, verified by nine top mathematicians.
Read more →
Tech Frontiers·2 min
AI Daily: Claude Autonomous Tasks Exceed 16 Hours, GPT 5.5 Proves Mathematical Theorems
May 10, 2025 AI roundup: Claude autonomous tasks exceed 16 hours, GPT 5.5 Pro aids Fields Medalist in math proof, Cloudflare cuts 20% of staff due to AI.
Read more →
Tech Frontiers·2 min
General-Purpose AI Model Cracks Major Open Problem in Mathematics: A Milestone Moment Has Arrived
OpenAI CEO Sam Altman announces a general-purpose AI model has solved a major open math problem. We analyze this milestone, the leap from specialized to general AI, and its implications for science.
Read more →