OpenAI säger att deras nya resonemangsmodell har producerat ett originalmatematiskt bevis som motbevisar en berömd olöst geometrisk förmodan som först ställdes av Paul Erdős 1946. Om dina ögonbryn precis for upp är du inte ensam – det här är inte första gången OpenAI gör ett sådant djärvt påstående. För sju månader sedan postade före detta VP Kevil Weil på X att "GPT-5 hittade lösningar på 10 (!) tidigare olösta Erdős-problem och gjorde framsteg på 11 andra." Spoiler: GPT-5 löste dem faktiskt inte; den återupptäckte bara befintliga lösningar som redan fanns i litteraturen. Hån från rivaler som Yann LeCun och Google DeepMinds vd Demis Hassabis följde, och Weil raderade snabbt sitt förhastade inlägg.
Den här gången säger OpenAI att de inte upprepade samma misstag. Tillsammans med tillkännagivandet publicerade företaget kommentarer från matematikerna Noga Alon, Melanie Wood och Thomas Bloom – som driver webbplatsen Erdos Problems och tidigare kallade Weils inlägg "en dramatisk felaktig framställning." "I nästan 80 år trodde matematiker att de bästa möjliga lösningarna såg ungefär ut som kvadratiska rutnät," postade OpenAI på X. "En OpenAI-modell har nu motbevisat den tron och upptäckt en helt ny familj av konstruktioner som presterar bättre."
Företaget hävdar att detta markerar "första gången AI autonomt har löst ett framträdande öppet problem centralt för ett matematikområde." Beviset kom från en ny allmän resonemangsmodell, inte ett system specifikt utformat för matematik – vilket OpenAI säger är betydelsefullt eftersom det innebär att AI nu kan hålla samman långa, svåra resonemangskedjor och koppla samman idéer över fält. Det sägs ha implikationer för biologi, fysik, teknik och medicin. "AI hjälper oss att mer fullständigt utforska den katedral av matematik vi har byggt under århundradena," sade Bloom. "Vilka andra osedda underverk väntar i kulisserna?"