ИИ впервые сравнялся с математиками в решении олимпиадных задач

  • 19.01.2024 21:29
  • 6424
ИИ впервые сравнялся с математиками в решении олимпиадных задач

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

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

AlphaGeometry была создана группой математиков под руководством старшего научного сотрудника компании Deepmind Мин-Тханга Луонга. Система способна решать самые неудобные для ИИ математические задачи - искать доказательства к теоремам, связанным с эвклидовой геометрией. Сложности в их решении обусловлены тем, что трудно перевести их на понятный алгоритму язык, а также набрать достаточное число примеров для его обучения.
Специалистам DeepMind удалось обойти эту проблему при помощи разработанной ими языковой нейросети AlphaGeometry, а также специального алгоритма, который позволил выработать большое число синтетических теорем и доказательств к ним, пользуясь уже известными математическими закономерностями. В итоге ученые получили своеобразный "учебник геометрии" для нейросети - выборку из 100 млн геометрических теорем, которые были написаны на понятном для системы ИИ языке.


сегодня 19:53
46

Meizu меняет направление бизнеса и перестанет разрабатывать смартфоны

Компания Meizu объявила о прекращении разработки новых смартфонов. Вместо этого она сосредоточится на разработке и создании «устройств завтрашнего дня», управляемых искусственным интеллектом, передает IXBT.com...

сегодня 11:15
1546

Asus и Hario представили умную кофемашину со встроенным искусственным интеллектом

Компания Asus объявила о сотрудничестве с корпорацией Hario для создания умной кофемашины нового поколения — V60. Новинка будет оснащена встроенным искусственным интеллектом, сообщает ITHome. С помощью ИИ кофемашина...

вчера 08:27
3112

Apple создал инструмент Keyframer для создания анимации

Специалисты Apple из команды машинного обучения разработали Keyframer, приложение, способное генерировать анимацию с помощью искусственного интеллекта, сообщает издание The Verge со ссылкой на платформу научных...

19.02.2024 23:58
2411

Amazon создала крупнейшую на сегодняшний день ИИ-модель для преобразования текста в речь

Американская технологическая компания Amazon анонсировала прорыв в области ИИ-технологий: BASE TTS (Big Adaptive Streamable TTS with Emergent options), нейросеть, способную преобразовывать текст в речь с беспрецедентной...