OpenAI и Anthropic заявили об опровержении важной гипотезы о вычислениях.
Речь об ETH, гипотезе экспоненциального времени. Упрощённо, она утверждает, что для определённого класса логических задач время решения неизбежно растёт экспоненциально с их размером. На этом предположении построены сотни научных работ. OpenAI сообщил, что его AI нашел опровержение. Anthropic тоже выложил результат Claude, который опровергает ETH.
Это открывает новые возможности для поиска быстрых алгоритмов. Результат OpenAI будет разбирать группа специалистов, включая двух авторов самой гипотезы.
OpenAI также объявила ещё о двух результатах: доказательстве гипотезы о поведении волн, из которого следуют решения нескольких других математических задач, и работе о строгих математических основах квантовых теорий поля. Последняя затрагивает часть задачи тысячелетия о теории Янга — Миллса.
Часть материалов OpenAI опубликовала сразу на Lean, а часть отдала на изучение группе учёных во главе с нобелевским лауреатом Дэвидом Гроссом.
Профессор миланского университета Николо Чеза-Бьянки: «Я всегда мечтал доказывать красивые теоремы, пока ИИ-агенты разгружают мою посудомоечную машину. Что ж, всё пошло не по плану...»
openai.com
