TGViewer
Кипящий МИФИ Кипящий МИФИ @boilingmephi · 29.3K subscribers
Post #9718 11.7K
OpenAI заявила о решении задачи тысячелетия - они с помощью внутренней модели ИИ предложили доказательство существования и гладкость решения уравнения Навье-Стокса.

Не обошлось без скандала. На авторство претендуют и учёные Тристан Бакмастер из NYU и Левент Алпеге, работающий в Anthropic. Они подозревают, что данные о направлении решения (но самого решения у них нет) утекли в OpenAI через Codex, который они использовали в своей работе. То есть они говорят, что OpenAI тайно использовали результаты их работы с моделью OpenAI.
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.
  • 🤔 78
  • 😁 32
  • 👏 9
  • ❤ 8
  • 😱 3
  • ⚡ 2
  • 🔥 2
More from @boilingmephi
  1. Sep 21, 2026Некоторые рабочие наблюдения 1. В закупке сейчас 60 стиральных машин для общежитий. Сама р…
  2. Sep 21, 2026Планируя сегодняшний день, впишите полтора часа на посещение Дня искусственного интеллекта…
  3. Sep 19, 2026Годы идут, а выпускники и учителя @mephi_1511 продолжают под руководством Ширстовой Ирины…
  4. Sep 18, 2026Кстати, мы тестируем новую платформу для внутренних опросов. И первый опрос на ней - опрос…
  5. Sep 18, 2026Тем временем в нашем общежитии на ул. Кошкина продолжается капитальный ремонт. Фото @somep…
  6. Sep 17, 2026Кстати, огромную роль в неформальном учебном процессе МИФИ играют кружки. У нас есть целая…
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 →