Google DeepMind приближает эру ИИ-математиков с AlphaProof
Источник: Журнал Gerwin
Мир на пороге новой эры в развитии искусственного интеллекта: DeepMind, исследовательское подразделение Google, представило тандем моделей AlphaProof и AlphaGeometry 2, способных решать сложнейшие математические задачи на уровне серебряного медалиста Международной Математической Олимпиады (ММО).
AlphaProof использует язык формальной логики Lean для записи и проверки математических доказательств. Обучаясь на огромном массиве данных и применяя алгоритм AlphaZero, ранее покоривший мир шахмат и го, модель демонстрирует невиданные ранее способности в формализации математических рассуждений.
AlphaGeometry 2 фокусируется на геометрических задачах. Нейро-символическая архитектура и обширный набор данных для обучения позволяют модели эффективно решать задачи, связанные с движением, углами и пространственными соотношениями, демонстрируя при этом удивительную скорость и точность.
Вместе AlphaProof и AlphaGeometry 2 успешно справились с 4 из 6 задач ММО 2024 года, показав результаты, сравнимые с достижениями лучших математиков-людей.
Важно подчеркнуть, что эти модели не мыслят как люди, а скорее действуют как невероятно одаренные и быстро обучаемые студенты. Тем не менее, их появление – это значительный шаг к будущему, где ИИ станет незаменимым инструментом в руках математиков.
Автоматизация рутинных задач, ускоренная проверка доказательств и даже формулирование новых гипотез – вот лишь некоторые из перспектив, которые открывает перед нами эта революционная технология. Вполне возможно, что уже в ближайшем будущем мы станем свидетелями того, как AlphaProof и его последователи привнесут неоценимый вклад в развитие математики и других наук.