GPT-5.4 Pro solved Erdős problem No. 1202 from Green's list
Learn how GPT-5.4 Pro with Liam Price disproved Erdős's hypothesis in additive combinatorics. Counterexample with a linear proportion of surviving numbers. Details for mathematicians and AI developers.