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