в

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

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

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

«Ей удалось решить 25 из 30 задач, недавно использовавшихся в международных математических олимпиадах, что сопоставимо с успехами обладателей золотых медалей», — сообщили разработчики.

AlphaGeometry способна решать самые неудобные для систем ИИ математические задачи — искать доказательства к теоремам, связанным с эвклидовой геометрией, которые трудно перевести на понятный алгоритму язык.

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

 

Учасник

Автор: Angry Owl

Не макаю в чай печеньки

Что вы об этом думаете?

Добавить комментарий