Hva som er publisert
Modellen ble satt til å løse rundt 4 000 åpne forskningsproblemer. OpenAI samlet utdataene i resultatfamilier og beholdt de som var viktige nok. Modellen er ikke tilgjengelig, og OpenAI sier bare at de jobber med å slippe den på en ansvarlig måte. Ifølge Gizmodo er det samme modell som lå bak OpenAIs påstand om en løsning på Navier–Stokes-problemet for en måned siden.
Regnemengden er det mest konkrete tallet: gjennomsnittet er omtrent tre timer med ChatGPT Pro-tenkekraft per resultat. OpenAI publiserer også anslag over forbruket og statistikk over hvor mange problemer som ble forsøkt.
Hvor sikre er resultatene?
Mange, men ikke alle, av bevisene er formalisert i Lean, et språk der en datamaskin kan kontrollere at et bevis er gyldig. OpenAI påpeker selv at noen av de uformaliserte resultatene kan inneholde feil, og de kommer til å rette opp i dette fortløpende. Katalogen blander resultater på ulike stadier av verifikasjon.
Metoden er også omstridt. Det uavhengige rådgivningsutvalget for matematikk og AI ved Institute for Advanced Study ba AI-laber 29. september om å slutte å teste avanserte matematikkproblemer på modeller andre ikke får tilgang til. OpenAI sier at utvalgets råd har påvirket hvordan resultatene deles, men resultatene kommer fra en modell som fortsatt er intern.
Kilde: lnkd.in