OpenAI опроверг гипотезу экспоненциального времени, объявил о трех новых научных открытиях в области ИИ

OpenAI объявила, что ее внутренняя модель достигла трех новых открытий в области математики, информатики и физики. Модель доказала, что гипотеза экспоненциального времени (ETH), которая использовалась в качестве предпосылки для вычислительной сложности в сотнях статей, неверна. Результаты были проверены с помощью формализации Lean и будут подтверждены группой, возглавляемой предложившими гипотезу Расселом Импальяццо, Рамамоханом Патури и профессором MIT Райаном Уильямсом. Кроме того, модель доказала гипотезу локальной гладкости в произвольных измерениях, разрешив гипотезу Какеи и гипотезу ограничения Штейна. В физике модель предоставила строгую доказательство существования четырехмерных квантовых полевых теорий, включая квантовую хромодинамику, которая содержит доказательство существования чистой теории Янга-Милса, связанной с задачами тысячелетия. Это будет проверено группой, возглавляемой лауреатом Нобелевской премии по физике Дэвидом Гроссом. Указанные результаты ожидают независимой проверки со стороны академического сообщества.