GPT-5.4 Pro solved Erdős Problem #1196, a decades-old combinatorial number theory problem?

GPT-5.4 Pro solved Erdős Problem #1196, a decades-old combinatorial number theory problem.

The proof method was then successfully applied to another Erdős conjecture, also over 60 years old?

The proof method was then successfully applied to another Erdős conjecture, also over 60 years old.

Mathematician Jared Lichtman confirmed the results, linking to Stanford symposium talks.

Media & Culture

r/Singularity May 02, 2026

⚡AI-generated proof method generalizes to solve a second longstanding Erdős problem.

Deep Dive

A Reddit post reports that GPT-5.4 Pro solved Erdős Problem #1196.

Key Points

GPT-5.4 Pro solved Erdős Problem #1196, a decades-old combinatorial number theory problem.
The proof method was then successfully applied to another Erdős conjecture, also over 60 years old.
Mathematician Jared Lichtman confirmed the results, linking to Stanford symposium talks.

AI demonstrates transferable mathematical creativity, moving beyond one-off solutions to reusable proof techniques.