An AI Disproved a Problem Mathematicians Sat On for 80 Years
A general reasoning model was handed a 1946 question from Paul Erdos and returned a 125 page counterexample. No hints, no step by step guidance, no training for the task.
Aug 4, 2026/5 min read










