OpenAI выложила более 700 решенных ИИ математических задач

Еще не вышедшая модель искусственного интеллекта от OpenAI решила 722 математические задачи. Компания выложила их в репозитории на GitHub, сгруппировав в 372 семейства результатов.

Этот массив математикам придется разбирать и осмысливать месяцами — в том числе чтобы определить, содержат ли доказательства новые и важные идеи или же представляют собой компиляцию существующих методов. Однако многие результаты уже проверены в Lean — языке программирования, который валидирует логику доказательства, — и потому почти наверняка верны.

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

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

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

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

В OpenAI серьезно относятся к рекомендациям консультативной группы и стараются им следовать — но не обязаны это делать, пояснил представитель компании.

Пока разгорался спор вокруг Навье — Стокса, комментарии сотрудников OpenAI привели некоторых математиков к мысли, что модель получила дополнительные результаты, которые пока не обнародованы. Это поднимает важный вопрос: что вреднее — вывалить на сообщество груду необъясненных доказательств или вообще их скрыть?

«Если мы хотим знать ответы на эти математические вопросы, я не вижу причин держать их от нас в секрете. По мне, для математики это будет благом», — считает математик Дэниел Литт из Университета Торонто.

С другой стороны, известный математик Теренс Тао публично критиковал OpenAI и другие передовые ИИ-лаборатории за «безумные» темпы публикации результатов, созданных ИИ.

Примечательно, что результаты эти появляются слишком быстро даже для самих разработчиков — в OpenAI признались, что штатные математики компании еще не все поняли в уже опубликованных решениях. И все же замедляться они не планируют. Компания хочет вложить в руки математиков как можно более мощный инструмент. Более того, эти решения — показательный тест, демонстрирующий стремительное развитие ИИ от OpenAI, добавил представитель.

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

Выведена формула, вычисляющая момент, когда ИИ становится опасным

Подписывайтесь и читайте «Науку» в MAX