Новости науки "Русского переплета" Rambler's Top100
Портал | Содержание | О нас | Пишите | Новости | Книжная лавка | Голосование | Топ-лист | Регистрация | Дискуссия
Лучшие молодые
ученые России

Подписаться на новости

АВТОРСКИЕ НАУЧНЫЕ ОБОЗРЕНИЯ

"Физические явления на небесах" | "Terra & Comp" (Геология и компьютеры) | "Неизбежность странного микромира"| "Научно-популярное ревю"| "Биология и жизнь" | Теорфизика для малышей
Семинары - Конференции - Симпозиумы - Конкурсы

НАУКА В "РУССКОМ ПЕРЕПЛЕТЕ"
Проект поддержан Международной Соросовской Программой образования в области точных наук.
Новости из мира науки и техники
The Best of Russian Science and Technology
Страницу курирует проф. В.М.Липунов
"Русский переплет" зарегистрирован как СМИ. Свидетельство о регистрации в Министерстве печати РФ: Эл. #77-4362 от
5 февраля 2001 года. При полном или частичном использовании
материалов ссылка на www.pereplet.ru обязательна.

Тип запроса: "И" "Или"

17.01.2024
19:54

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

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

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

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

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

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

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

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

    По информации https://nauka.tass.ru/nauka/19752821

    Обозрение "Terra & Comp".

Помощь корреспонденту
Кнопка куратора
Добавить новость
Добавить новости
НАУКА В "РУССКОМ ПЕРЕПЛЕТЕ"

Если Вы хотите стать нашим корреспондентом напишите lipunov@sai.msu.ru

 

© 1999, 2000 "Русский переплет"
Дизайн - Алексей Комаров

Rambler's Top100