Podlodka #495 – AI в математике

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

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!
 Telegram-чат: https://t.me/podlodka Telegram-канал: https://t.me/podlodkanews Twitter-аккаунт: https://twitter.com/PodcastPodlodka

Ведущие в выпуске: Катя Петрова, Егор Толстой

Полезные ссылки:

Тред Павла Комаровского про Навье-Стоксгейт 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/