Искусственный интеллект Google DeepMind достиг серебряного уровня на Международной олимпиаде по математике 2024 года
AI-системы AlphaProof и AlphaGeometry 2, разработанные Google DeepMind, успешно решили четыре из шести сложных математических задач, набрав 28 из 42 возможных баллов. Это занимает их место среди топ-58 из 609 участников, демонстрируя значительный прогресс в математическом мышлении и возможностях AI.
AlphaProof: решение математических задач через формальное языковое моделирование
AlphaProof — это система на основе обучения с подкреплением, разработанная для формального математического рассуждения. Она комбинирует тонко настроенную версию модели Gemini с алгоритмом обучения с подкреплением AlphaZero, который ранее преуспел в освоении игр, таких как шахматы, шоги и Го. AlphaProof переводит естественноязыковое формулирование задач в формальный математический язык, создавая обширную библиотеку формальных проблем. Затем он использует решающую сеть для поиска доказательств или опровержений на формальном языке Lean, постепенно обучая себя решать более сложные проблемы через непрерывное обучение.
AlphaGeometry 2: эффективное решение геометрических задач на основе нейросимволической модели
AlphaGeometry 2 — это улучшенная версия предыдущей системы AlphaGeometry, которая является гибридной нейросимволической моделью на основе языковой модели Gemini. Она прошла обширное обучение на синтетических данных, что позволило ей решать более сложные геометрические задачи. AlphaGeometry 2 использует символьный движок значительно быстрее своего предшественника и использует механизм обмена знаниями для продвинутого решения проблем.
Вместе AlphaProof и AlphaGeometry 2 решили две алгебраические задачи, одну задачу теории чисел и одну геометрическую задачу на Международной олимпиаде по математике 2024 года. Таким образом, они продемонстрировали потенциал искусственного интеллекта в решении сложных математических задач, сравнимый с возможностями некоторых из лучших молодых математиков мира.
Значимость достижения в математическом мышлении и применении AI
Это достижение является значительным вехом в применении искусственного интеллекта для решения сложных проблем и математического рассуждения. Успех AlphaProof и AlphaGeometry 2 продемонстрирует потенциал комбинирования языковых моделей с мощными механизмами поиска, такими как обучение с подкреплением, для решения сложных математических проблем.
Способность AI-систем выполнять на уровне некоторых из лучших молодых математиков мира предвещает будущее, в котором искусственный интеллект может помочь в исследовании новых гипотез, решении давно известных проблем и оптимизации процесса доказательства в математике.
Команды исследователей и разработчиков за AlphaProof и AlphaGeometry 2 продолжают совершенствовать свои модели и исследовать новые подходы для улучшения математических способностей искусственного интеллекта. Подобные системы могут революционизировать подход математиков и ученых к решению проблем и открытию новых знаний.
Успех AlphaProof и AlphaGeometry 2 на Международной олимпиаде по математике 2024 года свидетельствует о быстром развитии искусственного интеллекта и его растущей роли в сложных областях, таких как математика. Это достижение проложило путь для будущих инноваций и сотрудничества между искусственным интеллектом и человеческими экспертами, способствуя прогрессу в науке и технологиях.
