>>2
望月博士が証明に使った理論IUTは望月博士のオリジナルでその枠組み自体が問題になっている。

個別の議論はかなり細かい話で、正直俺もよくわからない。

広い意味の圏論の更なる一般化なんだが、その内容の理解が望月博士と反論を出している数学者で違っていて、
反論している人たちははっきり言えば誤魔化しだと思っているし、望月博士はIUTを誤って理解していると思っている。

フェルマーの定理の証明が典型だが、大雑把に言えば、Aという分野の証明をBという分野の法則で行うという話なので、
細かな内容についてしっかり反映できているのかとか、あっちの分野でそう言えるということが本当に元の分野での証明になっているかとか中々難しい。