ИИ-системы AlphaProof и AlphaGeometry 2 успешно решили четыре из шести задач на Международной математической олимпиаде (IMO), что эквивалентно серебряной медали.
Эти системы впервые достигли такого успеха на IMO. Вице-президент Google DeepMind Пушмит Коли отметил, что ранее не было систем, способных решать задачи с такой точностью и универсальностью.
Решение математических задач требует абстрактного мышления и сложного планирования, что является серьёзным вызовом для ИИ. Однако AlphaProof и AlphaGeometry 2 преодолели эти трудности благодаря усиленному обучению и формальным языкам программирования.
AlphaProof, основанный на модели Gemini от DeepMind, автоматически переводит задачи с естественного языка в формальные математические утверждения. Это упрощает их решение ИИ. AlphaGeometry 2 оптимизирована для задач, связанных с движением объектов и геометрическими уравнениями.
Для проверки возможностей систем им дали задачи текущей Международной математической олимпиады. AlphaProof успешно решила две задачи по алгебре и одну по теории чисел, включая самую сложную. AlphaGeometry 2 справилась с одной задачей по геометрии. Две задачи по комбинаторике остались нерешёнными.
Результаты были проверены и высоко оценены математиками Тимом Гауэрсом и Джозефом Майерсом. Системы набрали 28 из 42 возможных баллов, что соответствует серебряной медали на IMO. Это значительный шаг вперёд для ИИ в области математики.
Создание таких ИИ-систем открывает новые возможности для сотрудничества между людьми и машинами, помогая решать существующие задачи и создавая новые. Это способствует более глубокому пониманию того, как люди решают сложные математические проблемы.
Развитие таких систем остаётся важной задачей, и дальнейшие исследования помогут улучшить их работу и расширить применение в других областях математики.
Читать далее:
У всех на виду: где искать путешественников во времени
В нашей галактике нашли еще черную дыру: что в ней особенного
Трекер на гигантской акуле случайно записал столкновение с кораблем