Гипотеза abc: как одно доказательство раскололо математиков

Математика кажется наукой без страстей. Формулы — строги, доказательства — беспристрастны. Но только не история с гипотезой abc.

Что такое гипотеза abc

🧩 Гипотеза abc говорит об удивительной связи между сложением и умножением целых чисел. Если a + b = c, то произведение всех разных простых делителей этих чисел обычно оказывается сильно больше самого c. Это звучит просто, но из неё вытекает куча других великих теорем — включая короткий путь к великой теореме Ферма.

Доказательство гипотезы abc: 500 страниц, которые никто не понял

🔬 В 2012 году японский математик Синъити Мотидзуки заявил, что доказал гипотезу abc. Но доказательство было не просто длинным (500 страниц) — оно строилось на его собственной теории IUT (межвселенской тейтчмюллеровской теории), которую не понял почти никто. Только его ближайшие ученики в Киото говорили, что всё работает.

Фатальная ошибка: как спор вокруг гипотезы abc вышел на мировой уровень

🔥 В 2018 году два тяжеловеса мировой математики — Петер Шольце и Якоб Штикс — приехали в Токио, разобрали доказательство, и заявили: в нём есть фатальная ошибка, особенно в ключевом следствии 3.12. Но команда Мотидзуки ответила, что это «непонимание сути». Конфликт вспыхнул по полной.

📄 В 2021 году, несмотря на разногласия, работа Мотидзуки была опубликована в журнале, главным редактором которого он сам и является.

Новый игрок: Кирти Джоши между двумя лагерями

🧩 Казалось бы, конец истории. Но в 2024 году на сцену вышел Кирти Джоши, сказав: оба лагеря ошибаются. Он предложил дополнение к доказательству, устраняющее пробелы. По его мнению, гипотеза abc доказана, если принять его уточнения. Мотидзуки назвал это «глубоко ошибочным».

Кто прав в споре о гипотезе abc

🧠 Кто прав?
Мировое математическое сообщество в основном склоняется к позиции Шольце: ошибка есть. Но Киото держит оборону. Джоши стоит между ними, предлагая «мост» — но, похоже, никто не хочет по нему идти.

🤖 Спасение может прийти от машин: формальная верификация (AI, Coq, Lean и др.) способна разобрать любое доказательство шаг за шагом — без эмоций. Но формализовать IUT почти так же сложно, как придумать её.

Математика остаётся человеческой

💬 Вывод? Даже в мире строгой логики математика остаётся человеческой. Где есть гении — там будут и амбиции и споры. А может быть, именно это делает её живой.

Источник: Earth.com / Joseph, 2025