OpenAI har nu Astra redo, en lovande AI-modell som pekar på något störande: matematikens djupblå ögonblick

Det var maj 1997 och Gari Kasparov led det sista nederlaget mot Deep Blue. Mannen som hittills ansågs vara den bästa schackspelaren i historien var inte bara ledsen och skämdes: han blev också stucken. Vid den efterföljande presskonferensen sa han: "Låt ingen tolka detta som ett definitivt nederlag för människan inför maskinen.

Tävlingen har bara börjat." Men det var människans definitiva nederlag före maskinen.

Åtminstone den första. Nu ser det ut som att vi har en till i närheten. En som inte längre handlar om schack, utan om matematik.

Vad har hänt? OpenAI introducerade Astra, en intern version av sin nya generativa artificiella intelligensmodell. Han gjorde det också på ett stort sätt, och påstod att denna modell hade lyckats lösa eller främja lösningen av tio matematiska problem som inte hade framskridit på minst ett decennium, "och i de flesta fall mycket längre." I Xataka Den bästa matematikern i världen löser ett av historiens mest komplexa problem med en allierad: AI 2 000 dollar räcker för att förändra matematiken.

Problemen sträcker sig från högdimensionell sfärpackning till gitterbaserad kryptografi, och alla löstes av en intern version av Astra, med en total kostnad på mindre än $2 000 i tokens till priset av GPT-5.6 Sol API. AI förändrar matematiken 2026. Redan i april såg vi hur GPT-5.4 hade lyckats lösa ett av Erdös berömda problem på bara 80 minuter, och sedan För bara två veckor sedan hjälpte Anthropics Fable 5-modell också till att lösa en nästan sekelgammal gissning.

Terence Tao, som idag anses vara "matematikens Mozart", har gjort AI till sin stora allierade när han letar efter lösningar på nya matematiska problem, Hur bevisen konstruerades. Som beskrivits av OpenAI-tjänstemän, kombinerades Astra med mänsklig övervakning i olika faser. Medan Astra genererade matematiska argument, konverterade experter inom detta område dem till manuskript och sedan formaliserades varje argument till ett Lean-certifikat – ett system som låter dig automatiskt verifiera att ett bevis är korrekt.

Företaget har också publicerat ett ytterligare dokument som genererats av dess AI som rekonstruerar hela resonemangsprocessen det följde i varje test.

Ett särskilt slående resultat. Bland de tio testerna sticker vederläggningen av de så kallade exponentiella gränserna ut, vilket är problem 21 i Ramseys teori och som också är problem 183 av Erdös. Matematikern Thomas Bloom, ansvarig för sajten erdosproblems.com, förklarade i X att detta var resultatet som överraskade honom mest av hela listan som publicerades av OpenAI.

Förundran och försiktighet. Även om vissa forskare firade resultaten i X, manade andra till försiktighet. Matematikern Bharath Ramsundar varnade för att "vi bygger snabbt ett torn av 'kanske sanna' AI-resultat" och förespråkade mot att acceptera dessa upptäckter tills mänskliga matematiker granskar dem och når en konsensus om deras faktiska giltighet.

En annan expert, Ital Sher, gick längre och föreslog att det också borde vara obligatoriskt i dessa fall att publicera hela listan över problem som försökts och inte lösts, inte bara framgångarna, för att korrekt bedöma systemets faktiska kapacitet. Forskaren Jenny Lorraine Nielsen konstaterade i X att åtminstone ett av dessa bevis innehåller ett fel.

Min modell är bättre än din. Denna OpenAI-release kommer bara några dagar efter att Anthropic "skötade" att Mythos Preview hittade nya kryptografiska svagheter efter att ha spenderat 100 000 $ på tokens.

Den andra kapplöpningen för att visa att deras modeller hittar ännu fler säkerhetsbrister än OpenAI sällar sig nu till denna andra som utmanar den mänskliga förmågan att lösa matematiska problem. I Xataka | Mannen som vann på lotto 14 gånger utan att fuska. Deras trick var så enkelt att det slutade med att de förbjöd det