OpenAI выложила на GitHub сразу 377 математических результатов, полученных на закрытой ИИ-модели – хотя учёные просили так не делать
OpenAI во вторник выложила в открытый доступ 377 новых математических результатов. Материалы появились на GitHub в виде большого массива работ, без привычной постепенной публикации. Релиз усилил напряжение вокруг роли ИИ в математике.
Одна из статей, выбранная наугад, заявляет о доказательстве "полной формулы ведущего члена из гипотезы Бёрча и Свиннертон-Дайера". Результат относится только к эллиптическим кривым над ℚ. Кроме того, он работает лишь тогда, когда "группа Сельмера q-степени имеет коранг ноль или один при некотором простом q".
Независимой проверки результатов пока нет.
В сопроводительном блоге OpenAI, судя по тону, ожидает скептицизма со стороны специалистов. Авторы уверяют, что хотят "напрямую расширять возможности учёных с помощью передовых технологий". Там же сказано, что OpenAI "работает над ответственным выпуском модели, которая получила эти результаты".
Речь идёт о той же внутренней, не выпущенной модели, которая около месяца назад выдала исключение, опровергающее уравнения Навье-Стокса. Позже выяснилось, что OpenAI фактически закончила работу другой группы математиков, также использовавшей ИИ. Это не означает, что найденный OpenAI ответ неверен.
В новом посте OpenAI говорит о включённых "протоколах пересмотра статей и цитирования". По словам OpenAI, для выработки "лучших практик" она сотрудничает с Консультативной группой по математике и искусственному интеллекту (AGMAI) при Институте перспективных исследований. Партнёрство было объявлено в конце прошлого месяца.
AGMAI в блоге от 29 сентября написала:
На данный момент некоторые передовые ИИ-лаборатории проверяют сложные математические задачи на закрытых моделях, недоступных широкому научному сообществу. Мы не одобряем эту практику и просим прекратить тестировать сложные математические задачи на закрытых моделях.
Новые результаты получены на той же невыпущенной модели, что и работа по Навье-Стокса. Рекомендация группы, судя по всему, учтена не была.
Западные СМИ направили запрос с вопросом о позиции AGMAI. Представитель OpenAI Линдси Маккаллум Реми повторила тезисы из блога о расширении возможностей учёных и планах выпустить модель. Затем она добавила: "Советы и публичные рекомендации AGMAI повлияли на то, как мы делимся результатами. Мы продолжим учитывать отзывы сообщества и улучшать наши стандарты публикации крупных научных достижений".
- Математик построил многогранник, похожий на сломанную 3D-модель, и он нужен для изучения топологии и теории графов
- Математик заподозрил OpenAI в краже его черновиков решения задачи на миллион долларов
- GitHub снова упал – сбой затронул API, Actions, Pull Requests и Copilot
Об авторе
