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.
OpenAI’s Deployment Simulation matters because it turns safety review into a measurable pre-release forecast. The study used about 1.3 million de-identified conversations and reported a 1.5x median multiplicative error on GPT-5-series risk estimates.
HN latched onto a practical shift in coding evals: correctness is no longer enough if the patch would fail human review.