Математики проверили прорыв Римана, достигнутый искусственным интеллектом.

📬 Бесплатный еженедельный обзор ИИ и математики → https://ademb10.com/?ref=riemann-verdict Две недели назад модель OpenAI выдвинула квази-римановскую гипотезу: прямую стену на отметке 7/8 в римановой ленте, которую никогда не пересекает ни один ноль. В ночь публикации теоретик чисел Алекс Конторович выдвинул две версии того, как машина могла это сделать. Теперь математики, которые разобрали доказательство, вынесли свой вердикт в журнале Quanta Magazine: Максим Радзивилл назвал последствия «ошеломляющими», а статьи — «ужасно написанными». Доказательство не нуждалось в новой идее. Оно обнаружило семейство функций, существование которых Питер Сарнак утверждал десятилетиями, используя малоизвестные метаплектические формы и формулу 2021, доказанную двумя из тех самых людей, которые сейчас проверяют доказательство. В этом видео рассматриваются две статьи (та, которую проверил компьютер, и та, которую читают сами эксперты), три версии и то, какая из них оказалась верной. ⏱ Разделы 0:00 Введение 0:56 Стена на 7/8 2:20 Две статьи 4:03 Три предположения 4:40 Семья, которую никто не нашел 6:30 Вердикт 7:37 Заключение 🔗 Источники Журнал Quanta, Константин Какаес, «Искусственный интеллект доказал квазириманову гипотезу. Что будет дальше?» (19 окт. 2026 г.): https://www.quantamagazine.org/ai-pro... OpenAI, «Квази-римановская гипотеза: полуплоскость без нулей Re(s) больше 7/8» (30 сент. 2026 г., 199 стр., проверено Lean): https://github.com/openai/math/tree/m... OpenAI, «Квази-римановская гипотеза» (5 окт. 2026 г., 49 стр., версия 11/12): https://github.com/openai/math/tree/m... Национальный музей математики, «Когда ИИ решает основные открытые проблемы» (гала-панель, 6 октября 2026 г.):    • When AI Solves Major Open Problems: What D...   Наше предыдущее видео о выпуске, «722 математических статьи за одну ночь. Одна из них о Римане»:    • 722 Math Papers in One Night. One of Them ...   О деталях: это квази-римановская гипотеза, а не сама гипотеза Римана; стена находится на 7/8 (или 11/12 во второй статье), а не на 1/2. Эксперты «в целом согласны с тем, что результат верен», по словам Quanta, но Сарнак не назовёт это теоремой, пока люди не проверят каждую деталь, а статья от 11/12 ещё не прошла формальную проверку. Формула Данна-Радзивилла 2021 года была одним из ключевых элементов «наряду с работой многочисленных других математиков», а не всем доказательством. Статья от 11/12 — единственная из 722, которую редактировал человек; OpenAI не сообщила, кто именно. Подробное описание семейства и мост — это наши иллюстрации идеи: они не показывают сами L-функции или формулу. «Не так уж плохо» — это то, что коллеги написали Бхаргаве в ночь релиза, за две недели до вердикта Радзивилла. 🎙 Благодарности Голоса Алекса Конторовича, Стивена Вольфрама и Манджула Бхаргавы: короткие отрывки для комментариев с гала-панели Национального музея математики (6 октября 2026 г.):    • When AI Solves Major Open Problems: What D...   Фотографии взяты с Wikimedia Commons: Алекс Конторович (Катрин Шмид) и Максим Радзивилл (Петра Лейн), CC BY-SA 2.0 de; Стивен Вольфрам (PR-команда Стивена Вольфрама / Стивен Фауст), CC BY-SA 3.0; Манджул Бхаргава (IMU), лицензия Free Art; Питер Сарнак (ICM 2018), Хенрик Иванец (Юстас Калпокас) и Бернхард Риман, общественное достояние. Скриншоты страниц: журнал Quanta Magazine и статьи OpenAI (Apache-2.0), цитируются для комментариев. Музыка: "Hitman", "Volatile Reaction" и "Wholesome" Кевина Маклеода (incompetech.com), лицензирована по Creative Commons: By Attribution 4.0, http://creativecommons.org/licenses/b... Всё остальное — наш рисунок. #Математика #ГипотезаРимана #OpenAI #AI #ТеорияЧисл