OpenAI объявила три результата своих моделей: опровержение ETH, локальное сглаживание и Янга — Миллса
Материал подготовлен Sintelligent с помощью ИИ. Опубликовано в SI: . Обновлено: .
Результаты остаются заявлением OpenAI: оценку поручили независимым математикам и физикам, от неё зависит, станут ли они установленными.
OpenAI 26 октября сообщила о трёх результатах своих моделей. Внутренняя модель, по заявлению компании, опровергла гипотезу экспоненциального времени (ETH) 16 октября, доказательство формализовано в Lean 17 октября. Модели, по заявлению OpenAI, также доказали гипотезу локального сглаживания во всех размерностях — это закрыло бы и гипотезы Какейи и ограничения Стейна — и получили доказательства существования квантовой хромодинамики и чистой теории Янга — Миллса в четырёх измерениях; существование теории Янга — Миллса — часть одной из задач тысячелетия Института Клэя. Результат по ETH проверит и объяснит группа Рассела Импальяццо и Рамамохана Патури (UC San Diego) и Райана Уильямса (MIT); они подчеркнули: «Наше участие не следует считать подтверждением заявления». Физическую группу возглавит нобелевский лауреат Дэвид Гросс; она решила пока не публиковать материалы, созданные ИИ, и напишет работу сама. OpenAI сообщила, что не добивается академического признания за открытия, передала $5 млн фонду Саймонса на семинары и конференции о результатах, созданных ИИ, и опубликовала текст доказательства от модели и доказательство в Lean.
Источники 2