GPT-5.4 Pro Math Proof Method Cracks Another 60-Year-Old Erdos Conjecture
Original: UPDATE: The method from the proof generated by GPT-5.4 Pro for Erdos Problem 1196 was successfully applied to other problems including another 60 year old Erdos conjecture. View original →
A Method That Generalizes
An r/singularity update (451 points) reveals the proof method GPT-5.4 Pro generated for Erdos Problem 1196 is a generalizable technique applied to additional problems, including another Erdos conjecture unsolved for 60 years.
Stanford Symposium
Results were presented at the Future of Mathematics Symposium at Stanford. GPT-5.4 Pro appears to have generated a novel mathematical methodology with broad applicability.
What It Means
An AI producing a method extending across multiple longstanding problems suggests a new phase of AI-assisted mathematical discovery: not just computation, but genuine mathematical invention.
Related Articles
Fields Medalist Timothy Gowers: GPT-5.5 Pro Produced PhD-Level Math Proofs — Research Faces 'Crisis'
Fields Medal-winning mathematician Timothy Gowers tested ChatGPT 5.5 Pro on open math problems and found it produced PhD-level proofs in about an hour, warning that mathematical research faces an imminent 'crisis' at the current rate of AI progress.
HN latched onto a practical shift in coding evals: correctness is no longer enough if the patch would fail human review.
Anthropic is not only shipping a stronger Claude model; it is splitting the same base capability into a broad Fable release and a restricted Mythos track. The package includes $10/$50 token pricing, 30-day safety retention, and automatic fallback to Opus 4.8 for some high-risk requests.