>>227
最新状況は以下の通り(以下は「事実」であるはずなので、賛成とか反対とか無関係に同意いただけると思っている)

今月12月に、共著論文でIUTによってABC予想を完全に証明したとする論文が出た
ただし、ある数学者からはCor 3.12を仮定していると指摘されている
Cor 3.12の証明に納得していないとScholzeが述べて以降(つまりScholzeが今年の4月頃にある瑞lのブログのコャ＜塔gで触れて�ﾈ降)、Cor 3.12の証明は追記、書き直しされていない
よく知られているように矛盾からは何でも証明できるので、仮に「Cor 3.12が誤っていて、その上でCor 3.12が正しいと仮定した」場合、ABC予想をもちろん含む全ての命題を証明できる
したがって現状IUTが正しいかは分からないということになる