知识/定理
望月新一（2012）声称证明 ABC 猜想（宇宙际 Teichmüller 理论），但未被学界公认。
公式
ABC 猜想：对 $\gcd(a,b,c)=1,\ a+b=c$，$c<\kappa\operatorname{rad}(abc)^{1+\epsilon}$。
证明思路
以「宇宙际 Teichmüller 理论」（跨范畴的加乘分裂）构造证明，晦涩难解（数百页自创语言）。
应用/例子
若真则费马大定理、莫德尔猜想等大量结论瞬间推出。
意义/影响
21 世纪最受争议的证明；「可复现/可核验」成为数学社区面对现代巨证的关键词。