OpenAI Announces Three New AI Science Discoveries, Says It Has Disproved the Exponential Time Hypothesis
PANews, 27 октября — Согласно официальному заявлению OpenAI, внутренние модели компании сделали три новых открытия в областях математики, информатики и физики. В частности, модель доказала, что гипотеза об экспоненциальном времени (ETH), которая использовалась в качестве предпосылки для оценки вычислительной сложности в сотнях научных работ, является неверной; этот результат был формально проверен в системе Lean и будет дополнительно проверен группой под руководством авторов этой гипотезы, Рассела Импальяццо и Рамамохана Патури, а также профессора Массачусетского технологического института Райана Уильямса. Кроме того, модель доказала локальную гипотезу о сглаживании в произвольных измерениях, тем самым разрешив проблему Какеи и гипотезу о ограничениях Стейна; в области физики была предоставлена строгая теорема о существовании для четырехмерных квантовых теорий поля, включая квантовую хромодинамику, в частности, доказательство существования чистой теории Янга — Милля, связанной с одной из задач тысячелетия, которое будет проверено группой под руководством лауреата Нобелевской премии по физике Дэвида Гросса. Эти результаты все еще ожидают независимой проверки научным сообществом.