OpenAI publikuje 377 wyników matematycznych uzyskanych dzięki sztucznej inteligencji, gdy najlepsi matematycy ostrzegają przed dwupoziomowym polem

OpenAI opublikowało ustalenia dotyczące 377 problemów badawczych w matematyce, jak podała firma w poście na blogu zatytułowanym „Udostępnianie postępów AI w matematyce”, opublikowanym we wtorek, 6 października 2026 r., podczas drugiego dużego spadku w matematyce w ciągu tylu miesięcy.

Wyniki obejmują algebrę, informatykę teoretyczną i logikę matematyczną i pojawiły się zaledwie kilka tygodni po tym, jak OpenAI ogłosiło rozwiązanie równań Naviera-Stokesa, jednego z najsłynniejszych nierozwiązanych problemów na świecie, któremu przyznano nagrodę w wysokości 1 miliona dolarów. To wcześniejsze twierdzenie podzieliło już matematyków; znacznie obszerniejsza publikacja z tego tygodnia zaostrzyła debatę. Dla czytelników śledzących najświeższe wiadomości o sztucznej inteligencji ten odcinek stał się najwyraźniejszym jak dotąd sprawdzianem tego, jak społeczność badawcza powinna postępować z wynikami generowanymi maszynowo, których ludzie nie mogą łatwo zweryfikować.

Co faktycznie wydano OpenAI

Według The Guardian OpenAI opublikowało „ponad 370 wyników matematycznych z różnych dziedzin, takich jak algebra, informatyka teoretyczna i logika matematyczna”. „The New York Times” podał liczbę 377 problemów, natomiast „New Scientist” podał, że po zliczeniu wyników pomocniczych publikacja zawierała 722 odkrycia matematyczne. Różne liczby odzwierciedlają różne sposoby grupowania lematów, wniosków i pełnych rozwiązań w dyskretne „wyniki”.

Skala jest tym, co zdumiewa obserwatorów. Podczas gdy zeszłomiesięczne twierdzenie Naviera-Stokesa obejmowało pojedynczy, dokładnie przeanalizowany wynik, w tej publikacji pojawiły się wszystkie naraz — setki wniosków z wielu dziedzin, wygenerowanych przez najbardziej zaawansowane modele wewnętrzne OpenAI. Historia ta w ciągu jednego dnia odbiła się szerokim echem w dziennikach „The Washington Post”, „The Economist”, „The Wall Street Journal” i „Fortune”, a post na blogu OpenAI znalazł się na szczycie Hacker News, uzyskując znacznie ponad tysiąc głosów pozytywnych.

Instytut Studiów Zaawansowanych odpiera zarzuty

Instytut Studiów Zaawansowanych w Princeton w stanie New Jersey – od dawna siedziba takich osobistości jak Einstein i von Neumann – stwierdził, że nie popiera praktyki testowania modeli pionierskich pod kątem najtrudniejszych otwartych problemów w danej dziedzinie, szczególnie gdy prace toczą się za zamkniętymi drzwiami.

„Obecnie sztuczna inteligencja może wyprowadzać argumenty matematyczne w sytuacjach, w których człowiek, który ją spowodował, nie jest w stanie zrozumieć argumentów, zweryfikować ich ani wziąć za nie odpowiedzialności” – stwierdziła organizacja w oświadczeniu. „Wierzymy, że ludzkie zrozumienie matematyki pozostaje sprawą najwyższej wagi”.

Problemem nie jest to, że wyniki są koniecznie błędne. Chodzi o to, że matematyka jako dyscyplina zależy od weryfikacji, a zalew generowanych przez maszyny twierdzeń, których żaden człowiek nie sprawdził, nie mieści się w normach naukowych.

Odpowiedź OpenAI: Miejsce przy stole

Aby zaradzić tej reakcji, OpenAI ogłosiło, że będzie współpracować z Institute for Advanced Study, aby dać „matematykom głos w sprawie naszych dalszych postępów”. Jak zauważył The Guardian, firma nie zobowiązała się do jakichkolwiek zmian w podstawowej praktyce: OpenAI nic nie wskazywało, że zaprzestanie testowania zaawansowanych problemów na zastrzeżonych modelach wewnętrznych.

Rada doradcza Instytutu zwróciła się również do laboratoriów zajmujących się sztuczną inteligencją o przyznanie „sprawiedliwego dostępu” do ich systemów granicznych. „Wykorzystywanie zastrzeżonych modeli wewnętrznych przez laboratoria sztucznej inteligencji do prowadzenia badań matematycznych stwarza ryzyko stworzenia dwupoziomowego systemu, w którym laboratoria wyprzedzają resztę dziedziny, skutecznie odstraszając społeczność matematyczną od jej własnej dyscypliny” – napisała grupa.

„Weź czyjąś pracę i doprowadź ją do końca”

Matematycy blisko dotkniętych problemów poruszają subtelniejszą kwestię: kredyt. Tristan Buckmaster, matematyk z Uniwersytetu Nowojorskiego, który pracował nad problemem Naviera-Stokesa, powiedział dziennikowi The New York Times, że badacze podpowiadający modele sztucznej inteligencji mogą zapewniać częściowy postęp, który następnie kończą modele.

„Prawdopodobnie będzie wiele rezultatów, gdy ktoś weźmie czyjąś pracę, a następnie doprowadzi ją do końca” – powiedział Buckmaster.

Jeśli jest dokładna, dynamika ta komplikuje zarówno atrybucję, jak i ocenę. Wynik, który wygląda na niezależny przełom maszynowy, może w rzeczywistości być ostatnim krokiem na rusztowaniu zbudowanym przez człowieka – takim, którego człowiek nigdy nie zgodził się oddać.

Co to oznacza dla badań nad sztuczną inteligencją

Publikacje matematyczne stają się cykliczną wizytówką możliwości pionierskich laboratoriów i powtarzającym się testem warunków skrajnych sprawdzającym, w jaki sposób nauka absorbuje wydajność maszyn. W kadrze „Wall Street Journal” uchwycono sedno: sztuczna inteligencja rozwiązała jeden problem matematyczny i wszyscy wpadli w panikę – teraz rozwiązała setki kolejnych.

Trzy pytania zadecydują o tym, co będzie dalej. Po pierwsze, weryfikacja: niezależni matematycy będą potrzebować miesięcy, aby sprawdzić nawet ułamek z 377 wyników, a błędy, jeśli zostaną wykryte, mocno nadszarpną wiarygodność OpenAI. Po drugie, dostęp: czy laboratoria udostępniają swoje najsilniejsze modele badaczom z zewnątrz, zgodnie z żądaniem Instytutu, czy też utrzymują obieg zamknięty. Po trzecie, pierwszeństwo: jak sugerują obawy Buckmastera, w tej dziedzinie mogą być potrzebne nowe normy dotyczące uznawania dowodów opartych na współpracy człowieka i sztucznej inteligencji.

Według The Guardian OpenAI nie odpowiedziało na prośby o komentarz w sprawie krytyki. To, czy partnerstwo z Instytutem Studiów Zaawansowanych stworzy wykonalne normy – czy jedynie dokumentuje różnicę zdań – prawdopodobnie zadecyduje o tym, czy matematyka pozostanie wiodącym punktem odniesienia dla pionierskiego postępu w dziedzinie sztucznej inteligencji, czy też stanie się pierwszą dziedziną, która formalnie się jej przeciwstawi.

Wyprzedź sztuczną inteligencję Przeczytaj więcej aktualności na temat sztucznej inteligencji w AI Buzz Wire