OpenAI szerint belső modelljei jelentős előrelépéseket értek el fizikában és matematikában. Három fontos eredményről van szó: a hullámok viselkedésétől egyes számítási problémák nehézségén át a részecskefizika alapjaiig. Az október 26-i bejelentés azt követte, hogy a vállalat 372 matematikai feladathoz kapcsolódó megoldásokat és előrelépéseket bemutató kéziratokat tett közzé.
Az OpenAI nyers kutatási anyagként jellemzi a dokumentumokat, és külső szakértőket von be az ellenőrzésükbe és értelmezésükbe. Az első bizonyítás a Christopher Sogge által 1991-ben megfogalmazott lokális simítási sejtéshez kapcsolódik.
Egyszerűsítve: a hullámok nem maradhatnak hosszú időn keresztül rendkívül erősen koncentráltak. Az OpenAI állítása szerint minden térbeli dimenzióban bizonyította az eredményt, ami a Kakeya- és Stein-sejtésekre is kihatással lehet. A második munka cáfolná az Exponential Time Hypothesis feltevést, amely bizonyos logikai kielégíthetőségi problémák megoldási nehézségére vonatkozik.
Ez módosíthatja az informatikában használt elméleti korlátokat, de nem jelent automatikusan gyorsabb programokat. A kéziratok nyilvánosan elérhetők a GitHubon, a vállalat szerint pedig a bizonyításokat a matematikai bizonyításokat segítő Lean rendszerben formalizálták és ellenőrizték.
A fizikai eredmény négydimenziós kvantumtérelméletek – köztük a kvantumszíndinamika, vagyis a kvarkok és gluonok kölcsönhatásának elmélete – matematikailag szigorú létezésére vonatkozik. Az anyagokat a Nobel-díjas David Gross vezette csoport vizsgálja, teljes terjedelmükben még nem jelentek meg.
Lényeges különbség, hogy a Yang–Mills-elmélet létezése csak a Millennium-probléma egyik része. A teljes megoldáshoz egy „tömegrés” bizonyítása is kell: ez pozitív energiaküszöb a vákuum és a gerjesztett állapotok között. A jelenlegi eredmény tehát nem jelenti a teljes probléma megoldását.
A közzététel elégedetlenséget is kiváltott. Az Anthropicnál dolgozó Levent Alpöge és Ethan Sussman matematikus már nyilvánosan dolgozott egy rokon megközelítésen: Claude segítségével fejlesztették Tadeusz Bałaban matematikai programját. Alpöge azt bírálta, hogy az OpenAI külön jelentette be az eredményt ahelyett, hogy együttműködött volna velük.
A két kutató saját anyagaikkal kapcsolatban is óvatosságra int: ezek folyamatban lévő, nagyrészt MI által létrehozott munkák, amelyek ideiglenes állításai további ellenőrzést igényelnek.
