Google представляет AlphaProof: ИИ решает задачи международной олимпиады по математике

AlphaProof - нейросеть Google решает задачи с IMO международной олимпиады по математике на уровне серебряного медалиста Модель идеально решила 4 проблемы из 6, набрав 28 баллов из 42. Для золотой медали нужно 29 баллов. Подход концептуально относительно простой - зафайнтюненная Gemini переводит условие задачи в формат Lean инструмент доказательства теорем такой . Дальше в дело вступает знакомый алгоритм AlphaZero, который научили решать формальные проблемы. Если вы не знакомы с Lean и интересно что это такое - попробуйте natural numbers game, это прекрасное введение в Lean, которое прошёл даже Терри Тао. Блогпост

Google системно движется к цели. Новая ИИ-модель получила серебряную медаль в Международной математической олимпиаде IMO Каждый год страны отправляют своих лучших молодых математиков пройти двухдневный тест из 6 задач. Несколько лет назад математическим системам ИИ удалось решить 1 из 100 задач. В этом году Google DeepMind создал ИИ систему для решения задач IMO этого года, которая объединила 2 системы: AlphaGeometry 2, улучшенную версию системы AlphaGeometry, и AlphaProof - новую систему, основанную на обучении с подкреплением, для формальных математических рассуждений. Результаты. В течение недели соревнований эта система смогла полностью решить 4 из 6 задач на IMO в этом году, набрав 28 баллов. AlphaProof создана на доработанной версии Gemini, а также использует систему Lean.

ИИ-системы AlphaProof и AlphaGeometry 2 успешно решили четыре из шести задач на Международной математической олимпиаде IMO , что эквивалентно серебряной медали.

Google не стоит на месте Подразделение DeepMind представило две новые ИИ-модели для решения сложных математических задач: AlphaProof и AlphaGeometry 2. Эти программы успешно решили четыре из шести задач на Международной олимпиаде по математике, что является значительным прогрессом в области машинного обучения. Кроме того, Google обновила и чат-бот Gemini. Новая версия, 1.5 Flash, доступна в браузере и на мобильных устройствах. Контекстное окно бота увеличено до 32 000 токенов, что позволяет вести более продолжительные беседы без потери контекста. А в будущем пользователи смогут загружать файлы для анализа и визуализации данных через Google Drive. Источник

AI Google решает задачи на уровне серебряного медалиста Международной математической олимпиады: Разработанная Google Deepmind система искусственного интеллекта AlphaProof набрала 28 баллов из 42 возможных, решая задачи Международной математической олимпиады IMO . В этом году порог золотой медали начинается с 29 очков, его достигли 58 из 609 участников официального соревнования. AlphaProof состоит из нейросети Gemini, инструмента для доказательства теорем Lean и модели AlphaZero, которая прославилась тем, что сама научила себя играть в шахматы и сёги. #AINews #Gemini

AI Google решает задачи на уровне серебряного медалиста Международной математической олимпиады Разработанная Google Deepmind система искусственного интеллекта AlphaProof набрала 28 баллов из 42 возможных, решая задачи Международной математической олимпиады IMO . В этом году порог золотой медали начинается с 29 очков, его достигли 58 из 609 участников официального соревнования. AlphaProof состоит из нейросети Gemini, инструмента для доказательства теорем Lean и модели AlphaZero, которая прославилась тем, что сама научила себя играть в шахматы и сёги. — Курс «Бизнес на нейронных сетях»

Google заезжают в гонку моделек-математиков Система решает IMO на уровне серебряного медалиста: это подтвердил известный математик Джозеф Майерс p.1 . Для не геометрических задач используется AlphaProof р.2 , который по сути представляет из себя предобученную LM с алгоритмом RL из Alpha Zero тот самый ИИ-шахматист, который обыграл Каспарова . Для обучения AlphaProof использовали Gemini, которая переводила текстовые задачи в формальный вид р.3 . Что касается геометрии, в системе используется AlphaGeometry 2: нейро-символическая гибридная система. В роли базовой модели также использовалась Gemini, ее дообучали на синтетике. Р.4 – пример решения AlphaGeometry. Статья

DeepMind от Google научился решать сложнейшие математические задачи. Компания представила два инструмента – AlphaProof и AlphaGeometry 2. Исследовательское подразделение по ИИ Google DeepMind заявило о значительных успехах в решении сложных математических задач. Компания представила два новых инструмента: AlphaProof, специализирующийся на математических рассуждениях, и обновленную версию AlphaGeometry 2, ориентированную на геометрию. Эти программы успешно решили четыре из шести задач Международной математической олимпиады. Новая версия модели AlphaGeometry смогла решить 83% всех исторических задач по геометрии на Международной математической олимпиаде за последние 25 лет. Однако, как отметил вице-президент Google DeepMind Дэвид Сильвер, искусственный интеллект пока не способен заменить людей-математиков. Читать РБК Life в Telegram

Bloomberg: Новый ИИ от DeepMind способен решать задачи математической олимпиады – DeepMind добился успехов при решении сложных мат. задач – Это одна из самых сложных областей для всех моделей ИИ – DeepMind представил модели AlphaProof и AlphaGeometry 2 – Фокус первого ИИ – мат. рассуждения, второго – геометрия – Модели успешно четыре из шести математических задач – Речь идет про задачи из Международной мат. олимпиады – Это является большим прогрессом для областей ML и ИИ – Другие модели не добились такого успеха для этих задач – AlphaProof развивался на основе ИИ-технологий Google – Их использовали для стратегических игр шахматы, го и др. – AlphaGeometry решила 83% исторических задач по геометрии – Речь идет про задачи из Международной олимпиады за 25 лет

Google запустил модель AlphaProof, которая решает математические задачи почти так же хорошо, как серебряный призер олимпиады. Модель набрала 28 баллов из 42 возможных, а для золота нужно было 29. Фишка в том, что AlphaProof не решает задачи напрямую, а сначала переводит их в код формат Lean , потому что так нейросети легче проверять правильность. GeekNeural #News