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

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

Также ждем вас, ваши лайки, репосты и комменты в мессенджерах и соцсетях!

Telegram-чат: t.me/podlodka
Telegram-канал: t.me/podlodkanews
Twitter-аккаунт: twitter.com/PodcastPodlodka

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

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

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

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

Разбор Quanta Magazine
quantamagazine.org/ai-has-solved-one-of-maths-…

Заметка Кнута «Claude's Cycles»
github.com/kim-em/KnuthClaudeLean/blob/master/…

VibeMathed
vibemathed.com

Lean
lean-lang.org