OpenAI tworzy niezależny panel matematyczny, twierdząc, że rozwiązało ponad 100 problemów

OpenAI 21 września 2026 r. ogłosiło niezależną Grupę Doradczą ds. Matematyki i Sztucznej Inteligencji, goszczącą w Institute for Advanced Study, i powiedziało, że wewnętrzny model, którego trening rozpoczął 28 sierpnia 2026 r., rozwiązał ponad 100 długo istniejących otwartych problemów w większości dziedzin matematyki.

Twierdzenie o modelu stojące za grupą

Oprócz rozwiązania Navier–Stokes Millennium Prize problem, wewnętrzny model rozwiązał już ponad 100 długo istniejących otwartych problemów w większości dziedzin matematyki, podało OpenAI. Firma stwierdziła, że tempo postępów modelu w matematyce zaskoczyło matematyków w OpenAI i doprowadziło do wewnętrznych dyskusji na temat najlepszego sposobu poinformowania społeczności o szybkim postępie, aby przygotować i dostosować dziedzinę.

OpenAI opisało matematykę jako podstawową naukę, w której nowe odkrycia mogą przynieść szeroki wachlarz zastosowań, i stwierdziło, że czyni to obietnicę tych możliwości znaczącą, a ich odpowiedzialny rozwój i wdrażanie ważnym nie tylko w samej matematyce. Firma przyznała, że jest tego świadoma i pracuje nad tym, jak szersze wdrażanie możliwości AI związanych z matematyką może odbywać się odpowiedzialnie.

Otwarty list, na który powołało się OpenAI

Ogłoszenie odwoływało się do otwartego listu, “A Severe Misalignment of AI in Mathematics,” opublikowanego 11 września 2026 r., w którym matematycy wyrażają obawy dotyczące negatywnych skutków ubocznych rozwiązywania otwartych problemów jako punktu odniesienia dla nowych systemów AI. OpenAI stwierdziło, że krytyka podkreśla potrzebę przemyślanej współpracy firm AI ze społecznością matematyczną.

W liście sygnatariusze argumentują, że dążenie firm AI do rozwiązywania problemów matematycznych jako punktu odniesienia jest szkodliwe dla nauki matematyki i dla społeczności matematycznej, pisząc, że „cele firm AI i cele społeczności matematycznej są poważnie niezgodne”. List stwierdza, że rozwiązania są często ogłaszane w pośpiechu, nie pozostawiając czasu na właściwe opracowanie, izolację nowych metod i pomysłów ani na cytowanie istotnych wcześniejszych prac, co według nich rodzi poważne kwestie dotyczące przypisania autorstwa i plagiatu. Ostrzega również, że przyspieszona masowa produkcja twierdzeń prawda/fałsz może zniszczyć żyzne podłoże dla nowych pomysłów, a wyniki wymyślone przez AI pozostaną niewdrożone bez matematyków gotowych je rozwinąć, powiązać z wcześniejszymi pracami i wprowadzić do przyjętego kanonu matematyki.

List stwierdza, że AI ma potencjał, aby wzmocnić i przyspieszyć autentyczne badania i zrozumienie matematyki, ale to, czy zmiany ostatecznie przyniosą korzyści dziedzinie, czy będą miały destrukcyjny wpływ, w dużej mierze zależy od decyzji ludzi kontrolujących technologię. Zaznacza, że kwestie te muszą być pilnie rozwiązane przez społeczność matematyczną, przez firmy opracowujące te technologie oraz przez społeczeństwo, które będzie stawiać czoła podobnym problemom w wielu innych formach pracy intelektualnej. Każdy wymieniony sygnatariusz jest oznaczony rokiem otrzymania Medalu Fieldsa; wśród nazwisk znajdują się Artur Avila, Manjul Bhargava, Simon Donaldson, Martin Hairer, June Huh, Peter Scholze, Terence Tao i Maryna Viazovska, oraz inni. List jest zarejestrowany pod numerem DOI 10.5281/zenodo.22737750.

Co OpenAI twierdzi, że grupa będzie robić

Zgodnie z ogłoszeniem, grupa będzie doradzać w zakresie przeglądu i komunikacji nowych wyników: pomagając OpenAI ocenić ich znaczenie, doradzając, jak koordynować ich rozpowszechnianie, oraz udzielając wskazówek dotyczących akademickich i zawodowych standardów badań matematycznych. Będzie także doradzać, jak narzędzia OpenAI mogą wspierać badania i naukę matematyki, a firma stwierdziła, że jej celem jest zapewnienie matematykom skutecznych narzędzi do własnych badań.

OpenAI poinformowało, że grupa będzie działać niezależnie, mając swobodę udzielania rad, o które firma nie prosiła, komentowania wpływu OpenAI na matematykę oraz publikowania swoich zaleceń. Firma zaznaczyła, że wartość grupy zależy od tego, że jej członkowie będą stosować niezależny osąd i kwestionować własny osąd firmy, że członkowie nie będą otrzymywać wynagrodzenia od OpenAI oraz że grupa może zmieniać skład członków według własnego uznania. Ogłoszenie wyraźnie stwierdza, że grupa nie będzie odpowiedzialna za doradzanie OpenAI w kwestii tempa wewnętrznego postępu firmy w dziedzinie matematyki.

OpenAI określiło współpracę z grupą jako pierwszy krok i stwierdziło, że pozostają trudne pytania dotyczące tego, jak AI może wspierać zrozumienie matematyki oraz jak korzyści płynące z tych możliwości mogą dotrzeć do szerszej społeczności, dodając, że chce, aby matematycy odegrali centralną rolę w kształtowaniu odpowiedzi.

Statut grupy i bieżące zadanie

Na własnej witrynie, goszczącej w Institute for Advanced Study, grupa stwierdza, że jej celem jest doradzanie firmom AI w ich kontaktach z badaniami matematycznymi i ze społecznością matematyczną — w tym odpowiedzialnemu prezentowaniu i udostępnianiu wyników matematycznych — oraz pełnienie roli jednego z możliwych kanałów komunikacji między matematykami a przemysłem AI. Grupa pisze, że uważa, iż dyscyplina znajduje się w historycznym momencie, a ostatnie wydarzenia podnoszą pilne pytania o to, jak wesprzeć długoterminowe perspektywy głębokiego ludzkiego zrozumienia matematyki.

Grupa oświadcza, że działa niezależnie od jakiejkolwiek firmy AI, że członkowie nie otrzymują wynagrodzenia za swoją pracę oraz że będzie publikować swoje rekomendacje dla firm AI na stronie. Stwierdza, że jest gotowa zaoferować rekomendacje każdej firmie AI, której modele mogą mieć znaczący wpływ na matematykę, jednocześnie podkreślając, że „nie mamy władzy decyzyjnej w żadnej firmie AI” i że odpowiedzialność za decyzje spoczywa na każdej z firm. Według strony grupa powstała po tym, jak OpenAI zwróciło się do niektórych jej członków z propozycją utworzenia zewnętrznej rady doradczej, a w porozumieniu z OpenAI ci członkowie postanowili stworzyć niezależną grupę i zaprosić do niej innych.

Początkowi członkowie wymienieni przez OpenAI i przez grupę to François Charles (ENS‑PSL), Camillo De Lellis (IAS, GSSI), Timothy Gowers (Collège de France, Cambridge), Martin Hairer (EPFL, Imperial College London), Nikhil Srivastava (Berkeley, Simons Institute), Ulrike Tillmann (Oxford, INI), Ravi Vakil (Stanford), Edward Witten (IAS) oraz Melanie Matchett Wood (Harvard). Hairer pojawia się także wśród sygnatariuszy otwartego listu z 11 września.

Obecnym zadaniem grupy, jak podaje, jest doradzanie OpenAI w kwestii koordynacji publikacji dużej liczby istotnych wyników w matematyce, które OpenAI twierdzi, że zostały wygenerowane przez jej wewnętrzny model. Grupa zbiera opinie ze środowiska matematycznego za pośrednictwem formularza na swojej stronie i informuje, że odpowiedzi będą wykorzystywane do kształtowania rekomendacji i nie zostaną upublicznione bez zgody.