AI bezbłędnie rozwiązuje najtrudniejsze zadania matematyczne
Chińskie modele sztucznej inteligencji uzyskały komplet punktów za rozwiązanie sześciu zadań Międzynarodowej Olimpiady Matematycznej 2026. Systemy Huawei i Xiaohongshu przygotowały pełne dowody matematyczne ocenione według zasad IMO. Wynik pokazuje, że czołowe modele AI potrafią już prowadzić wieloetapowe rozumowanie na poziomie najlepszych młodych matematyków.
Huawei i Xiaohongshu poinformowały, że ich modele AI bezbłędnie rozwiązały wszystkie sześć zadań przygotowanych na Międzynarodową Olimpiadę Matematyczną 2026. System Celia firmy Huawei oraz model dots-note-3.0 należący do Xiaohongshu miały otrzymać po 42 punkty na 42.
W tegorocznym konkursie w Szanghaju uczestniczyło 666 młodych matematyków ze 117 państw. Komplet punktów zdobyło tylko siedmioro z nich. Próg złotego medalu wynosił 29 punktów.
Modele nie rywalizowały jednak jako zwykli uczestnicy. Międzynarodowa Olimpiada Matematyczna, znana pod skrótem IMO, jest corocznym konkursem przeznaczonym dla najlepszych uczniów szkół średnich z całego świata. Uczestnicy rozwiązują sześć wyjątkowo trudnych zadań wymagających przedstawienia pełnych i logicznie poprawnych dowodów matematycznych. Firmy technologiczne otrzymały tegoroczne zadania dopiero po zakończeniu egzaminu dla uczniów. Xiaohongshu zapewnia, że podczas ich rozwiązywania nie dopuszczono ingerencji człowieka, a przygotowane przez model dowody zostały ocenione zgodnie z zasadami stosowanymi podczas IMO.
Od srebrnego wyniku do kompletu punktów
Postęp nastąpił w krótkim czasie. W 2024 r. systemy AlphaProof i AlphaGeometry 2 firmy Google DeepMind uzyskały wynik odpowiadający srebrnemu medalowi, rozwiązując cztery z sześciu zadań. Rok później Gemini Deep Think zdobył 35 punktów, osiągając poziom złotego medalu, ale nie komplet punktów.
Nowy rezultat rozwija debatę o tym, czy sztuczna inteligencja zastąpi matematyków, programistów i inżynierów. Zadania IMO nie wymagają jedynie podania właściwej liczby. Oceniane są pełne dowody, poprawność kolejnych kroków i uwzględnienie wszystkich możliwych przypadków.
Olimpiada nie jest końcem matematyki
Komplet punktów nie oznacza, że model potrafi samodzielnie prowadzić dowolne badania matematyczne. Zadania na olimpiadzie mają jasno określony cel i wiadomo, że istnieje ich rozwiązanie. Problemy badawcze mogą natomiast wymagać sformułowania nowych pytań, tworzenia pojęć i wielokrotnej weryfikacji założeń.
Możliwości modeli wykraczają już jednak poza wykonywanie obliczeń. Pokazuje to również przypadek, w którym model OpenAI obalił hipotezę związaną z problemem Erdősa. Jednocześnie rozwój narzędzi matematycznych zmusza szkoły do odpowiedzi na pytanie, jak uczyć matematyki w świecie wszechobecnej AI.
Wynik chińskich modeli jest także kolejnym przejawem rosnącej pozycji sztucznej inteligencji rozwijanej w Chinach. Matematyczna olimpiada przestała być dla czołowych systemów AI granicą możliwości. Staje się kolejnym testem, który potrafią przejść bezbłędnie.
Szymon Ślubowski
