Jednorazowa publikacja setek wyników

OpenAI opublikowało 377 nowych rozwiązań otwartych problemów matematycznych, jak podają „The Atlantic” i „Der Standard”, które datują publikację na wtorek, podczas gdy „Frankfurter Allgemeine” wskazuje na środę. „Der Tagesspiegel” doliczył się ponad 700 manuskryptów obejmujących około 370 otwartych problemów, a „Frankfurter Allgemeine” wskazuje na 722 manuskrypty. „The Atlantic” donosi, że około jedna trzecia dowodów dotyczy słynnych w matematyce hipotez, kolejna jedna trzecia ma znaczenie w ramach swoich subdyscyplin, a pozostałe to mniej istotne wyniki lub warianty. Magazyn zauważa, że setki ludzi poświęciły dziesiątki lat na niektóre z tych pytań, a wyniki pojawiły się w ciągu jednego dnia. Harmonogram wydarzeń przedstawiono poniżej.

Twierdzenie o równaniach Naviera-Stokesa i spór

8 września OpenAI ogłosiło, że rój 10 000 agentów AI rozwiązał w 88 godzin jeden z siedmiu problemów milenijnych, równania Naviera-Stokesa, które opisują przepływy takie jak wiatr czy woda. Amerykański Instytut Matematyki Claya oferuje milion dolarów za rozwiązanie każdego z problemów milenijnych. Matematyk Tristan Buckmaster oskarżył firmę o to, że ChatGPT przywłaszczył jego ścieżkę rozwiązania po tym, jak współpracował z AI, czemu OpenAI zaprzecza. „Frankfurter Allgemeine” donosi, że niektóre z nowych wyników stanowią postęp w kierunku hipotezy Riemanna, hipotezy Hodge'a oraz hipotezy Bircha i Swinnertona-Dyera, trzech z sześciu wciąż otwartych problemów milenijnych. Ta sama gazeta podaje, że dowód hipotezy Unique Games został opublikowany w serwisie GitHub.

Weryfikacja i wycofane prace

Kwestią otwartą pozostaje weryfikacja. „The Atlantic” informuje, że jest za wcześnie, aby ktokolwiek zweryfikował pracę OpenAI w szczegółach, jednak kilku matematyków przekazało magazynowi, że przynajmniej niektóre prace nie dowodzą tego, co rzekomo mają dowodzić. OpenAI wycofało trzy ze swoich prac. Firma poinformowała również, że model podjął próbę rozwiązania około 3600 kolejnych problemów, dla których nie opublikowano skutecznych dowodów, i obiecała płacić matematykom za badanie wyników wygenerowanych przez AI, nie precyzując jednak źródeł finansowania. Rzecznik OpenAI przekazał „The Atlantic” w wiadomości e-mail:

Spodziewamy się, że błędy będą występować dość rzadko.

Reakcja matematyków

Yang-Hui He z London Institute for Mathematical Sciences przy Royal Institution wypowiedział się krótko po opublikowaniu dowodu równań Naviera-Stokesa:

Ostatnie sześć miesięcy było najbardziej dramatycznym okresem w całej historii matematyki od czasów Euklidesa.

Scott Aaronson, znany informatyk, zatytułował swój wpis na blogu dzień po publikacji „Matematyczna apokalipsa” (ang. The Mathocalypse), jak podaje „Frankfurter Allgemeine”. Hugo Duminil-Copin, laureat Medalu Fieldsa z 2022 roku, napisał w eseju opublikowanym przed wrześniowym ogłoszeniem OpenAI, że dowody AI „niszczą krajobraz matematyczny, czyniąc go coraz trudniejszym do zamieszkania po każdym wybuchu”. „Il Sole 24 ORE” donosi, że 25 laureatów Medalu Fieldsa podpisało list protestacyjny po ogłoszeniu dotyczącym równań Naviera-Stokesa. „The Atlantic” opisuje publikację jako matematyczne dywanowe bombardowanie, biorąc pod uwagę, że setki osób poświęciły dekady na niektóre z tych wyników.

Przejrzystość i dalsze kroki

Po kontrowersjach OpenAI utworzyło publiczne repozytorium w serwisie GitHub, jak podaje „Il Sole 24 ORE”, które informuje o ponad 700 już zamieszczonych pracach, formalizacjach Lean wielu dowodów, dziesięciu dokumentach podsumowujących rozumowanie modelu oraz szacunkach zasobów obliczeniowych. OpenAI powołuje się na trzy godziny rozumowania ChatGPT Pro dla każdego wyniku. Krok ten nastąpił po poradzie niezależnej grupy doradczej ds. matematyki i AI przy Institute for Advanced Study, którą OpenAI powołało w celu weryfikacji swoich prac nad AI. Rzecznik napisał:

Nie uważamy, że przyszłość matematyki jest przesądzona. Współpracujemy ze społecznością matematyczną, aby wspólnie kształtować przyszłość.

„Il Sole 24 ORE” opisuje repozytorium jako publiczne archiwum wyników matematycznych wspomaganych przez AI od OpenAI.