GPT-5.4 Pro AI solves long-standing Erdős Problem #1196 in mathematics; formalization underway as of April 2026

Leeham on X: "GPT-5.4 Pro solves Erdős Problem #1196! Very pleased with this result; definitely my favourite thus far! This problem has been thought about for some time which makes this reasonably impressive and meaningful (see Lichtman's comments below). Formalisation is underway! https://t.co/AZ0tMuhn73" / X

[email protected] Pro solves Erdős Problem #1196! Very pleased with this result; definitely my favourite thus far! This problem has been thought about for some time which makes this reasonably impressive and meaningful (see Lichtman's comments below). Formalisation is underway!8:53 AM · Apr 14, 2026340.8K Views...