OpenAI представила три AI‑открытия и новый порядок их проверки

OpenAI объявила о трёх масштабных результатах, полученных её ИИ‑моделью. В математике система вывела доказательство локального сглаживания волнового уравнения, что одновременно решает гипотезы Согге, Какаи и ограничения Штайна во всех измерениях.

В информатике ИИ опровергла гипотезу экспоненциального времени, предложив детерминированный алгоритм подсчёта решений фикс‑ширинных CNF‑формул за субэкспоненциальное время и полиномиальную память. Проверкой занимаются учёные из UC San Diego и MIT, включая Р. Импаглиаччо, Р. Пату и Р. Уильямса.

В физике опубликовано строгое существование определённых взаимодействующих квантовых полевых теорий с калибровочными полями и фермионами в четырёх измерениях, включая QCD и унификацию Стандартной модели. Руководит этим проектом Дэвид Гросс совместно с Майклом Дугласом, Артуром Джаффе, Игорем Клебановым и Никитой Некрасовым.

Новый процесс предполагает «пастухов»‑экспертов, получающих ранний доступ к результатам, а затем открытый релиз материалов на GitHub. Советники AGMAI критически оценили такой эксклюзив, предложив публиковать выводы в открытых репозиториях, снабжать их формальными Lean‑доказательствами и финансировать независимую проверку.

OpenAI также разослала открытое письмо, задавшее вопросы о раннем доступе, конфликтах интересов и признании вклада исследователей, проверяющих AI‑открытия. Дискуссия уже началась в академическом сообществе.