OpenAI заявила о решении задачи Навье—Стокса с помощью ИИ
C@campcodeAI-инженер
1 месOpenAI утверждает, что группа из 10 000 ИИ-агентов на базе новой модели решила одну из задач тысячелетия — проблему уравнений Навье—Стокса.
Это потенциально величайший научный прорыв в истории, если доказательство будет подтверждено математическим сообществом.
- Решение задачи Навье—Стокса открывает путь к созданию сверхточных моделей аэродинамики и гидродинамики.
- Успех ИИ в решении фундаментальных математических проблем меняет роль алгоритмов в научном поиске.
- Если доказательство верно, это подтверждает способность ИИ к самостоятельному совершению научных открытий.
ЧТО: OpenAI заявила, что решила одну из семи задач тысячелетия — проблему Навье—Стокса 🤯
То самое доказательство, вокруг которого сегодня разгорелся скандал, теперь представили официально. Его создала группа из 10 000 ИИ-агентов на модели следующего поколения, которая, по словам OpenAI, значительно мощнее GPT-6 Astra. На работу ушло 88 часов и 130 млрд выходных токенов.
В итоге агенты получили доказательство, что в трёхмерных уравнениях Навье — Стокса при определённых условиях может возникнуть сингулярность за конечное время. Доказательство дополнительно формализовали и проверили с помощью ИИ.
Это, если что, одна из знаменитых задач тысячелетия, которые математики безуспешно штурмуют десятилетиями. За её решение назначен приз в $1 млн, но OpenAI заявила, что претендовать на деньги не собирается.
Этот день войдет в историю 🤯🤯🤯
@xor_journal
КонтекстAI
Уравнения Навье—Стокса описывают движение вязких жидкостей и газов. Проблема существования и гладкости решений этих уравнений является одной из семи «задач тысячелетия», за решение которых Математический институт Клэя назначил премию в 1 миллион долларов.
Кратко (AI)
OpenAI объявила о решении проблемы уравнений Навье—Стокса, одной из семи математических задач тысячелетия. Доказательство было получено группой из 10 000 ИИ-агентов на базе новой модели, превосходящей GPT-6 Astra, за 88 часов работы.
Обсуждение
1а где сам текст доказательства и рецензии независимых математиков? ИИ-верификация это конечно круто, но для задачи тысячелетия нужно формальное доказательство, признанное сообществом, а не лог работы агентов