OpenAI har presentert Astra, en ennå ikke lansert KI-modell utviklet for å håndtere krevende og langvarige arbeidsoppgaver. Selskapet opplyser at en intern versjon av OpenAI Astra har ført til ti betydelige gjennombrudd innen matematikk og teoretisk informatikk.
Ifølge et nytt forskningsinnlegg hadde de sentrale problemene bak disse resultatene vært uløste i minst ett tiår. I flere tilfeller hadde forskere ikke gjort noen vesentlig fremgang på langt lengre tid.
OpenAI Astra tar for seg krevende forskningsproblemer
OpenAI opplyser at Astra ble testet innen flere avanserte fagområder, blant annet høy-dimensjonal geometri, kodeteori, gruppeteori, gitterbasert kryptografi, kvantekompleksitet og ekstrem kombinatorikk.
De rapporterte resultatene omfatter blant annet arbeid med ikke-sofiske grupper, et motbevis mot Connes» rigiditetshypotese og nye grenser for kulepakking i høy-dimensjonale rom. Astra bidro også til å løse flere problemer som opprinnelig ble formulert av matematikeren Paul Erdős.
OpenAI anslår at det krevde tokenbruk til en verdi av rundt 2 000 dollar, beregnet etter Sol API-priser, å finne løsningene. Menneskelige forskere spilte imidlertid fortsatt en sentral rolle i å utarbeide de endelige argumentene som akademiske forskningsartikler.
Lean-sertifikater verifiserer hvert argument
OpenAI Astra formaliserte deretter hvert argument som et Lean-sertifikat. Lean er et system for verifisering av matematiske bevis som gjør det mulig å kontrollere hvert logiske trinn formelt.
Denne prosessen gir forskere en måte å bekrefte at et bevis følger de nødvendige reglene. Dermed kan Astras arbeid kontrolleres uavhengig, i stedet for kun å basere seg på en KI-generert forklaring.
OpenAI har også uttalt at selskapet gjør raske fremskritt innen vitenskapelig forskning. Selskapet har imidlertid ennå ikke oppgitt noen dato for en offentlig lansering av Astra.
Astra kan bli lansert som GPT-5.7 eller GPT-6
The Information har separat rapportert at OpenAI utvikler Astra som en ny modellfamilie for langvarige arbeidsbelastninger.
OpenAI opplyser at modellen kan støtte KI-agenter som samarbeider på tvers av ulike deler av et omfattende problem. Denne egenskapen kan gjøre Astra nyttig for forskningsoppgaver som krever planlegging, gjentatt verifisering og koordinering.
Selskapet har angivelig ennå ikke bestemt om Astra skal lanseres som GPT-5.7, GPT-6 eller under et eget navn. Rapporter tyder også på at OpenAI kan velge en trinnvis lansering, der en forbrukerversjon blir bredt tilgjengelig, mens en kraftigere variant kan bli underlagt ytterligere godkjenning.
0 responses to “OpenAI Astra løser 10 langvarige matematiske problemer”