Podlodka #495 – AI в математике
Ещё год назад AI в математике осиливал разве что олимпиадные задачки. Сегодня промпт «сделай научный прорыв» разваливает гипотезу почти тридцатилетней давности, а OpenAI заявляет решение Навье–Стокса силами десяти тысяч агентов. Вместе с Александром Куликовым, доктором физико-математических наук и исследователем JetBrains, разбираемся, где здесь красивая история и маркетинг, а где – настоящий результат, который не только удивляет, но и пугает математическое сообщество, и почему филдсовские медалисты отвечают на всё это письмами протеста.
Слушать выпуск
Полезные ссылки:

  • Тред Павла Комаровского про Навье-Стоксгейт
https://x.com/Rational_Answer/status/2097311728002359519

  • OpenAI о решении Навье–Стокса
https://openai.com/index/navier-stokes-solution/

  • Разбор Quanta Magazine
https://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problems-20260908/

  • Заметка Кнута «Claude's Cycles»
https://github.com/kim-em/KnuthClaudeLean/blob/master/claude-cycles.md

  • VibeMathed
https://vibemathed.com/

  • Lean
https://lean-lang.org/