OpenAI publikuje dużą kolekcję przełomowych odkryć matematycznych od niewydanego modelu AI

Image: The Verge · Source

OpenAI udostępniło 722 rękopisy opisujące rozwiązania setek długoletnich otwartych problemów matematycznych, stworzonych przez niewydany wewnętrzny model AI. Materiały te, dostępne na GitHubie, stanowią kolejny krok w rozwoju badań z udziałem AI, jednocześnie wywołując dyskusje na temat etyki badań i norm akademickich.

OpenAI ujawniło rozległą kolekcję wyników matematycznych wygenerowanych przez niewydany wewnętrzny model sztucznej inteligencji, obejmującą 722 rękopisy pogrupowane w 372 rodziny powiązanych prac. Ten obszerny zbiór podobno rozwiązuje setki długoletnich otwartych problemów z różnych dziedzin matematyki, kontynuując niedawny trend przełomów wspomaganych przez AI w tej dziedzinie. Materiały dostępne są w publicznym repozytorium na GitHubie, włącznie z formalnymi dowodami, streszczeniami rozumowań i dodatkowymi artefaktami.

Według OpenAI zdecydowana większość wyników została uzyskana w oparciu o spójną procedurę, w której model wewnętrzny zastosowano do około 4000 problemów, a średni czas obliczeń odpowiadał trzem godzinom na ChatGPT Pro na jeden wynik. Poszczególne wyniki zostały następnie zebrane, rygorystycznie zorganizowane i zweryfikowane przed publikacją. Niektóre skomplikowane przypadki, jak dowody dotyczące obszarów wolnych od zer funkcji zeta Riemanna czy Hipoteza Hodge'a dla CM abelowych odmian, wymagały odstępstw od standardowego procesu i ludzkiej edycji dla czytelności.

Opublikowane repozytorium oferuje szczegółowy katalog według dyscypliny matematycznej, umożliwiając nawigację przez główne wyniki i powiązane artykuły. Wiele rękopisów ma towarzyszące formalne weryfikacje za pomocą asystenta dowodowego Lean, choć pewna część pozostaje nieformalna i może zawierać błędy, które OpenAI zobowiązuje się poprawić w przyszłych aktualizacjach.

Ujawnienie to następuje po rekomendacjach Advisory Group on Mathematics and Artificial Intelligence, która zachęcała laboratoria badawcze AI do szybkiego dzielenia się odkryciami matematycznymi za pośrednictwem ustalonych kanałów akademickich, jednocześnie zapewniając transparentne informacje takie jak nazwy modeli, dane wejściowe i koszty obliczeniowe. Grupa ostrzegała także przed wykorzystywaniem takich wyników wyłącznie jako narzędzi marketingowych z powodu potencjalnych szkód dla środowiska matematycznego.

Szeroki wpływ tych wyników generowanych przez AI jest wciąż analizowany przez matematyków na całym świecie, którzy weryfikują ich poprawność. Wyniki te wzbogacają szybko rozwijający się korpus badań matematycznych tworzonych przez AI, łącząc się z działaniami laboratoriów takich jak Anthropic, które również zajmowały się trudnymi problemami, w tym pytaniami Narodu Milenijnego. Przyspieszony tempo zaangażowania AI w fundamentalną matematykę wywołuje dyskusje na temat etyki badań, uznania akademickiego oraz roli ludzi-matematyków, których wcześniejsza praca stanowiła podstawę osiągnięć AI.

OpenAI planuje utrzymywać publiczną kontrolę wersji tych rękopisów, umożliwiając ich ciągłą aktualizację i zapewniając przejrzystość. Firma także bada dodatkowe platformy hostowane przez społeczność, które umożliwią dystrybucję i wspólną poprawę treści matematycznych. To wydanie stanowi istotny kamień milowy w integracji AI z badaniami matematycznymi, podkreślając zarówno ogromny potencjał, jak i złożoność odpowiedzialnej innowacji.