Tio problem, några öppna i årtionden
Den 1 augusti 2026 publicerade OpenAI ett forskningsinlägg med titeln "Tio framsteg inom matematik och teoretisk datavetenskap", som beskriver lösningar som Astra-systemet producerade. Enligt the-decoder använde företaget tillkännagivandet för att introducera Astra som sin nästa stora modell. Startup Fortune rapporterade att de tio problemen tidigare var olösta och att ett av de mest anmärkningsvärda resultaten var motbevisningen av Connes' Rigidity Conjecture — ett problem med djupa rötter i operatoralgebror och gruppteori.
Några av de riktade problemen hade stått öppna i mer än ett decennium, och ett uttag, 36Kr, karakteriserade flera av dem som "Fields Medal-level" i svårighetsgrad. Omfattningen av påståendena har uppmärksammats eftersom matematiska resultat, till skillnad från många AI-riktmärken, i princip kan kontrolleras rigoröst. OpenAI gjorde enligt uppgift verket tillgängligt genom formella verifieringsverktyg och ett offentligt arkiv, vilket gjorde det möjligt för oberoende matematiker att granska bevisen snarare än att tro på dem.
En ~$2 000 beräkna räkning
En av de mest slående detaljerna är kostnaden. Startup Fortune och XenoSpectrum rapporterade båda att modellen löste de tio öppna problemen för ungefär $2 000 i beräkning — en bråkdel av vad träning i gränsöverskridande skala vanligtvis kostar. Den siffran, om den är korrekt, understryker hur långt effektiviteten av slutledningstidsresonemang har kommit: den dyra delen av modern AI är i allt högre grad utbildningen, inte lösningen per problem.
Resultatet bygger på arbete som OpenAI avslöjades tidigare 2026, när en intern resonemangsmodell motbevisade planar enhetsavståndsförmodan, ett problem som ställdes av matematikern Paul Erdős 1946. Det tidigare resultatet berörde algebraisk talteori, inklusive oändliga klassfälttorn och Golod–Shafarevich-teorin. Astras tillkännagivande utökar den forskningslinjen till en bredare uppsättning öppna frågor.
Visas för senatorer i Washington
Tidpunkten för avslöjandet var avsiktlig. Informationen rapporterade exklusivt att OpenAI förhandsgranskade Astra-modellen i Washington, D.C., och Yellow.com noterade att demonstrationen kom "dagar innan ett 30-dagars granskningsramverk landar" - en referens till den växande regulatoriska tillsynen av kraftfulla nya AI-system. VD Sam Altman informerade personligen amerikanska senatorer om modellen, enligt Startup Fortune.
Förhandsvisningen i Washington är viktig eftersom den positionerar Astra inte bara som en teknisk milstolpe utan som en politisk. Med lagstiftare som diskuterar hur man reglerar gränsmodeller i kölvattnet av de senaste cybersäkerhetsincidenterna – inklusive AI-agenter som flydde sina sandlådor under testning – gör OpenAI fallet att dess mest avancerade system kan vara både kraftfulla och säkra nog att dela med tillsynsmyndigheter innan offentlig utgivning.
Är detta GPT-6?
OpenAI har inte officiellt bekräftat att Astra kommer att lanseras som GPT-6, men Startup Fortune rapporterade att företaget "väger frakten som GPT-6." The News International beskrev Astra som lanseringen av en "ny modellserie", medan KuCoin karakteriserade den som en modell "för långsiktiga uppgifter" - vilket tyder på en betoning på uthålliga, agentiska resonemang snarare än snabba engångssvar.
Den inramningen överensstämmer med en branschomfattande pivot mot så kallade agenter med lång horisont: system utformade för att arbeta med svåra problem under långa perioder, med hjälp av verktyg och verifiering snarare än att svara i ett enda pass. Matematikresultaten är i själva verket ett bevis på att detta tillvägagångssätt kan ge genuint ny kunskap.
Vad det betyder för AI-forskning
Astra-resultaten landar mitt i en hård debatt om huruvida AI:s resonemang är genuint sunt eller bara övertygande. Om bevisen håller upp till formell verifiering och peer review, skulle de representera ett meningsfullt steg bortom mönstermatchning - vilket tyder på att dessa system kan bidra till matematik som en forskningsdisciplin, inte bara efterlikna den.
Skeptiker varnar för att arbetet fortfarande behöver oberoende validering, och att "lösa" ett problem i formell mening skiljer sig från att en mänsklig matematiker förstår varför ett resultat är sant. Men kombinationen av låg beräkningskostnad, formell verifiering och en offentlig release ger det bredare samhället verktygen att kontrollera OpenAI:s påståenden.
Än så länge är Astra inte släppt för allmänheten. Vad som är tydligt är att OpenAI behandlar matematik som den nya provningsgrunden för frontier AI - och uppmanar tillsynsmyndigheter, såväl som forskare, att titta noga.
Ligg före AI
Gränsen för AI-forskning rör sig snabbt, med nya genombrott varje vecka. Följ alla större framsteg genom vår AI-industribevakning.
Läs mer AI-nyheter →
