Google DeepMind представляет ИИ-модель AlphaGeometry, решающую геометрические задачи на олимпиадах. (ИИ, геометрия)

Американские математики разработали систему ИИ, способную решать самые сложные геометрические задачи, которые используются для оценки умений участников международных математических олимпиад. "Мы создали систему AlphaGeometry, способную доказывать теоремы в области эвклидовой геометрии без подсказок со стороны человека. Ей удалось решить 25 из 30 задач, недавно использовавшихся в международных математических олимпиадах, что заметно больше, чем у других систем ИИ, и сопоставимо с успехами обладателей золотых медалей в этих соревнованиях", — пишут исследователи в статье, опубликованной в журнале Nature. Система ИИ способна искать доказательства к теоремам, связанным с эвклидовой геометрией. Сложности в их решении обусловлены тем, что трудно перевести их на понятный алгоритму язык, а также набрать достаточное число примеров для его обучения. / Наука

Google DeepMind показала нейронку AlphaGeometry — она решает задачи на уровне топовых математиков. ИИ решил 25 из 30 задач олимпиады, когда предыдущий алгоритм справлялся лишь с 10. Внутри языковая модель, которая придумывает креативные идеи, а движок принимает рациональные решения. Код лежит на GitHub — тут.

ТехноNews: Новый ИИ от DeepMind научился решать задачи по геометрии DeepMind представила AlphaGeometry — систему, способную решить столько же задач по геометрии, сколько средний золотой медалист Международной математической олимпиады. AlphaGeometry с открытым исходным кодом решает 25 олимпиадных задач по геометрии за стандартное время, опередив предыдущую современную систему на 10. «Решение геометрических задач олимпиадного уровня — это важная веха в развитии глубоких математических рассуждений на пути к более совершенным и общим системам искусственного интеллекта. Мы надеемся, что AlphaGeometry поможет открыть новые возможности в области математики, науки и искусственного интеллекта», - отмечают исследователи Триу Тринь и Тханг Луонг.

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

Google DeepMind творят историю - представлена ИИ-модель AlphaGeometry, которая может решать задачи по геометрии на олимпиадах В пробном тесте из 30 задач по геометрии из олимпиад AlphaGeometry решила 25, превзойдя предыдущий метод Ву, который решил 10. Для обучения и проверки ИИ было сгенерировано 100 млн + синтетических задач, без участия человека. Ранее мы писали, ИИ не взял пока золото в международной олимпиаде по математике, но если это произойдёт, то наступит переломный момент в развитии всего ИИ.

Nature: Новый ИИ от DeepMind способен решать геометрические задачи олимпиадного уровня – DeepMind представил свою новую модель AlphaGeometry – Новый ИИ решает олимпиадные геометрические задачи – Также, как средний призер математической олимпиады – AlphaGeometry решает 25 задач за стандартное время – В тестовом наборе было 30 последних олимпиадных задач – Для обучения сгенерировали синтетические данные – Речь про 100 млн синтетических теорем и доказательств – Т.е. обучение AlphaGeometry было без участия человека – Выложены также описание и исходники для AlphaGeometry

‼ Google изобрела ИИ, решающий геометрические задачки на уровне золотых медалистов. Google достигла нового прорыва в области искусственного интеллекта, создав систему, способную решать задачи по евклидовой геометрии на уровне золотых медалистов математических олимпиад. Новый ИИ, названный AlphaGeometry, был обучен на миллионах синтезированных теорем и доказательств, превзойдя предыдущие методы и достигнув уровня среднего золотого медалиста Международной математической олимпиады IMO .