July 25

Google DeepMind приближает эру ИИ-математиков с AlphaProof

Источник: Журнал Gerwin

Мир на пороге новой эры в развитии искусственного интеллекта: DeepMind, исследовательское подразделение Google, представило тандем моделей AlphaProof и AlphaGeometry 2, способных решать сложнейшие математические задачи на уровне серебряного медалиста Международной Математической Олимпиады (ММО).

https://deepmind.google/discover/blog/ai-solves-imo-problems-at-silver-medal-level/

AlphaProof использует язык формальной логики Lean для записи и проверки математических доказательств. Обучаясь на огромном массиве данных и применяя алгоритм AlphaZero, ранее покоривший мир шахмат и го, модель демонстрирует невиданные ранее способности в формализации математических рассуждений.

AlphaGeometry 2 фокусируется на геометрических задачах. Нейро-символическая архитектура и обширный набор данных для обучения позволяют модели эффективно решать задачи, связанные с движением, углами и пространственными соотношениями, демонстрируя при этом удивительную скорость и точность.

Вместе AlphaProof и AlphaGeometry 2 успешно справились с 4 из 6 задач ММО 2024 года, показав результаты, сравнимые с достижениями лучших математиков-людей.

Революция в науке?

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

Автоматизация рутинных задач, ускоренная проверка доказательств и даже формулирование новых гипотез – вот лишь некоторые из перспектив, которые открывает перед нами эта революционная технология. Вполне возможно, что уже в ближайшем будущем мы станем свидетелями того, как AlphaProof и его последователи привнесут неоценимый вклад в развитие математики и других наук.