TGViewer
Владилен: IT в эпоху AI Владилен: IT в эпоху AI @vladm · 39.3K subscribers
Post #1596 8.58K
Вокруг OpenAI разразился скандал

Компания заявила, что её модель решила одну из задач тысячелетия. Но теперь спорят: а не "позаимствовала" ли компания это решение.

Речь про задачу существования и гладкости решений уравнений Навье-Стокса. Почти 90 лет никто не мог доказать. За решение дают миллион долларов.

OpenAI взяла свою внутреннюю модель, которая, как они говорят, сильно мощнее GPT-6 Astra и запустила рой примерно из 10 000 агентов, которые работали 88 часов. СОтни транзакций между агентами. Потом ещё 17 часов проверяли доказательства в Lean.

Все бы ок, AGI достигнут, но есть нюансы.

Почти год над этой задачей работали математики Тристан Бакмастер и Левент Алпеге. Они решали близкую проблему для уравнений Эйлера и в процессе загружали свои решения в Codex.

Когда OpenAI показала результат, оказалось, что модель использовала похожее направление для решения задачи.

И версия обвинения, если совсем грубо, звучит так: а не спиздила ли модель ключевую идею из приватных сессий Codex, а потом просто дотянула её до полного решения?

Пока эту версию не доказали.

OpenAI все отрицаем, однако с пометкой: полностью исключить влияние обезличенных данных из пользовательских сессий на обучение модели они не могут. То есть модель могла прочесть в теории обезличенные данные и на основе их сделать решение.

В итоге, 2 версии:

– Модель действительно самостоятельно решила одну из сложнейших математических задач. Тогда нам придётся довольно быстро пересобрать представление о том, что AI уже умеет.

– Модель поймала человеческую идею, размножила работу на тысячи агентов и дошла дальше.

Тогда AGI пока не достигнуто и все ок. Но сам факт события уже огромный факт.

Люди почти год подбирались к соседней задаче. Рой агентов за 88 часов продолжил этот путь и, если доказательство выдержит проверку, добрался до задачи тысячелетия.

С миллионом, кстати, интриги почти не будет. OpenAI уже заявила, что на приз не претендует. Да и завтра его никому не вручат: по правилам должно пройти минимум два года, а решение должно получить признание математического сообщества.

В итоге: как бы ни закончился скандал, скорость исследований уже выросла.

Сегодня 10000 агентов работают 88 часов. Завтра агентов будет больше, модели станут умнее, а исследования, на которые уходили годы, начнут реализовыватсья до месяцев, недель, возможно, дней.

Ждем 2027
OpenAI On the Navier–Stokes Millennium Prize Problem We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
  • 🔥 31
  • ❤ 29
  • 😁 3
  • 🤯 2
  • 💔 2
More from @vladm
  1. Sep 20, 2026Что останется программисту, когда код начнёт писать AI А вот собственно, и сам подкаст! В…
  2. Sep 18, 2026На днях я выложу важный разговор с Константином и важный он по нескольким причинам: — чело…
  3. Sep 17, 2026💸Как платить за Spotify, Cursor, ChatGPT и другие любимые подписки?… Если ты читаешь это,…
  4. Sep 16, 2026Claude Code — полный курс. От первого промпта до субагентов и скиллов Дамы и господа, делю…
  5. Sep 16, 2026Муха научилась программировать Ту самую муху в симуляции научили программировать. Она смог…
  6. Sep 16, 2026Новая обложка Time Классный нарратив, про текущий "мега хайп" опасности. В целом, если зад…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →