AI rozwiązuje to, czego ludzie nie mogli
Sztuczna inteligencja rozwiązała 80-letni problem geometryczny postawiony przez legendarnego węgierskiego matematyka Paula Erdősa, zadziwiając świat matematyki. Problem Erdősa, jeden z około 1200 nierozwiązanych wyzwań pozostawionych przez Erdősa, opierał się wszelkim ludzkim próbom rozwiązania od lat 40. XX wieku. Naukowcy odkryli, że AI znalazło bardziej złożone rozmieszczenie par punktów – takie, jakiego ludzcy matematycy nigdy sobie nie wyobrazili – dając wyższe tempo wzrostu niż konwencjonalne podejścia.
Matematycy wzywają do zabezpieczeń
Przełom wzbudził zarówno ekscytację, jak i obawy. „Oto, co znalazła AI, jak to przeoczyliśmy i dlaczego to ma znaczenie” – napisał Wall Street Journal. Jednak społeczność matematyczna wzywa również do ostrożności. Deklaracja z Leiden, podpisana przez czołowych matematyków, wzywa do nadzoru nad wykorzystaniem AI w badaniach matematycznych, ostrzegając, że nadmierne poleganie na AI może osłabić ludzką kreatywność leżącą u podstaw odkryć matematycznych.
Nowa era dla AI w nauce
Scientific American nazwał to osiągnięcie „największym przełomem AI w matematyce”. Rozwiązanie pokazuje, że AI może teraz przyczyniać się do autentycznych odkryć matematycznych, a nie tylko obliczeń. Podczas gdy niektórzy świętują to jako narzędzie przyspieszające badania, inni obawiają się, że może zmienić naturę dowodu matematycznego. Debata odzwierciedla szersze dyskusje w nauce o tym, gdzie postawić granicę między pomocą AI a odkryciami prowadzonymi przez człowieka.