O4-mini – nowy model językowy OpenAI – zaskoczył wybitnych badaczy na tajnym spotkaniu w Kalifornii.
W połowie maja w Berkeley w Kalifornii odbyło się niezwykłe, zamknięte spotkanie – donosi Scientific American. Trzydziestu czołowych matematyków z całego świata zebrało się, by stanąć do intelektualnego pojedynku z najnowszą wersją sztucznej inteligencji.
Ich przeciwnik? Chatbot oparty na modelu o4-mini, opracowany przez OpenAI z myślą o rozwiązywaniu złożonych problemów wymagających głębokiego rozumowania.
AI zaskakuje nawet profesorów matematyki
Spotkanie miało na celu przetestowanie zdolności modelu w ramach inicjatywy FrontierMath, prowadzonej przez niezależną organizację Epoch AI. Zadanie było jasne: stworzyć problemy matematyczne, które będą trudne – a najlepiej niemożliwe – do rozwiązania dla maszyny. Nagroda? 7500 dolarów za każdą nierozwiązaną przez AI zagadkę.
Początkowo wydawało się, że zadanie będzie wykonalne – informuje Scientific American. Jednak po dwóch dniach intensywnej rywalizacji matematycy byli wyraźnie zszokowani. AI nie tylko radziła sobie z doktoranckimi problemami, ale robiła to w sposób kreatywny, systematyczny i… zaskakująco „ludzki”.
– To, co zobaczyłem, przekroczyło moje wyobrażenia – mówi prof. Ken Ono z University of Virginia, który był jednym z organizatorów wydarzenia. – Model nie tylko sięgnął po specjalistyczną literaturę, ale też samodzielnie zidentyfikował prostszą wersję problemu, rozwiązał ją i na tej podstawie przystąpił do głównego wyzwania – skutecznie.
Model, który myśli jak wybitny doktorant
O4-mini to model tzw. „reasoning LLM” – wyspecjalizowany wariant dużego modelu językowego, trenowany nie tylko na danych tekstowych, ale również przy silnym wsparciu ludzi. To właśnie to podejście pozwala mu lepiej rozumieć kontekst, uczyć się dedukcji i samodzielnie eksplorować nowe ścieżki rozumowania – co dotąd było uważane za domenę człowieka.
W ciągu zaledwie kilku minut chatbot był w stanie wykonać pracę, która zajęłaby profesjonalnemu matematykowi tygodnie lub nawet miesiące.
– To poziom bardzo, bardzo dobrego doktoranta – a może nawet więcej – podkreśla Yang Hui He z London Institute for Mathematical Sciences, jeden z pionierów stosowania AI w matematyce.
Matematyk jako mentor AI?
Choć uczestnikom spotkania ostatecznie udało się stworzyć 10 zadań, z którymi model sobie nie poradził, to skala sukcesów AI wzbudziła niepokój. Część badaczy zauważa, że maszyna wypowiada się z tak wielką pewnością siebie, że łatwo jej uwierzyć – nawet jeśli się myli. – To nie „dowód przez indukcję” czy „dowód przez sprzeczność”. To „dowód przez zastraszenie” – komentuje He. – Wypowiedzi AI brzmią tak przekonująco, że trudno im się oprzeć.
Dyskusje szybko przeszły na temat kolejnego etapu rozwoju: „poziomu piątego” – czyli pytań, których nawet najlepsi matematycy nie są dziś w stanie rozwiązać. Czy AI może odkrywać nowe prawdy matematyczne bez ludzkiej pomocy? Jeśli tak, rola naukowca może się diametralnie zmienić – od odkrywcy do mentora dla maszyn.
Nadchodzi AGI – sztuczna inteligencja mądrzejsza od człowieka
A najlepszym podsumowanie spotkania było to co, co powiedział prof. Ken Ono.
– Uważam, że ogromnym błędem jest twierdzenie, że silna sztuczna inteligencja (AGI) nigdy nie nadejdzie. To już się dzieje. Te modele już teraz przewyższają większość najlepszych doktorantów – zauważył.
Foto: Gemini/AI.