GPT-5.4 Pro Math Proof Method Cracks Another 60-Year-Old Erdos Conjecture

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.