OpenAI представила 722 решенные ИИ математические задачи
Компания OpenAI разместила в открытом репозитории на GitHub массив из 722 математических задач, решенных еще не выпущенной моделью искусственного интеллекта. Результаты сгруппированы в 372 семейства, и математическому сообществу предстоит месяцы работы, чтобы оценить их значимость. Об этом пишет портал Наша Газета Крым.
Многие доказательства уже прошли проверку в языке программирования Lean, который валидирует логику, поэтому их корректность почти не вызывает сомнений. Среди заявленных достижений — решение четырехмерной гипотезы Какеи, улучшение ряда ключевых компьютерных алгоритмов и продвижение в работе над гипотезой Римана.
Представитель OpenAI сообщил Scientific American, что почти все результаты модель выдала в ответ на единственный запрос одному ИИ-агенту. Это заметно отличается от предыдущего громкого случая с решением проблемы Навье — Стокса, где задействовали рой из десяти тысяч агентов, а вычисления обошлись в миллионы долларов.
Математик Эндрю Сазерленд из Массачусетского технологического института считает, что до выхода модели и воспроизведения результатов заявления о решении задач одним агентом с одного запроса стоит рассматривать как непроверенные. Он призвал компанию предоставить доказательства.
Публикация решения проблемы Навье — Стокса вызвала споры, и 21 сентября OpenAI объявила о создании независимой консультативной группы математиков. Разработанные рекомендации предлагают раскрывать модель, точный запрос и время вычислений, однако компания пока публикует лишь среднее время и часть статистики. В OpenAI заявили, что относятся к рекомендациям серьезно, но не обязаны их выполнять.
Некоторые математики предполагают, что у модели есть и другие необнародованные результаты. Дэниел Литт из Университета Торонто считает, что публикация таких данных пойдет математике на пользу, тогда как Теренс Тао критиковал ИИ-лаборатории за чрезмерно быстрые темпы публикации. В самой OpenAI признались, что штатные математики еще не полностью разобрались в опубликованных решениях, но замедляться компания не планирует, рассматривая эти результаты как демонстрацию развития своих моделей.
