OpenAI har præsenteret Astra, en endnu ikke offentliggjort AI-model, der er udviklet til at håndtere komplekse og langvarige arbejdsopgaver. Virksomheden oplyser, at en intern version af OpenAI Astra har ført til ti markante gennembrud inden for matematik og teoretisk datalogi.
Ifølge et nyt forskningsindlæg havde de centrale problemer bag disse resultater været uløste i mindst et årti. I flere tilfælde havde forskere ikke gjort væsentlige fremskridt i langt længere tid.
OpenAI Astra tager fat på vanskelige forskningsproblemer
OpenAI oplyser, at Astra blev testet inden for en række avancerede områder, herunder højdimensionel geometri, kodeteori, gruppeteori, gitterbaseret kryptografi, kvantekompleksitet og ekstrem kombinatorik.
De rapporterede resultater omfatter blandt andet arbejde med ikke-sofiske grupper, et modbevis af Connes’ rigiditetshypotese samt nye grænser for kuglepakning i højdimensionelle rum. Astra bidrog også til at løse flere problemer, som oprindeligt blev formuleret af matematikeren Paul Erdős.
OpenAI anslår, at det krævede tokens til en værdi af omkring 2.000 dollar, beregnet efter Sol API-priser, at finde løsningerne. Menneskelige forskere spillede dog fortsat en central rolle i at omsætte resultaterne til akademiske forskningsartikler.
Lean-certifikater verificerer hvert argument
OpenAI Astra formaliserede derefter hvert argument som et Lean-certifikat. Lean er et system til verifikation af matematiske beviser, som gør det muligt formelt at kontrollere hvert enkelt logisk trin.
Denne proces giver forskere mulighed for at bekræfte, at et bevis følger de nødvendige regler. Dermed kan Astras arbejde verificeres uafhængigt i stedet for udelukkende at basere sig på en AI-genereret forklaring.
OpenAI har også oplyst, at virksomheden gør hurtige fremskridt inden for videnskabelig forskning. Der er dog endnu ikke offentliggjort nogen dato for en offentlig lancering af Astra.
Astra kan blive lanceret som GPT-5.7 eller GPT-6
The Information har særskilt rapporteret, at OpenAI udvikler Astra som en ny modelfamilie til langvarige arbejdsbelastninger.
OpenAI oplyser, at modellen kan understøtte AI-agenter, der samarbejder på tværs af forskellige dele af et omfattende problem. Denne egenskab kan gøre Astra nyttig til forskningsopgaver, der kræver planlægning, gentagen verifikation og koordinering.
Virksomheden har angiveligt endnu ikke besluttet, om Astra skal lanceres som GPT-5.7, GPT-6 eller under et separat navn. Rapporter tyder også på, at OpenAI kan vælge en gradvis lancering, hvor en forbrugerversion bliver bredt tilgængelig, mens en kraftigere variant kan blive underlagt yderligere godkendelse.
0 svar til “OpenAI Astra løser 10 langvarige matematiske problemer”