Нейросети от Google решили задачи математической олимпиады на уровне медалиста

Нейросетевые алгоритмы AlphaProof и AlphaGeometry 2, разработанные Google DeepMind, успешно решили четыре из шести задач на Международной математической олимпиаде.

ИИ справился с двумя задачами по алгебре и одной по теории чисел, включая самую сложную, а также с одной задачей по геометрии. Две задачи по комбинаторике остались нерешенными.

Системы набрали 28 из 42 возможных баллов, что соответствует серебряной медали на IMO. До этого искусственный интеллект не справлялся с задачами с такой точностью и универсальностью.