Podczas gdy świat obawia się, iż sztuczna inteligencja zastąpi ludzi w każdej dziedzinie, Centrum Sztucznej Inteligencji Uniwersytetu im. Adama Mickiewicza w Poznaniu właśnie udowodniło, iż matematycy mogą spać spokojnie. Dr Bartosz Naskręcki jako jedyny Polak w międzynarodowym zespole 30 matematyków, stworzył test, który kompletnie pokonał najnowsze modele AI. Dr Naskręcki pracował wraz z ekspertami z teorii liczb i geometrii algebraicznej, w tym Prof. Kenem Ono, jednym z czołowych ekspertów z teorii liczb na świecie oraz prof. Ravi Vakilem, wiodącym autorytetem z dziedziny geometrii algebraicznej, w tej chwili również prezesem Amerykańskiego Towarzystwa Matematycznego.
AI Kapituluje Przed Prawdziwą Matematyką
Wyniki są miażdżące dla sztucznej inteligencji. Najlepszy z modeli AI na świecie - o4-mini firmy OpenAI - zdołał rozwiązać zaledwie 6,3% najtrudniejszych problemów matematycznych. To tak, jakby student, który zna tylko tabliczkę mnożenia, próbował zdać egzamin z analizy matematycznej.
- To pokazuje, iż AI jest przez cały czas jak bardzo zaawansowany kalkulator - potrafi wykonywać skomplikowane obliczenia, ale nie rozumie głębokiej matematyki - wyjaśnia dr Naskręcki. - Prawdziwe rozumowanie matematyczne wymaga kreatywności, intuicji i umiejętności łączenia pozornie niezwiązanych koncepcji - tego, czego wciąż maszyny po prostu nie potrafią.
Matematycy Wciąż Niezastąpieni
Projekt FrontierMath, w którym uczestniczył dr Naskręcki, to najbardziej zaawansowany test matematyczny dla AI w historii. Składa się z 350 problemów, które zostały specjalnie zaprojektowane, aby sprawdzić granice sztucznej inteligencji. Rezultat? AI spektakularnie przegrała.
Większość najnowszych modeli - w tym systemy Google DeepMind, Anthropic czy xAI - nie rozwiązała ani jednego problemu z najwyższego poziomu trudności. To tak, jakby najlepsi szachiści świata nie potrafili wykonać podstawowego ruchu.
Eksperci Przewidują: AI Nie Zagrozi Matematykom Przez Dekady
Terence Tao, jeden z najwybitniejszych matematyków świata i laureat Medalu Fieldsa, jest kategoryczny: - Te problemy będą opierać się systemom AI przez kilka lat. Timothy Gowers, również medalista Fieldsa, dodaje: - To zupełnie inny poziom trudności niż wszystko, co AI potrafiła dotychczas rozwiązać.
Prof. Igor Pak z UCLA idzie jeszcze dalej, przewidując, iż niektóre problemy mogą pozostać nierozwiązane przez AI przez następne 50 lat: - To pokazuje, iż matematyka to nie tylko obliczenia - to sztuka myślenia - podkreśla.
Polski Sukces na Światowej Arenie
Dr Naskręcki, jako jedyny przedstawiciel Polski i jeden z zaledwie pięciu matematyków z całej Europy, znalazł się w elitarnym gronie twórców tego przełomowego testu: - To dowód na to, iż polscy matematycy wciąż są na światowym poziomie i iż nasze umiejętności są nie do zastąpienia przez maszyny - mówi z dumą.
Centrum Sztucznej Inteligencji UAM, gdzie dr Naskręcki jest członkiem Zespołu Informatyki Kwantowej, staje się tym samym jednym z kluczowych ośrodków badawczych nad granicami AI - nie po to, by je przekroczyć, ale by poznać, gdzie te granice leżą.
Przyszłość Należy do Ludzi
Podczas gdy media pełne są historii o tym, jak AI zastąpi lekarzy, prawników czy programistów, matematyka pozostaje bastionem ludzkiej inteligencji. FrontierMath udowadnia, iż prawdziwe myślenie naukowe, kreatywność i zdolność do rozwiązywania problemów wciąż są domeną człowieka.
- AI może być narzędziem, ale nigdy nie zastąpi matematyka. To tak, jakby młotek miał zastąpić architekta - może pomóc w budowie, ale nie zaprojektuje domu - konkluduje dr Bartosz Naskręcki.
Zapraszamy także do obejrzenia podcastu Naukowa Dzielnica, z dr. Bartoszem Naskręckim, w którym poruszony został ten temat: https://open.spotify.com/episode/47q8t8jTzd3P7SX1Vxhvhb?si=1ANn4zP3RsSoYlUpdh7hIw
https://youtu.be/6KMAZ6EsHeU?si=1iTreTX_cDefyf-Y
