Американская лаборатория OpenAI объявила о получении трех фундаментальных научных результатов в сфере математики, физики и компьютерных наук. Внутренние алгоритмы искусственного интеллекта без подсказок человека сформировали доказательства для важнейших теоретических проблем, которые оставались неразрешенными на протяжении десятков лет. Об этом сообщает «Хайтек» со ссылкой на официальный анонс исследовательской группы OpenAI.
Наибольший прорыв произошел в области компьютерных наук, где алгоритмы компании полностью опровергли знаменитую гипотезу экспоненциального времени. Эта математическая концепция с 1999 года утверждала, что некоторые сверхсложные логические задачи компьютер принципиально не может решить быстро, и ему всегда придется тупо перебирать миллиарды вариантов (как при подборе сложного пароля). Искусственный интеллект нашел обходной путь и создал хитрый математический алгоритм, который щелкает эти тяжелые задачи за секунды и почти не тратит память компьютера. Независимая рабочая группа из американских профессоров во главе с создателями этой гипотезы сейчас проверяет присланный ИИ код, ведь если машина права, ученым придется переписать всю теорию компьютерных вычислений.
В сфере математического анализа исследовательский ИИ построил полное доказательство гипотезы Кристофера Согге о поведении физических волн, выдвинутой в 1991 году. Сложнейшая теорема утверждает, что при вспышке света или взрыве экстремально сильная концентрация энергии в эпицентре не может сохраняться долго и волны обязательно должны быстро и плавно сглаживаться в пространстве. Нейросеть смогла математически доказать это правило сразу для всех измерений, попутно решив еще две старые загадки геометрии, которые математики безуспешно пытались связать между собой последние 30 лет.
Третий результат касается теоретической физики, где нейросети представили строгое доказательство существования квантовых полей для четырехмерного пространства (в котором мы живем). Данная математическая работа объясняет теорию Янга — Миллса, которая описывает поведение элементарных частиц и объясняет, почему субатомный мир обладает массой, а сильное ядерное взаимодействие не выпускает кварки наружу из протонов и нейтронов. Разработка вплотную приближает науку к разгадке этой фундаментальной тайны, которая официально входит в список семи сложнейших «задач тысячелетия», за решение каждой из которых математический институт Клэя обещает награду в миллион долларов. Инженеры OpenAI перевели все три решения ИИ на специальный строгий язык компьютерной логики Lean и выложили формулы в открытый доступ, чтобы ученые со всего мира могли пошагово проверить выводы машины.
Обложка: magnific
