GPT-5.5 Pro motbevisade ett 40-årigt matematikproblem – på egen hand

arXiv cs.AI

Ett enkelt AI-system byggt på GPT-5.5 Pro lyckades självständigt motbevisa Erdős–Szemerédi sum-produkt-förmodan (ett olöst matematikproblem sedan 1983) i 7 av 8 försök, med ett snitt på 132 400 resonemangstokens per försök. Det intressanta är inte bara att det fungerade, utan att de sju genererade bevisen var sinsemellan olika – AI:n hittade alltså flera oberoende vägar till samma slutsats. Systemet använde en tre-stegs-pipeline: planera bevis, konstruera bevis, granska – utan problemspecifik finjustering.