Господа, правильно ли я понимаю ситуацию, основываясь на всяких перепевках в Сети? Я слышал, что:
1. Мотидзуки за годы уединенной работы создал свой собственный математический аппарат с кучей неизвестных ранее мировой математике понятий.
2. На языке этого аппарата он изложил доказательство abc-гипотезы или то, что он считает ее доказательством.
3. Чтобы его понять и проверить, нужно овладеть этим аппаратом с самых основ.
4. Это огромный труд, за который никто не берется.
В целом, все так.
Но за эти три года уже объявились четверо человек, утверждающих, что, в общем и целом, въехали в доказательство.
Правда, трое из четверых какие-то подпольщики. По крайней мере, я не встречал в сети их имен.
Зато с четвертым (или первым?), Иваном Фесенко, я даже шапочно знаком лично.