Японский математик Синъити Мотидзуки согласился объяснить своим коллегам выполненное им доказательство abc-гипотезы – одной из ключевых проблем теории чисел. Мы рассказывали об этом доказательстве в 2013 году, когда с момента его появления прошло полгода, но другие математики так и не могли проверить, верно ли оно. За прошедшие с тех пор два года мировое математическое сообщество не добились особых успехов. Лишь четверо математиков объявили, что они разобрались в сформулированном Мотидзуки доказательстве и подтвердили его правоту.
Сформулированная в 1980-х годах abc-гипотеза устанавливает для тройки взаимно простых (то есть не имеющих общего сомножителя) чисел некое отношение между ними и произведением всех их сомножителей, возведенным в степень, большую единицы. Ее доказательство, если его удастся получить, многие математики считают одним из важнейших достижений века. Мотидзуки впервые объявил об успехе в 2012 году, через некоторое время коллеги смогли найти ошибку в его доказательстве, но японский математик ответил, что ошибка не влияет на конечный результат, а через некоторое время представил исправленную версию доказательства. Но с проверкой и признанием его работы возникли сложности. Дело в том, что Мотидзуки излагает свои доказательства весьма оригинальным и сложным математическим языком, создав новую область математики, названную им «арифметической теорией Тейхмюллера», и вводя множество новых понятий, например, «анабелиоиды», «Фробеноиды» или «театр НФ-Ходжа». Доказательство abc-гипотезы он представил в четырех статьях (1, 2, 3 и 4), которые опубликовал на личном сайте. Общий объем их текста превышает 500 страниц. Позднее из снисхождения к математическому сообществу он вывесил там же «панорамный обзор» доказательства, но и этот обзор оказался очень сложен.
Теперь же Синъити Мотидзуки согласился дать комментарии по поводу своего доказательства в ходе конференции Математического института Клэя в Оксфорде, которая пройдет в декабре. Математик будет отвечать на вопросы коллег при помощи Skype, так как покидать Японию он не хочет. А в июле 2016 года запланирована конференция «Вершины арифметической теории Тейхмюллера» в Киото, где ожидается личное присутствие Мотидзуки.