Для понимания: из 7 задач тысячелетия решено только две — одна нашим соотечественником Перельманом, а вторая ИИ.
Что касается уравнения Навье-Стокса, то оно описывает движение жидкостей и газов. Почти 90 лет математики разбирались, может ли такое описание «сломаться». В опубликованном доказательстве при определённом внешнем воздействии скорость в математической модели уходит в бесконечность за конечное время.
Я филолог, и в самом доказательстве понимаю примерно столько же, сколько двухлетний ребёнок в декларации по НДС. Зато мне очень интересно, КАК организовали работу. Интересно, что РОВНО ЭТОТ ЖЕ метод мы используем в клубе каждую неделю (просто, конечно, в других масштабах)‼️
Около 10 тысяч ИИ-агентов, то есть моделей с задачами и инструментами, работали под руководством исследователей. За 88 часов получили доказательство, обменявшись 2,7 миллиона сообщений . Использовали внутреннюю модель, которая, по словам OpenAI, значительно мощнее Astra.
Затем Astra ( да-да, та самая ) за дополнительные 17 часов перевела доказательство в Lean, язык для компьютерной проверки математических рассуждений, и провела проверку.
Все подтвердилось!
Понятное дело, что за этой историей стоят годы работы людей. Математик Тристан Бакмастер, который с коллегой получил результаты по родственным уравнениям, отдельно подчёркивает вклад Диего Кордобы и Луиса Мартинеса-Сороа : именно они развивали подход, который его команда продолжила с помощью ИИ.
Ту внутреннюю модель вам пока не дадут, десять тысяч агентов в подписку тоже не положат. Но попробовать разделить работу можно уже сейчас: один готовит результат, другой ищет ошибки, вы проверяете спорные места по источникам и расчётам.
Именно так, например, делает моя подписчица с ИИ-агентами, подробнее тут .
На этой неделе возьмите для такого опыта одну привычную задачу и посмотрите, что второй ИИ-агент исправит за первым.
👉 Как собрать себе помощников с разными ролями и проверять их работу, разбираю в клубе .