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.
The new Claude default for high-end daily work shifts the model race toward performance per dollar. Anthropic says Opus 5 approaches Claude Fable 5 on coding and knowledge work while keeping API pricing at $5/M input and $25/M output tokens.
NVIDIA says a hosted RL loop lifted Nemotron 3 Nano from 22% to 91% accuracy on a math task for under $5, ending with a downloadable LoRA adapter.