Внутренняя модель OpenAI решила три открытые задачи из областей математики, теоретической информатики и физики В том числе модель опровергла ETH – гипотезу об экспоненциальном времени. Это, ни много ни мало, ключевое предположение в теории вычислительной сложности, тесно связанное с задачей тысячелетия про P ≠ NP. ETH утверждает, что задачу выполнимости булевых формул нельзя решить сильно быстрее полного перебора. Это предположение информатики и математики много-много лет использовали как фундамент для доказательства результатов из теории графов, вычислительной биологии, баз данных, геометрии и тд. На ETH стоят сотни таких работ. Теперь же вдруг оказывается, что ETH ложна, и значит все вопросы типа "а насколько быстрее еще можно» открыты заново. Результат настолько значимый, что проверять его будет группа во главе с Расселом Импальяццо и Рамури Патури – учеными, которые и сформулировали ETH. Кроме того, OpenAI обещает оплатить конференцию по осмыслению результата. Две другие задачи тоже довольно заметные: 1. Гипотеза Какэя и локальное сглаживание. Речь о волнах, которые фокусируются в одной точке. Есть гипотеза Согга 1991 года, она утверждает, что самая сильная фокусировка не может длиться долго. Из этой гипотезы следуют гипотеза Какэя и гипотеза Штейна об ограничении. Это одна из центральных задач гармонического анализа, над ней десятилетиями работали сильнейшие математики, однако до сих пор люди добирались только до доказательств для малых размерностей (двух или трех). Модель OpenAI выдала доказательство для любой размерности, и вместе с ним автоматически закрыла Какэя и Штейна, также для всех размерностей. 2. Существование КХД и Янга-Миллса. Модель строго доказала существование теории Янга-Миллса. Это тоже часть одной из семи задач тысячелетия. Также она доказала существование полной КХД, где к глюонам добавлены кварки, и объединенной теории, включающей частицы Стандартной модели. Результат разберет группа во главе с нобелевским лауреатом Дэвидом Гроссом. Что-то невероятное происходит https://openai.com/index/building-scientific-understanding-with-academic-communities/
- 8
- 3