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.
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.
Why It Matters
AI demonstrates transferable mathematical creativity, moving beyond one-off solutions to reusable proof techniques.