OpenAI ujawniło w poniedziałek, że jego ogólnego przeznaczenia model rozumowania rozwiązał problem odległości jednostkowych na płaszczyźnie, otwarte pytanie w geometrii dyskretnej postawione przez matematyka Paula Erdősa w 1946 roku. Osiągnięcie to oznacza pierwszy przypadek, gdy system AI samodzielnie rozwiązał ważny otwarty problem będący kluczowym dla dziedziny matematyki.
Czego odkryło AI
Przez prawie 80 lat matematycy wierzyli, że optymalne rozwiązania problemu Erdősa mniej więcej przypominają kwadratowe siatki. Model OpenAI obalił to założenie, generując zupełnie nową rodzinę konstrukcji, które dają lepszą wydajność. Dowód pochodził z ogólnego modelu rozumowania, a nie systemu stworzonego specjalnie do matematyki, i został sformalizowany w języku weryfikacji Lean.
Weryfikacja ekspercka
Laureat Medalu Fieldsa Terence Tao przejrzał i zaakceptował dowód, nadając mu wiarygodność w środowisku matematycznym. Wynik określono jako początek nowej ery, w której systemy AI mogą utrzymywać długie łańcuchy rozumowania i łączyć idee z odległych dziedzin.
Implikacje wykraczające poza matematykę
OpenAI stwierdziło, że te same zdolności, które umożliwiły ten matematyczny przełom, wkrótce przyspieszą prace w biologii, fizyce, inżynierii i medycynie. Firma podkreśliła, że ludzki osąd pozostaje niezbędny – AI może szukać, sugerować i weryfikować, ale ludzie wybierają problemy, które mają znaczenie, i interpretują wyniki.