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

Компания OpenAI опубликовала в открытом доступе на GitHub набор из 722 математических задач, которые были решены еще не выпущенной моделью искусственного интеллекта. Эти результаты организованы в 372 группы, и математическому сообществу предстоит несколько месяцев, чтобы оценить их значимость. Об этом сообщает сайт Togliatti24.

Многие доказательства уже прошли проверку в языке программирования Lean, который валидирует логику, поэтому их правильность почти не вызывает сомнений. Среди заявленных достижений — решение четырехмерной гипотезы Какеи, улучшение ряда ключевых компьютерных алгоритмов и прогресс в работе над гипотезой Римана.

Представитель OpenAI сообщил изданию Scientific American, что почти все результаты модель выдала в ответ на единичный запрос одному ИИ-агенту. Это значительно отличается от предыдущего случая с решением проблемы Навье — Стокса, где использовался рой из десяти тысяч агентов, а вычисления обошлись в миллионы долларов.

Математик Эндрю Сазерленд из Массачусетского технологического института считает, что до выхода модели и воспроизведения результатов заявления о решении задач одним агентом с одного запроса следует рассматривать как непроверенные. Он призвал компанию предоставить доказательства.

Публикация решения проблемы Навье — Стокса вызвала споры, и 21 сентября OpenAI объявила о создании независимой консультативной группы математиков. Разработанные рекомендации предлагают раскрывать модель, точный запрос и время вычислений, однако компания пока публикует лишь среднее время и часть статистики. В OpenAI заявили, что относятся к рекомендациям серьезно, но не обязаны их выполнять.

Некоторые математики предполагают, что у модели есть и другие необнародованные результаты. Дэниел Литт из Университета Торонто считает, что публикация таких данных пойдет математике на пользу, тогда как Теренс Тао критиковал ИИ-лаборатории за чрезмерно быстрые темпы публикации. В самой OpenAI признались, что штатные математики еще не полностью разобрались в опубликованных решениях, но замедляться компания не планирует, рассматривая эти результаты как демонстрацию развития своих моделей.

Больше новостей и эксклюзивных видео смотрите в канале Самара Онлайн 24 в MAX