OpenAI opublikował w repozytorium GitHub zbiór 722 artykułów naukowych zawierających rozwiązania do 90 spośród 500 najsłynnych otwartych problemów matematycznych. Wyniki pochodzą z wewnętrznego modelu frontierowego, który pracował średnio zaledwie 3 godziny na ChatGPT Pro na każde zagadnienie. Przełomowy jest zwłaszcza wynik nr 003 - Quasi-Hipoteza Riemanna, którą specjaliści porównują do odkrycia godnego medalu Fieldsa lub największego przełomu w teorii liczb w ciągu ostatnich dwóch wieków.
Rozmach tego osiągnięcia kontrastuje z poprzednimi wynikami OpenAI w matematyce - model Navier-Stokes wymagał 88 godzin obliczań na 10 tysięczach agentów, podczas gdy obecne rozwiązania uzyskano znacznie bardziej wydajnie. Nawet konkurenci z Anthropic, mimo osobistych sporów z OpenAI, przyznają znaczenie wyniku. Jeden z badaczy Anthropic, pracujący nad własnym modelem Navier-Stokes, stwierdził bez ogródek: "To oczywiście najważniejszy moment w historii matematyki". Choć wypowiedź wymaga pewnych zastrzeżeń, konsensus wśród ekspertów wskazuje, że wyniki rzeczywiście rozwiązują wiele z najsłynniejszych zagadnień matematycznych sprzed dziesięcioleci.
Publikacja 722 prac stanowi znaczący kamień milowy w zastosowaniu AI do nauki formalnej. Jeśli wyniki zostaną potwierdzone przez matematyczną społeczność, będzie to oznaczać przesunięcie granicy tego, co modele językowe mogą osiągnąć w złożonych dowodach matematycznych.