OpenAI odsłania najnowszych efekty swoich prac nad sztuczną inteligencją dla matematyków. Firma właśnie opublikowała setki opracowań, w których AI rozwiązuje lub rozwija problemy matematyczne badane od lat.
Firma Sama Altmana poinformowała na swoim blogu o publikacji garści matematycznych osiągnięć badawczych dokonanych przez AI. Nowo opublikowane materiały obejmują 722 manuskrypty pogrupowane w 372 rodziny wyników, czyli zestawy prac dotyczących powiązanych ze sobą zagadnień. OpenAI opublikowało je w repozytorium na GitHubie, razem z dodatkowymi informacjami dotyczącymi sposobu pracy modelu.
AI OpenAI dokonało kolejnych osiągnięć w matematyce
Jednym z najważniejszych osiągnięć opisanych w materiałach jest rozwiązanie czterowymiarowej hipotezy Kakeyi. Problem dotyczy zbiorów punktów, przez które można poprowadzić odcinki w każdym możliwym kierunku. Matematycy od lat badają adekwatności takich zbiorów, a przypadek czterowymiarowej hipotezy Kakeyi pozostawał nierozwiązany od dekad.
Model OpenAI zajął się także hipotezą Riemanna. Jest ona związana z rozmieszczeniem liczb pierwszych i należy do najbardziej znanych otwartych problemów matematyki. Za jej rozwiązanie Fundacja Claya wyznaczyła nagrodę w wysokości miliona dolarów. OpenAI nie twierdzi jednak, iż rozstrzygnęło hipotezę Riemanna. Model miał dokonać postępu w badaniu tego problemu.
Jak podaje Scientific American, wśród opublikowanych prac znalazły się również ulepszenia dotyczące ważnych algorytmów wykorzystywanych w informatyce teoretycznej. Skala publikacji jest znacznie większa niż w przypadku wcześniejszych demonstracji możliwości modeli AI w matematyce. Naukowcy będą potrzebowali czasu, aby przeanalizować poszczególne dowody i ocenić znaczenie przedstawionych rezultatów.
Część prac została już sprawdzona dzięki Lean. Jest to język programowania służący między innymi do formalnego zapisywania dowodów matematycznych. Komputer może dzięki temu zweryfikować kolejne kroki rozumowania i sprawdzić, czy wynik wynika z przyjętych założeń.
Według informacji przekazanych Scientific American przez przedstawiciela OpenAI niemal wszystkie opisane rezultaty zostały uzyskane przez jeden wewnętrzny model podczas pracy pojedynczego agenta AI. Model nie został jeszcze udostępniony użytkownikom. Przedstawiciel firmy zaznaczył również, iż część problemów mogła wymagać kilku prób.
Takie podejście różni się od metody wykorzystanej przy wcześniejszej pracy nad równaniami Naviera-Stokesa. W tamtym przypadku OpenAI wykorzystało system złożony z około 10 tys. agentów AI, a koszt obliczeń wyniósł miliony dolarów. Tym razem firma twierdzi, iż średni rezultat wymagał mocy obliczeniowej odpowiadającej około trzem godzinom korzystania z trybu rozumowania ChatGPT Pro.
OpenAI opublikowało również 10 podsumowań procesu rozumowania modelu, szacunki wykorzystanych zasobów obliczeniowych oraz statystyki dotyczące liczby analizowanych problemów. Firma nie ujawniła jednak dokładnych promptów wykorzystanych przy poszczególnych zadaniach.
Rezultaty trafiły do GitHuba zgodnie z zaleceniami Advisory Group on Mathematics and Artificial Intelligence. Niezależna grupa matematyków powstała we wrześniu po kontrowersjach związanych z wcześniejszymi publikacjami OpenAI. Jej rekomendacje obejmują między innymi ujawnianie modelu, promptów oraz kosztów obliczeń związanych z poszczególnymi rezultatami.
Scientific American zwraca uwagę, iż OpenAI nie zastosowało się do wszystkich tych zaleceń. Firma udostępniła między innymi średni koszt obliczeń, ale nie opublikowała promptów dla poszczególnych problemów. Jednocześnie OpenAI deklaruje, iż pracuje nad udostępnieniem modelu odpowiedzialnego za opisane odkrycia.
O tym czy rzeczywiście mamy do czynienia z przełomem matematycznym, przekonamy się za kilka tygodni lub choćby dłużej – pełna ocena opublikowanych prac może potrwać miesiące. Matematycy muszą sprawdzić przedstawione dowody, określić, które rezultaty są rzeczywiście nowe, oraz ustalić, jakie znaczenie mają poszczególne rozwiązania dla dalszych badań. Scientific American podaje również, iż części opublikowanych prac nie rozumieją jeszcze w pełni choćby matematycy z samego OpenAI.
Firma zapowiada dalsze działania mające ułatwić naukowcom analizowanie wyników matematycznych generowanych przez AI. OpenAI chce finansować warsztaty, konferencje i specjalne programy poświęcone badaniu osiągnięć sztucznej inteligencji w matematyce.
Zdjęcie główne wygenerowane przez AI
