ИИ от OpenAI только что написал 719 математических доказательств за один присест

6 октября 2026 года OpenAI опубликовала 722 математические работы, написанные с помощью ещё не выпущенной модели ИИ. В течение дня 3 из них были отозваны из-за одного неверного знака. Так что же, ИИ просто изменил математику или дал миру домашнее задание, которое никто не может проверить? Шаг за шагом, без необходимости иметь математическое образование. В этом видео: что на самом деле сделала OpenAI (около 4000 поставленных задач, 372 семейства результатов, 719 рукописей, опубликованных сегодня), и как языковая модель вообще может написать доказательство. Как работает Lean, программа проверки доказательств, почему около 42% основных результатов проверяются машинным способом, и почему для остальных всё ещё нужны люди. Самое смелое утверждение, изложенное просто: нет нулей дзета-функции с действительной частью больше 7/8. Огромный «квазиримановский» результат, если он верен, но не гипотеза Римана. И почему лауреаты Филдсовской премии и Теренс Тао обеспокоены тем, как это делается. РАЗДЕЛЫ 0:00 722 математических работы, написанных ИИ за ночь 0:42 Что произошло на самом деле 1:55 Как чат-бот выполняет математические вычисления? 3:09 Как мы узнаем, что он прав? 4:36 Результат Римана, представленный в упрощенном виде 6:18 Почему математики обеспокоены 7:34 Текущее положение дел ИСТОЧНИКИ Репозиторий OpenAI (рукописи, формализации Lean, вычисления для каждого результата): https://github.com/openai/math История репозитория (7 октября: 3 отозваны из-за ошибки в знаке, 14 исправлены): https://github.com/openai/math/blob/m... Объявление OpenAI: https://openai.com/index/sharing-ai-p... Отчет Retraction Watch (722 опубликованных сообщения, примерно 50% не подтверждены на момент публикации, Алекс из Корнелла) Таунсенд): https://retractionwatch.com/2026/10/0... "Серьезное несоответствие ИИ и математики", 11 сентября 2026 г., первоначально подписано 25 лауреатами Филдсовской премии (блог Теренса Тао): https://terrytao.wordpress.com/2026/0... Заявление и его нынешние подписанты (28 лауреатов Филдсовской премии): https://mathandai.org/ Ветка Теренса Тао на Mathstodon, 6 октября ("собран в больших масштабах", "гораздо менее плодородный", "математика" 2.0"): https://mathstodon.xyz/@tao/117395267... Сэм Альтман о X ("Мы вступаем в новую эру открытий"): https://x.com/sama/status/21076236104... Гипотеза Римана, задачи, удостоенные премии тысячелетия Института математики Клэя: https://www.claymath.org/millennium/r... Цифры в видео: "около трех часов" — это среднее время, затрачиваемое OpenAI на один результат, измеренное как эквивалент трех часов вычислительных задач ChatGPT Pro. Статья о zeta — это препринт, формализованный по методу Lean, и он еще не прошел рецензирование. КАК БЫЛО СОЗДАНО ЭТО ВИДЕО Анимация создана с помощью кода, каждая сцена синхронизирована с закадровым текстом. Голос в озвучке — мой собственный, клонированный с помощью ElevenLabs, и я проверил каждую строчку. В аудиодорожке на хинди используется тот же клонированный голос. Звуковые эффекты и музыка также были созданы с помощью ElevenLabs. Все факты были проверены по указанным выше первоисточникам. Если мы что-то упустили, сообщите нам в комментариях. Исправления будут закреплены. Прогрессивный ИИ: когда в ИИ происходит что-то важное, мы разбираем это шаг за шагом. #AIExplained #OpenAI #RiemannHypothesis #Mathematics #AI