Международната олимпиада по математика е прословуто предизвикателно световно състезание по математика за ученици от над 100 различни държави. Всяка година учениците се състезават, за да покажат математическите си умения в избрана страна домакин, като всеки от тях се стреми да реши задачи, които биха накарали останалите да се свият от страх.

Google DeepMind обяви, че две от нейните системи за изкуствен интелект - AlphaProof и AlphaGeometry 2 - са се справили с въпросите на тазгодишното състезание като комбинирана система. Решенията на ИИ бяха оценени от предишните носители на златни медали професор Сър Тимъти Гауърс и д-р Джоузеф Майерс, последният от които е председател на самия комитет за избор на задачи в Международната олимпиада по математика 2024.

ИИ не само получи комбиниран резултат от 28 точки от 42, което е с една точка по-малко от необходимите 29 точки за златен медал, но и постигна перфектен резултат на най-трудната задача в състезанието. Все пак две комбинаторни задачи останаха нерешени.

В случая обаче има малък проблем. Проф. Сър Тимъти Гауърс посочва в Twitter, че макар изкуственият интелект наистина да е постигнал по-високи резултати от повечето, му е било необходимо много повече време, отколкото на човешките конкуренти. Човешките кандидати подават отговорите си в две сесии по четири часа и половина - и докато една задача е решена от ИИ в рамките на няколко минути, за решаването на другите са били необходими до три дни.

„Ако на човешките състезатели беше предоставено такова време за решаване на един проблем, те несъмнено щяха да получат по-високи резултати“, пише Сър Гауърс.

Задачите бяха преведени ръчно на Lean, помощник за доказване и език за програмиране, така че автоформализирането на въпросите беше извършено от хора.

Снимка: Unsplash

Виж още: Първата е-кола на Sony и Honda излиза на пътя през 2026