ИИ решает сложнейшие математические задачи!

В 2026 году лаборатории искусственного интеллекта начали заявлять о решении проблем, над которыми математики работали десятилетиями. OpenAI опровергла гипотезу Эрдоша 80-летней давности, заявила о разрешении одной из версий проблемы Навье-Стокса, завоевавшей премию тысячелетия, опубликовала 722 математические статьи за один день и — в тот же день, что и Anthropic — заявила об опровержении гипотезы экспоненциального времени. В этом видео медленно и с анимацией математических выкладок показано, что произошло на самом деле: точки и единичные расстояния, трюк Штрассена и AlphaEvolve, доказательства Lean и их слепое пятно, вихрь, который взрывается, окрашивание плоскости, нули дзета-функции и головоломка с переключателем, лежащая в основе ETH. По ходу дела каждый результат помещается на одну ступеньку: заявленный, проверенный Lean, проверенный экспертами, понятый. В этом видео (вступительная часть + интервью) участвуют: Теренс Тао, Тимоти Гоуэрс, Хьюго Дюминиль-Копен, Тристан Бакмастер, Райан Уильямс, Скотт Ааронсон, Дэниел Литт, Демис Хассабис, Сэм Альтман и математики, опрошенные Sky News (фрагменты указаны на экране со ссылками на их оригинальные каналы). Основные источники: OpenAI: опровержение единичного расстояния (20 мая 2026 г.), пост о уравнениях Навье-Стокса (8 сентября), github.com/openai/math + history.md (6–7 октября), пост о «трех открытиях» (26 октября) Сопроводительные замечания Алона, Блума, Гоуэрса, Литта, Савина, Шанкара, Цимермана, Ванга, Вуда (arXiv:2605.20695); Уилл Савин (arXiv:2605.20579) Антропология: дзета-нули Римана (10 августа), Великая теорема Ферма в бережливом производстве (4 сентября), статья ETH по антропологии/формальной математике + README (26 октября) Google DeepMind: AlphaProof/AlphaGeometry 2 (2024), Gemini Deep Think IMO (2025), AlphaEvolve (2025), AlphaProof Nexus in Science (8 октября 2026 г.) Заявление Института математики Клэя (11 сентября 2026 г.); официальная формулировка проблемы Навье-Стокса К. Феффермана «Серьезное несоответствие ИИ в математике» (лауреаты Филдсской медали, 11 сентября 2026 г.); Консультативная группа по математике и ИИ (agmai.org) Заявление Тристана Бакмастера; arXiv:2610.08144 («Навье-Стокса, потерянного при переводе») Блог Теренса Тао (Math 2.0; эскиз нулей Сигела, 19 окт.); Томас Блум (erdosproblems.com); Ассоциация человеческой математики Журнал Quanta, Scientific American, TechCrunch, Retraction Watch, New Scientist, Numberphile, Hacker News Импальяццо и Патури (1999); Штрассен (1969); Эрдош (1946); Спенсер-Семереди-Троттер (1984); веретено Мозера (1961); де Грей (2018); Фальконер (1981); Согге (1991); Гут–Ван–Чжан (2019) Клипы (короткие отрывки для комментариев, с указанием авторства на экране): Sky News, «Лучших математиков мира уже обогнал ИИ» (22 сентября 2026 г.)    • The world's best mathematicians already ov...   Numberphile, «Больше нет героев – Теренс Тао» (15 октября 2026 г.)    • No More Heroes - Terence Tao Talks to Numb...   Numberphile, «Конец математического восхождения на гору» – Хьюго Дюминиль-Копен (14 октября 2026 г.)    • The End of Mathematical Mountain Climbing ...   Lex Clips (подкаст Лекса Фридмана), «AlphaEvolve и будущее эволюционных алгоритмов» – Демис Хассабис (2025)    • AlphaEvolve and the future of evolutionary...   OpenAI, «Прорыв Эрдоша» – Тимоти Гоуэрс (20 мая 2026 г.)    • The Erdős Breakthrough   Dwarkesh Clips, «Теренс Тао об ИИ, решающем проблемы Эрдоша» (март 2026 г.)    • Terence Tao On AI Solving Erdős Problems   Всемирный научный фестиваль, «ИИ навсегда изменил математику» – Тристан Бакмастер (2 октября 2026 г.)    • AI Just Changed Mathematics Forever | Worl...   Cheeky Pint (Stripe), Сэм Альтман с Джоном Коллисоном (29 октября 2026 г.)    • Why Sam Altman is against a single superin...   New Scientist, «Что на самом деле произошло, когда ИИ решил математическую задачу на миллион долларов» – Теренс Тао (28 окт. 2026 г.)    • What Really Happened When AI Solved a Mill...   Райан Петерман, «Что такое сильный ETH» – Райан Уильямс (27 окт. 2026 г.)    • MIT Professor: What is Strong ETH (Recentl...   Курт Джаймунгал – Скотт Ааронсон (26 окт. 2026 г.)    • The Most Significant Moment In Math Histor...   The Information Bottleneck, «Что осталось для математиков?» – Дэниел Литт (20 октября 2026 г.)    • What’s Left for Mathematicians? | Daniel Litt   Результаты лабораторных исследований описываются как заявления самих лабораторий, если они не были проверены сторонними экспертами. Несколько результатов (навье-Стокса, ЭТ, локальное сглаживание, КХД) все еще находились на рассмотрении 30 октября 2026 г. Главы 0:00 Что говорят математики 0:33 Очень насыщенная осень для математики 1:59 Как мы сюда попали 4:25 Вопрос о точках 8:03 Как это делают машины 11:36 Жидкость за миллион долларов 15:43 722 статьи за один день 20:28 Головоломка с переключателем 23:46 Волны и сильное взаимодействие 24:54 Что это значит