AI Radar — лента🤖 OpenAI получила три AI-исследования по науке
OpenAI сообщила о 3 новых исследовательских результатах по математике, компьютерной науке и физике. Доказательства частично или полностью формализованы в Lean, а к их проверке подключили внешних экспертов.
Что внутри. В математике модель получила доказательство гипотезы локального сглаживания во всех измерениях. Это одновременно разрешает conjectures Какея и Стейна о рестрикции. В физике доказано существование определённых взаимодействующих квантовых теорий поля в 4 измерениях, включая QCD и упрощённое объединённое завершение Стандартной модели.
Как это проверят. OpenAI выбрала три разные схемы публикации: прямой выпуск математического результата, внешняя группа с публикацией сырых данных по компьютерной науке и внешняя группа с отложенным выпуском материалов по физике. В работе участвуют исследователи из UC San Diego, MIT, а также Russell Impagliazzo, Ramamohan Paturi, Ryan Williams, David Gross, Michael Douglas, Arthur Jaffe, Igor Klebanov и Nikita Nekrasov. Ранее OpenAI объявила взнос в $5 млн в Simons Foundation для поддержки исследователей, изучающих результаты ИИ.
Пока это рукописи в форме сырых исследовательских данных, а не готовое научное понимание. Физические материалы ещё не выпущены: их изложение будет писать внешняя группа.
Что это значит: модели OpenAI уже работают не только как инструмент, но и как участники фундаментальных исследований — теперь главный вопрос не придумать результат, а насколько убедительно его проверят и объяснят.
Оригинальная публикация в Telegram