OpenAI заявляет, что её модели опровергли гипотезу экспоненциального времени и закрыли результаты по Какее и Янгу—Миллсу
OpenAI
В публикации от 26 октября OpenAI выложила три результата своих моделей как сырые исследовательские данные для внешней проверки: опровержение гипотезы экспоненциального времени, формализованное в Lean 17 октября и переданное группе под руководством Рассела Импальяццо, Рамамохана Патури и Райана Уильямса; доказательство гипотезы локального сглаживания во всех размерностях, закрывающее ограничение Какеи и Стейна (Lean, 19 октября); и строгое доказательство существования взаимодействующих четырёхмерных калибровочных теорий, включая КХД и чистый Янга—Миллс (Lean, 16 октября), курируемое группой Дэвида Гросса, которая придержала артефакты ИИ. OpenAI выложила описания и доказательства в Lean на GitHub и предложила внешним экспертам взять результаты на себя.
Почему это важно
Фронтирные модели выдают результаты уровня области, которые теперь должны рецензировать математики.
Важность: 5/5
Заявления уровня крупной гипотезы теории сложности плюс две открытые задачи в анализе и КТП, все формализованы и открыты для внешней проверки.