Может ли математика быть неточной? История теоремы, которая верна в Японии, а во всём мире — нет
Почему abc-гипотеза расколола математический мир: 10 лет спора без победителя
Математика — это тихая гавань абсолютной истины. Дважды два — четыре в любой точке Вселенной. Но вот парадокс: существует доказательство объёмом 500 страниц, которое в Японии считают верным, а в остальном мире — ошибочным. И этот раскол тянется уже десять лет.
Речь про abc-гипотезу. Не просто сложную задачу — это фундамент теории чисел. Если её доказать, десятки других теорем (включая Великую теорему Ферма) можно вывести буквально в пару строк. Сформулировали её в 1985 году. Звучит как школьный пример: a + b = c, где a, b, c — целые числа без общих делителей. Но суть глубже: гипотеза связывает сложение и умножение через «радикал» — произведение всех различных простых множителей чисел a, b и c. Она говорит, что этот радикал почти всегда больше c.
Суть abc-гипотезы (на пальцах): если взять числа 1 + 8 = 9, то их радикал (2 × 3 = 6) меньше 9. Это редкое исключение. Гипотеза утверждает, что таких исключений крайне мало, и их можно описать. Доказать это — значит понять глубинные связи между сложением и умножением.
В 2012 году японский математик Синъити Мотидзуки из Киото объявил, что доказал гипотезу. Он создал для этого целую новую теорию — «межвселенную теорию Тейхмюллера» (IUT). Коллеги сравнивали её с посланием из космоса: настолько необычной была логика. Мотидзуки предлагал деформировать понятие чисел, переносить их в абстрактные пространства, где связи между сложением и умножением становятся гибкими.
Гений-затворник и стена непонимания
Вот где начинается драма. Мотидзуки — человек-загадка. Он почти не выезжает из Японии, не выступает на международных конференциях, отказывается упрощать свои идеи. Его позиция: «Приезжайте в Киото и учитесь у меня месяцами». Мир ответил: «Мы не будем тратить годы на теорию, которая может быть ошибочной».
Наука — это диалог. Учёный публикует работу, отвечает на вопросы, защищает доказательство. Мотидзуки выбрал другую стратегию. В 2020 году его статью опубликовали в журнале, главным редактором которого является он сам. Формально всё честно (он не влиял на решение), но доверие рухнуло окончательно.
Немецкая атака и японская оборона
В 2018 году два титана — Петер Шольце и Якоб Штикс — приехали в Токио. Целую неделю они обсуждали с Мотидзуки детали. Вердикт был жёстким: в доказательстве есть фатальная ошибка, конкретно в «Следствии 3.12». «Мы пришли к выводу, что доказательства нет», — заявили они.
Казалось бы, конец истории. Но нет. Сторонники Мотидзуки просто не приняли критику. «Немцы не поняли тонкостей IUT», — заявили они. Возникла абсурдная ситуация: доказательство признаёт лишь небольшая группа японских адептов, а весь остальной мир уверен в его ошибке. Для защиты своей правоты они учредили центр изучения IUT и даже объявили премию в миллион долларов тому, кто докажет их неправоту.
| Подход | Позиция | Аргумент |
|---|---|---|
| Мотидзуки и его группа | Доказательство верно | Критики не осилили теорию, нужно учить IUT с нуля |
| Шольце и Штикс | Доказательство неверно | Логический скачок в Следствии 3.12 не обоснован |
| Остальные математики | Никто не уверен | Невозможно ни подтвердить, ни опровергнуть за разумное время |
Как это работает: почему математики не могут договориться
В нормальной науке доказательство проверяют рецензенты. Здесь же механизм дал сбой. IUT настолько сложна, что её понимают лишь 5-6 человек в мире. Классический подход — «упрости и докажи заново» — не работает, потому что Мотидзуки не идёт на контакт.
Моё личное наблюдение: недавно я общался с молодым математиком, который пытался разобраться в IUT. Он сказал: «Первые 200 страниц я чувствовал себя отлично. Потом начался ад — автор использует термины, которые нигде больше не встречаются, и не объясняет их. Это как читать роман на иностранном языке без словаря».
Машина как третейский судья
Выход может дать технология. Системы формальной верификации — программы, которые проверяют доказательства шаг за шагом с безжалостной машинной логикой. Если перевести 500 страниц IUT на язык, понятный компьютеру, мы получим окончательный ответ. Задача колоссальная — возможно, даже сложнее, чем написать саму работу. Но это единственный способ, когда люди не могут договориться.
История с abc-гипотезой — напоминание: даже в царстве чистой логики правит человеческий фактор. Амбиции, изоляция, нежелание идти на компромисс — всё это может затормозить поиск истины на десятилетия.
Резюме от автора. Забудьте про сухие теоремы. История Мотидзуки — это детектив, в котором нет злодея. Есть гений, построивший башню из слоновой кости, и уставший мир, который в неё не стучится. Истина, скорее всего, где-то посередине, но кто решится пройти этот путь заново? Пока — никто.
