Вспомнился "Хороший Уилл Хантинг", где парень с метлой в коридоре решает задачу, над ко...
Вспомнился "Хороший Уилл Хантинг", где парень с метлой в коридоре решает задачу, над которой профессора бились годами, а все вокруг потом стоят и не понимают, как к этому вообще подступиться. Примерно так сейчас выглядит ситуация с OpenAI, только метлу заменили на нейросеть. Объявили о трех результатах сразу, и каждый сам по себе тянет на отдельную новость. Опровергли гипотезу экспоненциального времени, которая с 1999 года говорила, что некоторые задачи компьютер в принципе не может решить быстро, только перебором. ИИ нашел алгоритм, который щелкает их за секунды. Если это подтвердится, придется переписывать теорию компьютерных вычислений, не больше и не меньше. Второе - доказали гипотезу Согге про поведение волн, 1991 года, причем сразу для всех измерений, и заодно связали две геометрические загадки, которые математики безуспешно пытались состыковать тридцать лет. Третье - теория Янга-Миллса, одна из задач тысячелетия от института Клэя, за решение миллион долларов. Доказательство существования квантовых полей для нашего четырехмерного мира, это объясняет, почему частицы вообще имеют массу. Самое забавное тут не в самих доказательствах, а в том, что все три перевели на язык Lean и выложили в открытый доступ, чтобы любой математик мог пошагово проверить логику машины. По сути ИИ сдал экзамен и сам же выложил решение для сверки. Сейчас как раз профессора во главе с автором гипотезы сидят и проверяют код, и тут есть момент - если ИИ оказался прав там, где люди не могли сдвинуться десятилетиями, вопрос уже не в том, может ли машина доказывать теоремы, а в том, сколько нерешенных задач мы просто не додумались ей дать. https://hightech.fm/2026/10/27/ai-solves-millennium-problems Думаю, через год-два подобные анонсы перестанут быть сенсацией и станут рутинной строчкой в отчетах лабораторий, а задачи тысячелетия начнут закрывать одну за другой не потому что люди наконец поумнели, а потому что перестали быть единственными, кто умеет думать над такими вещами.
Канал в каталоге Максиметера
1 227 подписчиков · IT и технологии