В августе 2012 года японский математик Синити Мотидзуки опубликовал серию из четырех работ, в которых заложил основы арифметической теории пространств Тейхмюллера. Главное, впрочем, не сама теория, а сфера ее применения — с ее помощью можно доказать (что Мотидзуки и делает в четвертой работе) знаменитую ABC-гипотезу, одно из самых важных утверждений в теории чисел последних лет. Первые отзывы о работе появились только сейчас, в середине сентября 2012-го года, и в них сквозит осторожный оптимизм: явных дырок в доказательстве не найдено, специалисты приступили к более детальному разбору работы. Насколько затянется такая проверка, пока сказать трудно (в общей сложности теория Мотидзуки изложена на более чем 500 страницах текста) — речь может идти о нескольких годах. Однако дело того стоит.