OpenAI twierdzi, że jeden z jej wewnętrznych systemów sztucznej inteligencji rozwiązał problem, który od ponad dziewięćdziesięciu lat opierał się matematykom: czy równania Naviera-Stokesa, opisujące ruch cieczy, mogą wytworzyć osobliwość, czyli punkt, w którym prędkość przepływu staje się nieskończona. To jeden z siedmiu problemów milenijnych wyznaczonych przez Instytut Claya w 2000 roku, każdy z nagrodą miliona dolarów, a dotąd rozwiązano tylko jeden.
Według firmy, około 10 000 agentów AI działających na niepublicznym modelu, mocniejszym niż GPT-6 Astra, pracowało nad problemem 88 godzin, wymieniając 2,7 mln wiadomości i zużywając około 130 mld tokenów wyjściowych. Następnie sam GPT-6 Astra spędził kolejne 17 godzin na formalnym sprawdzaniu logiki dowodu w systemie Lean, który weryfikuje rozumowanie matematyczne linijka po linijce.
Kalendarz wygląda niezręcznie. Dwanaście godzin przed ogłoszeniem OpenAI matematyk z Uniwersytetu Nowojorskiego Tristan Buckmaster i badacz Anthropic Levent Alpöge opublikowali powiązany wynik. Buckmaster nazwał jeden z powstałych tekstów "śmieciem wygenerowanym przez AI" i zasugerował, że zespół OpenAI mógł zapoznać się z ich niepublikowaną pracą. Obie strony spierają się, kto był pierwszy.
Charles Fefferman z Princeton, jeden z najlepszych znawców właśnie tego problemu, nazwał wiadomość "ekscytującą", ale zaznaczył, że prawdziwymi bohaterami są matematycy Diego Córdoba i Luis Martínez-Zoroa, których nowa technika umożliwiła oba dowody wspomagane komputerowo. Żadna instytucja matematyczna nie potwierdziła jeszcze wyniku OpenAI, a taka weryfikacja zwykle trwa lata, a nie dni.
