OpenAI twierdzi, że jego modele udowodniły hipotezę lokalnego wygładzania, obaliły hipotezę wykładniczego czasu i dowiodły istnienia teorii Yang–Millsa

OpenAI ogłosiło trzy wyniki z matematyki, informatyki i fizyki uzyskane przez jego modele. Wszystko poniżej to twierdzenia samego OpenAI; żadne z nich nie zostało jeszcze niezależnie zweryfikowane, a OpenAI twierdzi, że wyniki sprawdzono w Lean.

• Matematyka (analiza harmoniczna). OpenAI twierdzi, że jego modele udowodniły hipotezę lokalnego wygładzania w każdym wymiarze, co — jak podaje — rozwiązuje również hipotezę Kakeyi i hipotezę ograniczenia Steina we wszystkich wymiarach, za pomocą nowego pomocniczego równania różniczkowego cząstkowego. Firma udostępniła opis w języku naturalnym sporządzony przez modele oraz dowód w Lean w publicznym repozytorium GitHub openai/math, nawiązując do publikacji z 6 października.
• Informatyka. OpenAI twierdzi, że jego system obalił hipotezę wykładniczego czasu (ETH), dotyczącą złożoności problemu spełnialności formuł boolowskich, a obalenie zweryfikowano w Lean. Ryan Williams poprowadzi grupę, w której skład wejdą Russell Impagliazzo i Ramamohan Paturi (którzy wraz z Francisem Zane'em sformułowali ETH), aby zweryfikować i objaśnić wynik. Na prośbę grupy OpenAI udostępniło publicznie dowód w języku naturalnym i formalizację w Lean.
• Fizyka. OpenAI twierdzi, że jego modele opracowały matematycznie ścisły dowód istnienia pewnych czterowymiarowych oddziałujących teorii pól kwantowych z polami cechowania i fermionami, w tym QCD oraz zunifikowanego uzupełnienia Modelu Standardowego, a także — jako problem cząstkowy — dowód istnienia czystej teorii Yang–Millsa, stanowiącej część problemu z nagrodą milenijną Clay Mathematics Institute. Firma twierdzi, że dowody zostały formalnie zweryfikowane w Lean. Pracami pokieruje grupa Davida Grossa, w której skład wejdą Michael Douglas, Arthur Jaffe, Igor Klebanov i Nikita Nekrasov, a OpenAI pozostawi im decyzję o udostępnieniu materiałów.

OpenAI określa manuskrypty jako „surowe dane badawcze” i twierdzi, że poprosiło zewnętrznych ekspertów o pełnienie funkcji opiekunów prac, którzy doradzili odmienną strategię publikacji dla każdego wyniku. Podaje następujące daty: wynik dotyczący lokalnego wygładzania uzyskano 18 października (sformalizowano go w Lean następnego dnia), obalenie ETH — 16 października (formalizacja w Lean nastąpiła 17 października), a dowód istnienia teorii Yang–Millsa — 9 września (QCD — 18 września; formalizację teorii Yang–Millsa w Lean ukończono 16 października). Grupa zajmująca się fizyką prosi o kierowanie korespondencji na specjalny adres e-mail i zdecydowała, że na razie nie udostępni materiałów wytworzonych przez AI, podczas gdy sama opracowuje publikację.

OpenAI twierdzi, że współpraca opiera się na czterech zasadach: przejrzystości (brak umów o zachowaniu poufności), nieubieganiu się przez OpenAI o uznanie akademickie, docenieniu wkładu grup oraz niezależności (udział jest dobrowolny i nieodpłatny, a członkowie wypowiadają się wyłącznie we własnym imieniu). Firma twierdzi, że sfinansuje konferencję poświęconą wynikowi dotyczącymi ETH i wskazuje na niedawną darowiznę w wysokości 5 milionów dolarów na rzecz Simons Foundation na warsztaty i programy dotyczące wyników uzyskanych przez AI. Wprowadziła też niewielkie zmiany w repozytorium GitHub, wymienione w pliku historii. Do wieczora 26 października wątek z ogłoszeniem na X zdobył 405 punktów i 30 komentarzy.