Sztuczna inteligencja rozwiązuje skomplikowane zadanie matematyczne

Sztuczna inteligencja dokonała kroku, który do niedawna wydawał się science fiction: najnowsza wersja ChatGPT samodzielnie rozwiązała jeden ze skomplikowanych problemów matematycznych klasyfikowanych jako "otwarte". Zwrócił na to uwagę badacz i programista Neil Somani, który przedstawił modelowi nietrywialne zadanie i pozostawił je bez interwencji człowieka. Po około 15 minutach system wygenerował szczegółowe rozwiązanie, które Somani następnie zweryfikował i sformalizował za pomocą narzędzia matematycznego Harmonic – potwierdzając poprawność dowodu.

Jak podaje BODA.SU, celem Somaniego było zrozumienie, gdzie przebiega granica możliwości współczesnych dużych modeli językowych w matematyce. Wyniki eksperymentu okazały się zaskakująco dobre: najnowsza wersja ChatGPT pewnie poradziła sobie ze złożonymi koncepcjami i wykazała poziom rozumowania, który wcześniej uznawano za niedostępny dla AI. W ocenie badacza znacząco przesuwa to nasze postrzeganie zadań, jakie maszyny mogą rozwiązywać samodzielnie.

W procesie rozumowania model nie tylko znalazł odpowiedź, ale także sekwencyjnie stosował podstawowe idee i formuły matematyczne, odwołując się do prac dyskutowanych w środowisku zawodowym ponad dekadę temu. Ostateczne rozwiązanie nie było kopią znanych podejść, lecz niezależnym i bardziej kompletnym wyprowadzeniem dla wariantu problemu pierwotnie sformułowanego przez Paula Erdősa. Taki poziom uogólniania i adaptacji był dotąd charakterystyczny wyłącznie dla ludzi.

Somani zauważa, że wyraźny skok nastąpił po wydaniu wersji GPT 5.2: liczba problemów, z jakimi AI radzi sobie bez bezpośredniej pomocy, gwałtownie wzrosła. Choć wcześniejsze autonomiczne sukcesy w tej dziedzinie odnotowano już wcześniej, postęp stał się teraz trudny do przeoczenia. Eksperci podkreślają, że AI nie zastępuje matematyków, ale coraz częściej staje się potężnym narzędziem zdolnym do przyspieszania odkrywania rozwiązań i poszerzania granic ludzkiej wiedzy.