OpenAI har presenterat Astra, en ännu inte lanserad AI-modell som är utvecklad för att hantera svåra och långvariga arbetsuppgifter. Företaget uppger att en intern version av OpenAI Astra har lett till tio betydande framsteg inom matematik och teoretisk datavetenskap.
Enligt ett nytt forskningsinlägg hade de centrala problemen bakom dessa resultat varit olösta i minst ett decennium. I flera fall hade forskare inte gjort några betydande framsteg på betydligt längre tid.
OpenAI Astra tar sig an svåra forskningsproblem
OpenAI uppger att Astra testades inom flera avancerade områden, däribland högdimensionell geometri, kodningsteori, gruppteori, gitterbaserad kryptografi, kvantkomplexitet och extrem kombinatorik.
De rapporterade resultaten omfattar bland annat arbete om icke-sofiska grupper, ett motbevis mot Connes rigiditetshypotes och nya gränser för packning av sfärer i högdimensionella rum. Astra bidrog också till att lösa flera problem som ursprungligen formulerades av matematikern Paul Erdős.
OpenAI uppskattar att det krävdes tokenanvändning motsvarande omkring 2 000 dollar enligt Sol API:s prisnivåer för att ta fram lösningarna. Mänskliga forskare spelade dock fortfarande en avgörande roll i att omvandla resultaten till akademiska forskningsartiklar.
Lean-certifikat verifierar varje argument
OpenAI Astra formaliserade därefter varje argument som ett Lean-certifikat. Lean är ett system för verifiering av matematiska bevis som gör det möjligt att formellt kontrollera varje logiskt steg.
Processen ger forskare möjlighet att verifiera att ett bevis följer de nödvändiga reglerna. Därmed kan Astras resultat granskas oberoende i stället för att enbart förlita sig på en AI-genererad förklaring.
OpenAI har också uppgett att företaget gör snabba framsteg inom vetenskaplig forskning. Något datum för en offentlig lansering av Astra har dock ännu inte presenterats.
Astra kan lanseras som GPT-5.7 eller GPT-6
The Information har separat rapporterat att OpenAI utvecklar Astra som en ny modellfamilj för långvariga arbetsbelastningar.
OpenAI uppger att modellen kan stödja AI-agenter som samarbetar kring olika delar av ett omfattande problem. Den förmågan kan göra Astra användbar för forskningsuppgifter som kräver planering, upprepad verifiering och samordning.
Företaget har enligt uppgifter ännu inte beslutat om Astra ska lanseras som GPT-5.7, GPT-6 eller under ett separat namn. Rapporter gör också gällande att OpenAI kan välja en stegvis lansering, där en konsumentversion blir brett tillgänglig medan en kraftfullare variant kan kräva ytterligare godkännanden.
0 svar till ”OpenAI Astra löser 10 långvariga matematiska problem”