Model OpenAI obalił 80-letni problem geometrii dyskretnej
- Model OpenAI obalił hipotezę jednostkowych odległości w geometrii dyskretnej, która przetrwała nierozwiązana przez 80 lat.
- Rozwiązanie problemu oznacza, że AI zdolne jest do samodzielnego prowadzenia badań matematycznych na poziomie eksperckim.
- OpenAI ogłosiło wynik jako kamień milowy w zastosowaniu sztucznej inteligencji w naukach ścisłych.
Model OpenAI obalił hipotezę jednostkowych odległości — jeden z najtwardszych problemów geometrii dyskretnej, który matematycy bezskutecznie atakowali od 1946 roku.
80 lat w jednym promptcie
Hipoteza dotyczy tzw. problemu unit distance: ile razy dana odległość może wystąpić między punktami zbioru n punktów na płaszczyźnie. Paul Erdős sformułował to pytanie dokładnie w 1946 roku i przez dekady traktowano je jako jeden z tych problemów, które wymagają ludzkiej intuicji i lat pracy. Model OpenAI sfalsyfikował centralną hipotezę w tej dziedzinie, konstruując kontrprzykład, którego ludzcy matematycy nie potrafili znaleźć.
To nie jest rozwiązanie zadania domowego. Geometria dyskretna to poważna gałąź matematyki z bezpośrednimi zastosowaniami w kryptografii, teorii kodowania i grafice komputerowej.
Czy AI zastępuje matematyków?
Nie całkowicie — jeszcze. Model nie „wymyślił” nowej matematyki z powietrza, ale przeszukał przestrzeń możliwych kontrprzykładów z precyzją i skalą nieosiągalną dla człowieka. To fundamentalna różnica między człowiekiem siedzącym z kartką papieru a modelem, który potrafi sprawdzić miliony konfiguracji i wyłapać tę jedną, która niszczy starą hipotezę.
Mathematycy z DeepMind w 2022 roku pokazali, że AI może odkrywać wzorce w teorii węzłów i teorii reprezentacji. OpenAI idzie krok dalej: nie wzorzec, ale konkretne obalenie konkretnego twierdzenia. Różnica jest jakościowa.
Problem jednostkowych odległości przez lata przyciągał najlepszych kombinatoryków na świecie. Spencer, Szemerédi, Trotter — to nazwiska, które pracowały w tej okolicy i osiągały cząstkowe wyniki. Model OpenAI wrzucił kontrprzykład, który przesądza sprawę.
Jak to działa technicznie
OpenAI nie podało pełnych szczegółów architektury użytej do tego zadania, ale wynik sugeruje użycie modelu z rozszerzonymi możliwościami rozumowania matematycznego — prawdopodobnie z serii o1 lub jej następnika. Modele tej klasy nie generują odpowiedzi jednym przebiegiem: rozwijają wieloetapowe łańcuchy rozumowania, sprawdzają spójność i cofają się, gdy natrafiają na sprzeczność.
W praktyce oznacza to, że model mógł generować kandydatów na kontrprzykład, weryfikować ich własności algebraiczne, odrzucać te, które nie spełniają warunków, i kontynuować przeszukiwanie — automatycznie, bez ludzkich wskazówek w trakcie procesu.
Czego OpenAI nie powiedziało
Komunikat jest krótki i nie zawiera recenzowanej publikacji. Brakuje informacji, czy wynik przeszedł formalną weryfikację przez niezależnych matematyków, ile czasu obliczeniowego pochłonęło zadanie ani jakie dokładnie dane treningowe i instrukcje dostał model. To standardowy problem z ogłoszeniami OpenAI: firma komunikuje wynik, zanim środowisko naukowe zdąży go sprawdzić.
Erdős Institute i inne ośrodki zajmujące się problemami kombinatorycznymi będą musiały niezależnie zweryfikować kontrprzykład. Dopiero wtedy wynik stanie się częścią matematycznego kanonu.
AI jako narzędzie badawcze — gdzie jesteśmy
W ciągu ostatnich trzech lat AI przeszło drogę od rozwiązywania zadań olimpijskich po obalanie otwartych hipotez. AlphaFold przewidział struktury białek. AlphaTensor znalazł szybsze algorytmy mnożenia macierzy. Teraz model OpenAI niszczy 80-letnią hipotezę geometryczną.
Każdy z tych wyników dotyczył innej dziedziny i innego rodzaju problemu. Wspólny mianownik: AI jest najskuteczniejsze tam, gdzie przestrzeń rozwiązań jest ogromna, ale weryfikacja pojedynczego kandydata jest szybka i automatyczna. Geometria dyskretna pasuje do tego opisu idealnie.
Najbliższe miesiące pokażą, ile podobnych problemów z listy Erdősa model potrafi zaadresować — Erdős zostawił po sobie setki otwartych pytań z wyznaczonymi nagrodami pieniężnymi za rozwiązanie, część warta kilkaset, część kilka tysięcy dolarów.
