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
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.
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.