OpenAI opublikowało 722 prace matematyczne z rozwiązaniami setek otwartych problemów

Ten news ukazał się 4 godziny po komunikacie źródła.

👁 121 przeczytań

OpenAI opublikowało w repozytorium GitHub pakiet 722 manuskryptów matematycznych wyprodukowanych przez nieujawniony model frontier - to największe jak dotąd jednorazowe wydanie wyników matematycznych przez laboratorium AI. Pakiet grupuje prace w 372 rodziny wyników łączące ze sobą powiązane tematycznie papiery, a niezależna grupa doradcza AGMAI (Advisory Group on Mathematics and Artificial Intelligence) potwierdza, że znalazły się w nim rozwiązania „setek” dotąd otwartych pytań matematycznych.

Publikacja była od tygodni oczekiwana, choć OpenAI długo nie zdradzało ani listy konkretnych rozwiązanych problemów, ani dokładnej daty wydania. We wrześniu firma informowała ogólnie, że jej model „rozwiązał ponad 100 długotrwałych otwartych problemów w większości dziedzin matematyki”. Teraz liczba ta okazuje się znacznie większa - setki pozycji rozłożonych na wiele subdyscyplin.

Razem z pracami OpenAI udostępniło fragmenty rozumowania modelu, szacunki zużytego czasu obliczeniowego oraz statystyki dotyczące liczby podejmowanych problemów. Według firmy przeciętny wynik wymagał mocy obliczeniowej równoważnej trzem godzinom myślenia w trybie ChatGPT Pro - to konkretna miara, która pozwala po raz pierwszy porównać skalę zasobów potrzebnych do pojedynczego przełomu matematycznego.

Napięcia w środowisku matematycznym

Kontekst tej publikacji jest równie ważny jak jej zawartość. AGMAI to niezależna grupa czołowych matematyków powołana właśnie po to, by pomagać laboratoriom AI komunikować wyniki w sposób odpowiedzialny wobec środowiska naukowego. Swoje pierwsze rekomendacje opublikowała pod koniec września: wzywała firmy AI do szybkiego udostępniania wyników przez ustalone kanały akademickie, ujawniania nazwy użytego modelu, stosowanych promptów i kosztów obliczeniowych. Równie wyraźnie domagała się, by laboratoria „powstrzymały się od traktowania publikacji wyników matematycznych jako narzędzia marketingowego do promocji swoich modeli” - praktyka ta, jak podkreśliła AGMAI, wyrządza poważne szkody społeczności matematycznej.

OpenAI zdecydowało się na GitHub z protokołem umożliwiającym rewizje prac i cytowania - format niekonwencjonalny jak na standardy naukowe, choć firma zapowiedziała, że nadal szuka innych platform spełniających wytyczne AGMAI. W komunikacie laboratorium zadeklarowało też, że przy przyszłych wydaniach poprawi jakość prac pod względem cytatów, ekspozycji matematycznej i prezentacji wyników.

Nowe prace dołączają do lawinowo rosnącego zbioru wyników matematycznych AI. Wcześniej i OpenAI, i Anthropic oraz inne laboratoria ogłaszały przełomy dotyczące m.in. jednego z problemów Millennium Prize - grupy siedmiu najtrudniejszych otwartych pytań w matematyce, z których każde wyceniane jest na milion dolarów nagrody. Tempo, w jakim firmy technologiczne wkroczyły w 2026 roku w tę dziedzinę, wywołało ostry spór o etykę badań naukowych - w tym o to, jak i czy w ogóle laboratoria AI należycie uznają wkład matematyków, których dorobek posłużył do trenowania i oceniania modeli.

Pełny wpływ opublikowanych wyników da się ocenić dopiero po tym, jak matematycy zdążą je przejrzeć, zweryfikować i przyswоić - a przy 722 pracach może to potrwać wiele miesięcy. Środowisko naukowe staje przed niespotykanym dotąd wyzwaniem: jak przetworzyć tak masową i niemal jednoczesną produkcję potencjalnych odkryć, gdy za każdym z nich stoi nie człowiek, lecz model, którego szczegółowej architektury i danych treningowych autor nie ujawnia.