ИИ развил прорыв в гипотезе Римана. Его никто не читал.

Описание: 📬 Бесплатный еженедельный обзор ИИ и математики → https://ademb10.com/?ref=riemann-conf...

Через шесть дней после того, как ИИ OpenAI доказал более слабую версию гипотезы Римана, второй ИИ, AxiomProver, построил доказательство для каждого числового поля, и Lean проверил каждую строку. 28 октября Максим Радзивилл заявил в аудитории Нью-Йоркского университета: «Никто не читал доказательство». Неделю спустя топологи Джон Болдуин и Стивен Сивек основывали на нем теорему и должны были решить, как ее назвать. В их резюме говорится «первое безусловное доказательство». В основном тексте — «условное». Попутно Радзивилл объясняет, почему эксперты пропустили первое доказательство: новейший инструмент в нем был его собственным, а остальное лежало там десятилетиями.


⏱ Разделы
0:00 Доказательство, которое никто не читал
0:48 Второй блок: то, которое читали люди
1:31 Почему эксперты его пропустили
3:19 Третий блок: второе доказательство
4:14 Четвертый блок: является ли эта фигура сферой?

4:46 Что они написали

🔗 Источники
Максим Радзивилл, «Квази-римановская гипотеза», NYU Courant, 28 окт. 2026 г.:    • Maksym Radziwill | The quasi-Riemann Hypot...  
Статьи OpenAI (7/8 и 11/12): https://github.com/openai/math
Quanta, «ИИ доказал квази-римановскую гипотезу. Что произойдет теперь?»: https://www.quantamagazine.org/ai-pro...
Кьюретон и Торнер, «Квази-римановская гипотеза для дзета-функций Дедекинда» (AxiomProver): https://hexagonmath.org/2610.00200v1
Формализация Lean: https://github.com/AxiomMath/Dedekind...
Болдуин и Сивек, «Проблемы принятия решений на 3-многообразии и гипотезы Римана»: https://arxiv.org/abs/2611.06705
Фрай, Софос и Видмер: https://arxiv.org/abs/2610.18491
Данн и Радзивилл, «Смещение в кубических суммах Гаусса: гипотеза Паттерсона»: https://arxiv.org/abs/2109.07463
Дж. Брайан Конри, «Гипотеза Римана», Notices of the AMS, март 2003 г. (отчет о докладе Иванеца 2002 г.)
Технологический институт Джорджии о рецензии Александра Данна: https://sciences.gatech.edu/news/dunn...

О формулировке: «Никто не читал доказательство» — это фраза Радзивилла из его выступления 28 октября. Кьюретон и Торнер руководили работой AxiomProver и выносили математические суждения; AxiomProver генерировал доказательства и формализацию Lean. Болдуин и Сивек написали 4 ноября, что «нам не ясно, понял ли кто-нибудь из людей доказательство». Результат 11/12 еще не проверен в Lean; версия 7/8 проверена.

🎙 Благодарности
Голос Максима Радзивилла: семинар Института Куранта Нью-Йоркского университета «Математика в эпоху ИИ»,    • Maksym Radziwill | The quasi-Riemann Hypot...  , короткие отрывки для комментариев. Фото Максима Радзивилла: Петра Лейн (Обервольфах, 2013), CC BY-SA 2.0 de, через Wikimedia Commons.
Музыка: "Hitman", "Volatile Reaction" и "Wholesome" Кевина Маклеода (incompetech.com), лицензировано по Creative Commons: By Attribution 4.0, http://creativecommons.org/licenses/b...
Всё остальное — наш рисунок.

#AI #Math #RiemannHypothesis #Lean #OpenAI