🤖 GPT-5.4 Pro extends Erdos problem breakthroughs

GPT-5.4 Pro solved Erdos problem 1196 from 1968 in 1.5 hours under mathematician Jared Lichtman. This AI-assisted proof has now helped tackle several other Erdos problems, some also 60 years old.

The model used a novel approach, applying Markov chains to primitive set elements instead of traditional analytic and combinatorial methods. This shift opened new paths in longstanding mathematical challenges.

Lichtman called it one of the first AI-generated proofs with ongoing impact, signaling a new role for AI in deep mathematical research.

📊@tech