Бакмастер впервые публично прокомментировал прорыв ИИ в математике

🤖 Бакмастер впервые публично прокомментировал прорыв ИИ в математике

2 октября World Science Festival выпустило часовое интервью «The Moment AI Changed Mathematics Forever»: физик Брайан Грин беседует с профессором математики NYU Тристаном Бакмастером о прорыве ИИ в уравнениях Навье–Стокса и Эйлера и его работе с Google DeepMind.

🌍 Доказательства теперь производят ИИ-агенты: DeepMind-коллаборация Бакмастера и заявленное решение OpenAI от 8 сентября (около 10 000 агентов, ~88 часов, формализация в Lean). Корректность отделяется от читаемости: машина выдаёт верный результат, который человек не в состоянии проверить.

👤 Это первое крупное публичное слово Бакмастера, включая спор о приоритете с OpenAI; премия Миллениума Clay Institute — $1 млн. За двое суток видео набрало свыше 200 000 просмотров.

Источник 1: https://www.youtube.com/watch?v=PQYFRuZ5phs Источник 2: https://news.ycombinator.com/item?id=49951002