OpenAI выложила 722 математических манускрипта, полученных внутренней моделью
В новом релизе OpenAI 722 манускрипта. По подсчёту The Verge, они сгруппированы в 372 семейства результатов, где собраны связанные между собой работы. OpenAI, как пишет Scientific American, называет ту же цифру: её внутренняя модель произвела 372 математических результата, и почти все они получены из одного запроса, переданного одному AI-агенту.[1][2][3][4]
OpenAI публикует результаты по открытым проблемам математики, которые получила её внутренняя передовая модель. Вместе с текстами компания выкладывает на GitHub формализации доказательств в Lean и подробности исследования.[5][6]
Работу модели компания описывает с оговорками. По данным Scientific American, OpenAI допускает, что часть результатов могла потребовать нескольких попыток. Затраченные вычисления в релизе оценены в единицах использования ChatGPT Pro, сообщает Techmeme.[7][8]
Публикация вышла через месяц после того, как, по словам Scientific American, была решена одна из шести крупнейших открытых проблем математики. Математическое сообщество, как пишет The Verge, ждало этих результатов несколько недель.[9][10]
Оценки масштаба до релиза и после него разошлись. Накануне выхода WIRED сообщал, что OpenAI готовится выпустить более 100 новых решений нерешённых проблем. Опубликованный релиз, по данным The Verge и самой OpenAI, оказался крупнее: 722 манускрипта и 372 результата.[11][1][3]
Для рассказа о результатах создана AGMAI, новая независимая консультативная группа ведущих математиков. Её задача, по словам The Verge, состоит в том, чтобы освещать результаты ответственно. В AGMAI говорят, что релиз содержит решения «сотен» открытых вопросов.[12][13]
Реакция профессионалов неоднозначна. The Verge пишет, что серия прорывов одновременно впечатлила и обеспокоила часть математического сообщества и подняла вопросы об исследовательской этике и академическом поведении. Математик, чьё имя WIRED не раскрывает, высказался резче. «Есть ощущение бандитского поведения», — сказал он о ведущих AI-компаниях.[14][15][16]
Как профессиональное сообщество будет проверять сотни новых доказательств и кому оно станет их приписывать, пока неизвестно.
