Dr Bartosz Naskręcki o FrontierMath i przyszłości matematyki w dobie AI
Bartosz Naskręcki z Wydziału Matematyki i Informatyki UAM to jedyny Polak, który współtworzył zadania do benchmarku FrontierMath od Epoch AI.
Dr Bartosz Naskręcki z Wydziału Matematyki i Informatyki UAM to jedyny Polak, który współtworzył zadania do benchmarku FrontierMath od Epoch AI. Na swoim profilu LinkedIn wypowiedział się na temat przyszłości matematyki w dobie AI.
Modele rozumujące (Large Reasoning Models) coraz bardziej zaczynają pokazywać swoje możliwości w zdumiewająco wielu dziedzinach ludzkiej działalności. Zachęcam do wysłuchania wywiadu na antenie Polskie Radio RDC, który odbyłem z Łukaszem Badowskim. Rozmawialiśmy o rozumowaniach i benchmarkach.
Niedawno ukazał się benchmark Epoch AI FrontierMath Tier 4, w którym miałem swój udział w postaci wyzwań, które współtworzyłem i tych które testowałem przeciwko modelom
I tak sobie myślę, że wynik 6% dla najlepszych frontowych modeli to zarazem niedużo i dużo. Najbliższe miesiące pokażą ile z naszych wyzwań zostanie pokonanych przez nowsze generacje modeli. Przestrzeń działania dla naukowców zajmujących się rozumowaniami zaczyna się zawężać. Pozostaje pole czystej kreatywności, genialnych myśli, dużo innych rzeczy modele robią samodzielnie. I właśnie kilka godzin temu Alex Wei z OpenAI ogłosił, że najnowszy eksperymentalny model rozumujący (o5-exp?) rozwiązał samodzielnie 5 z 6 zadań z International Mathematical Olympiad 2025. Daje to samodzielnie modelowi złoty medal.
Rozwiązania są już publicznie dostępne są zaskakująco skomplikowane i bardzo organiczne. IMO to nie jest poziom FrontierMath Tier 4, ale sądzę, że zbliżamy się do magicznej granicy, z którą zetknął się Psyho, gdzie nastąpi rozdział pomiędzy matematyką tworzoną przez ludzi i tworzoną przez maszyny. Ta druga będzie na pewno inna, dowody niezmiernie skomplikowane (choć poprawne), mające posmak brutalnej siły, możliwości dotarcia w ciągu ułamka sekundy do wszystkich możliwych źródeł. Matematyki, gdzie liczy się skuteczność, a niekoniecznie koronkowa konstrukcja, wirtuozeria i piękno.
To moim zdaniem wcale nie koniec nauki i matematyki jako takiej. To raczej początek zupełnie nowej ery, gdzie imperatywy i skuteczność oddzielają się mocno od estetyki i piękna. Matematyczne zdania powinny być przede wszystkim prawdziwe i udowodnione. Piękno i głębia, typowa dla najlepszych ludzkich dokonań oznaczają tę domenę matematyki i rozumowań, gdzie wykonano wiele dodatkowej pracy. To dobrze, że zyskujemy narzędzia takie jak model rozumujący GPT o5 (lub jak się to będzie nazywać ostatecznie!), bo tworzymy przestrzeń dla uwolnienia dodatkowej kreatywności i zasięgu dla ludzi. Oto początek nowej ery, gdzie myśl ludzka może sięgać dużo dalej niż do tej pory.
Wypowiedź pochodzi z profilu LinkedIn dr Naskręckiego
Zdjęcie pochodzi z profilu na UAM