OpenAI: Astra-modellen har löst 10 olösta matteproblem

OpenAI meddelade den 1 augusti att en intern version av Astra, nästa stora modellfamilj från bolaget, har tagit fram lösningar på tio mångåriga öppna problem inom matematik och teoretisk datavetenskap till en total inferenskostnad på cirka 2 000 dollar med Sol API-priser.openai

Problemen hade stått emot framsteg i minst ett decennium och spänner över högdimensionell geometri, kodningsteori, aritmetisk kretskomplexitet, gruppteori, operatoralgebror, kvantkomplexitet, gitterkryptografi och extremal kombinatorik. Mänskliga forskare arbetade om argumenten till manuskript med hjälp av samma modell, som sedan formaliserade varje bevis i Lean, ett språk för maskinverifierade teorem. OpenAI har publicerat alla certifikat och resonemangsloggar offentligt.forklog+1

Vad Astra löste

De tio resultaten inkluderar nya övre gränser för sfärpackningstäthet ner till Cohn-Elkies-tröskeln, en konstruktion som bevisar förekomsten av icke-sofiska grupper, en central fråga inom gruppteori som varit öppen sedan 1999, samt en motbevisning av Connes styvhetsförmodan om von Neumann-algebror. Astra gav också nya nedre gränser för aritmetisk kretskomplexitet vid beräkning av permanenten, ett exponentiellt parallellt repetitionsteorem för kvantspel med två spelare, samt polynomfaktorstsvårighet för närmaste vektor-problemet, vilket har konsekvenser för kvantsäker kryptografi.forklog+1

Modellen löste Ehrharts volymförmodan i alla dimensioner, tog fram en superexponentiell nedre gräns för flerfärgade triangel-Ramseytal vilket löste Erdős-problem 183, samt hanterade kompaktitets- och degenerationsförmodanden inom extremal grafteori vilket löste Erdős-problemen 146 och 180.openai

Thomas Bloom, matematiker vid University of Manchester, beskrev resultaten som "stora nyheter" och ett "betydande steg".forklog

Astra är fortfarande inte släppt

Astra har inte släppts offentligt. Sam Altman demonstrerade modellen för amerikanska senatorer och tillsynsmyndigheter i Washington i slutet av juli, och den kan bli det första systemet som skickas in under Trump-administrationens planerade utvärderingsramverk för AI-modeller före lansering. Enligt The Information News Corp ↘ 1.67% har OpenAI inte bestämt om Astra kommer att lanseras som GPT-6 eller som en variant i GPT-5-utbudet, och inget lanseringsdatum har fastställts.softonic+2

Noam Brown, medförfattare till Astras resonemangsteknik, noterade att modellen inte lyckades lösa Millenniumproblemen, sju frågor som Clay Mathematics Institute år 2000 identifierade som de viktigaste inom matematiken. OpenAI uppgav tydligt att "att hävda mänskligt upphovsmannaskap för ett bevis som helt genererats av ett AI-system skulle ge en felaktig bild av både systemets bidrag och karaktären av äkta mänskligt intellektuellt arbete".forklog+1