⚡ Искусственный интеллект опровергает математическое предположение, существовавшее в информатике 30 лет. 😱

👥 По всей видимости, центральный постулат информатики был опровергнут компанией #OpenAI, и если этот результат подтвердится, придётся переписать учебники ‼

#КомпанияOpenAI, разработчик #ChatGPT, утверждает, что ее модели #ИИ опровергли гипотезу экспоненциального роста во времени — фундаментальное предположение, лежащее в основе информатики.

«Это стало полной неожиданностью, настоящим шоком», — говорит Федор Фомин из Университета Бергена в Норвегии. «Никто из моих знакомых этого не ожидал».
Предложенная почти 30 лет назад гипотеза экспоненциального времени (ETH) пытается установить предел скорости решения компьютерами определенных логических задач.
Простейший способ — перебрать все возможные комбинации истинных и ложных утверждений для каждой части головоломки. В ETH предполагают, что, хотя это может быть быстрее с помощью сокращений, объем необходимой работы должен экспоненциально возрастать по мере увеличения размера головоломки.

Однако OpenAI утверждает, что её модели разработали алгоритм, способный превзойти ранее предполагаемый предел скорости решения логических головоломок, тем самым, по-видимому, опровергая ETH. «Если это подтвердится, это будет огромным прорывом», — говорит Лесли Голдберг из Оксфордского университета.

Многие открытия в области информатики исходят из предположения, что теория ETH верна. Если это не так, то сделанные на её основе выводы о вычислительных ограничениях становятся бесполезными. «Это потребовало бы полной переработки нескольких областей алгоритмов и теории сложности», — говорит Фомин, отмечая, что написанный им учебник по этой теме устареет, если это открытие подтвердится.

ETH связана с давней математической проблемой, известной как P против NP, которая касается того, легко ли решить задачу, ответ на которую легко проверить. Если бы ETH была верна, это означало бы, что ответ — нет. Но опровержение ETH не означает, что ответ — да. «Это не оказывает прямого влияния на P против NP, поэтому мы не должны рассматривать это как прогресс в направлении P против NP», — говорит Голдберг.

Результаты были объявлены вместе с другими прорывами в математике и физике в сообщении в блоге от 26 октября.

В математическом плане компания OpenAI утверждает, что её ИИ доказал гипотезу 1991 года о том, что волны не могут оставаться интенсивно сфокусированными в течение длительного времени. Если это подтвердится, то также даст ответы на давние вопросы о том, насколько тонкой может быть фигура, содержащая при этом отрезки линий, направленные во всех направлениях, а также о том, как распространяются волны.

В области теоретической физики компания OpenAI утверждает, что доказала математическую обоснованность квантовых теорий поля , включая квантовую хромодинамику, описывающую сильное взаимодействие, удерживающее кварки вместе, а не просто их предсказания, совпадающие с экспериментами. Полученные результаты также затрагивают существование чистой теории Янга-Миллса, являющейся частью известной математической проблемы, требующей решения на миллион долларов, но не решают её полностью. Эта работа пока не опубликована, пока её изучает внешняя группа под руководством лауреата Нобелевской премии Дэвида Гросса.