OpenAI dokonuje przełomu w 80-letnim problemie matematycznym

OpenAI przełamuje impas w 80-letnim problemie matematycznym

OpenAI ogłosiło znaczący krok naprzód w dziedzinie rozumowania sztucznej inteligencji po tym, jak jej technologia z powodzeniem rozwiązała problem matematyczny sprzed 80 lat. Firma stojąca za ChatGPT poinformowała o dokonaniu przełomu w wyzwaniu postawionym po raz pierwszy przez węgierskiego matematyka Paula Erdősa w 1946 roku – problemie płaskich odległości jednostkowych.

Model OpenAI wykazał się nieszablonowym podejściem, czerpiąc z różnych dziedzin matematyki, aby odkryć rodzinę układów punktów, które łamią ograniczenia zawarte w hipotezie Erdősa. Przez niemal osiem dekad matematycy byli przekonani, że optymalne rozwiązania opierają się na strukturach przypominających kwadratowe siatki. Algorytm OpenAI obalił to przekonanie, znajdując konstrukcje o znacznie lepszych parametrach.

Co istotne, obliczenia te zostały wykonane przez model rozumujący ogólnego przeznaczenia, który rozbija problemy na mniejsze etapy, a nie przez system szkolony wyłącznie pod kątem matematyki. Choć sukces ten nie rozwiązuje całego zagadnienia w sposób ostateczny, stanowi potężny dowód na to, że sztuczna inteligencja staje się fundamentalnym narzędziem w nowoczesnych badaniach naukowych, oferując ludziom zupełnie nowe perspektywy poznawcze.

Model ogólnego przeznaczenia a wyzwania matematyczne

OpenAI, przygotowujące się do wejścia na amerykańską giełdę, podkreśliło, że sukces modelu wynika z jego zdolności do sekwencyjnego rozumowania. W przeciwieństwie do poprzednich prób, które opierały się na analizie istniejącej literatury, tym razem osiągnięcie zostało w pełni potwierdzone przez środowisko akademickie. Thomas Bloom, matematyk prowadzący stronę poświęconą problemom Erdősa, który wcześniej krytycznie odnosił się do osiągnięć firmy, tym razem został współautorem artykułu towarzyszącego publikacji firmy.

Rola człowieka w świecie algorytmów

Bloom zauważył, że system AI osiągnął wyniki dzięki „wytrwałości w podążaniu ścieżkami, które człowiek mógłby odrzucić jako niewarte poświęcenia czasu”. Zaznaczył jednak, że rola ludzi pozostaje kluczowa. Oryginalny dowód wygenerowany przez AI był poprawny, ale został znacząco udoskonalony przez badaczy z OpenAI oraz innych matematyków biorących udział w projekcie. Człowiek wciąż odgrywa istotną rolę w analizowaniu, przyswajaniu i ulepszaniu dowodów oraz badaniu ich konsekwencji.

Kamień milowy dla nauki

Matematyk Tim Gowers opisał ten wynik jako „kamień milowy w matematyce wspomaganej przez AI”. Z kolei Andrew Rogoyski z Institute for People-Centred AI na University of Surrey stwierdził, że ogłoszenie to pokazuje, jak sztuczna inteligencja wpływa na świat kreatywnego myślenia. Staje się ona narzędziem, które pozwala naukowcom patrzeć na stare problemy z zupełnie nowej strony, co może zrewolucjonizować procesy badawcze w przyszłości.