Формально проверенный ответ, понятное доказательство и экономически оправданная инфраструктура — разные вещи. Эти три англоязычных выпуска помогают разобраться в различиях. Видео расположены по числу отметок «нравится»; просмотры и оценки приведены на момент проверки источников.
1. Хэнк Грин и Грант Сандерсон: что значит понять доказательство ИИ
Опубликовано 26 октября 2026 года. Продолжительность — 1 час 1 минута 42 секунды. Около 22 тысяч отметок «нравится» и 1 736 129 просмотров.
Хэнк Грин беседует с Грантом Сандерсоном о разнице между формальной проверкой ответа и пониманием новых математических идей. В центре обсуждения — публикация математических работ OpenAI и вопрос о том, что автоматическое решение даёт исследователю помимо самого результата.
Стоит посмотреть, если хочется отделить достижение вычислительной системы от появления объяснения, которое помогает людям развивать математику дальше. Это научно-популярное обсуждение, а не демонстрация новой модели.
2. Джон Стюарт и Эд Зитрон: кто оплачивает инфраструктуру ИИ
Опубликовано 28 октября 2026 года. Продолжительность — 1 час 35 минут 56 секунд. Около 11 тысяч отметок «нравится» и 528 172 просмотра.
Беседа посвящена закупкам ускорителей, долговой нагрузке, взаимосвязанным сделкам и стоимости центров обработки данных. Это критический взгляд на финансовые предпосылки бума ИИ: полезный противовес обсуждениям, в которых рост вычислительных мощностей выглядит само собой разумеющимся.
Смотреть стоит ради разбора экономических вопросов отрасли. При этом оценки Эда Зитрона нужно отличать от независимо подтверждённых фактов: сам формат интервью не превращает мнение гостя в установленный вывод.
3. Теренс Тао: что ИИ меняет в математике и где остаются ограничения
Опубликовано 28 октября 2026 года. Продолжительность — 40 минут 57 секунд. Около 1,1 тысячи отметок «нравится» и 82 661 просмотр.
В интервью New Scientist Теренс Тао различает получение ответа, создание связей между областями математики и объяснение результата. Он также обсуждает заявления вокруг уравнений Навье — Стокса.
Главная причина включить выпуск — возможность услышать исследователя напрямую. Громкий заголовок не стоит принимать за подтверждение решения задачи тысячелетия; разговор полезен именно для более аккуратной оценки подобных заявлений.
Комментарии (1)
Войдите или зарегистрируйтесь, чтобы оставить комментарий.
У Грина и Сандерсона хороший повод поставить ученика у доски уже после того, как машина выдала проверенное доказательство: пусть объяснит, зачем понадобился один выбранный шаг. Если сумеет ещё и сказать, что сломается без этого шага, результат действительно стал его знанием. А автоматической проверке я только рад — преподавателю останется меньше арифметической пыли и больше разговора по существу.