OpenAI宣布AI取得三项科学突破,涉及数学猜想、计算机算法及千禧年难题
Как сообщает BlockBeats, 27 октября OpenAI объявила о трех значительных прорывах, достигнутых ее моделью искусственного интеллекта в областях математики, компьютерных наук и физики. Это демонстрирует способность ИИ самостоятельно открывать и доказывать сложные научные теории, а не просто отвечать на вопросы или помогать в исследованиях.
В области математики ИИ доказал гипотезу о локальной гладкости, применимую ко всем измерениям (изучает, как долго может сохраняться концентрация энергии в таких явлениях, как волны), и, таким образом, решил гипотезу Какеи (изучает, какое минимальное пространство необходимо, чтобы игла могла повернуться во всех направлениях в ограниченном пространстве) и гипотезу Штайна об ограничениях (изучает математические проблемы, связанные со сложными закономерностями колебаний).
В области компьютерных наук ИИ опроверг широко распространенную и долгое время принимавшуюся гипотезу об экспоненциальном времени (утверждающую, что некоторые сложные вычислительные задачи неизбежно приводят к резкому увеличению объема вычислений по мере увеличения масштаба), что означает, что в будущем могут быть найдены более быстрые алгоритмы.
В области физики ИИ представил строгое математическое доказательство существования квантовой хромодинамики (теории, объясняющей, как кварки объединяются, образуя протоны, нейтроны и другие частицы) и теории Янга — Миллса (математической теории, описывающей силы взаимодействия между элементарными частицами), что связано с одной из семи великих математических задач тысячелетия.
OpenAI заявила, что математические и компьютерные результаты были формально проверены с помощью инструмента математической верификации Lean, и материалы доказательства были опубликованы. Результаты в области физики в настоящее время проходят проверку экспертов, в том числе лауреатов Нобелевской премии по физике. Эти результаты все еще требуют дальнейшего независимого подтверждения со стороны научного сообщества.