https://www.kurims.kyoto-u.ac.jp/~motizuki/Explicit%20estimates%20in%20IUTeich.pdf
费马大定理指出x^n + y^n = z^n在n>2时无整数解,该定理在提出357年后才由Andrew
Wiles通过证明谷山志村猜想的特例来完成验证。
上个月8号,京都大学数理解析研究所的望月新一团队给出了费马大定理的第二种证明。东
京工业大学的 Kodai数学期刊已接受了该团队的论文。
望月新一使用的工具是他的"宇宙际泰希米勒理论(简称IUT)",该理论原先被用来证明ABC
猜想,该猜想如果得证,数论中许多重要结果(如费马大定理)的推导过程可被大大简化。
IUT将代数元素与几何元素相结合，在无数“宇宙”之间建立了联系，这些“宇宙”包含
数学工具，使加法和乘法能够在这些宇宙之间自由穿梭。
透过使用增强版IUT，该团队推导出一个关于加法和乘法的特殊不等式并将其合并到费马大
定理的方程式中。随着不等式的未知变量值的确定，他们给出了费马大定理的替代证明。
虽然支持望月的人认为IUT可望成数学家的绝佳工具,然而日本以外的数学界还不打算接受
该理论,因为目前全世界只有大约十个人能完全理解IUT,大部分数学家都看不懂望月在写
三小。
造成IUT难懂原因有:1.该理论跳脱了过往数学框架,几乎是望月原创,所以很难从前人成果
理解IUT。2.望月喜欢使用自创符号和名词如霍奇影院、外星算数全纯结构等,这让论文读
起来十分痛苦。3.望月不喜欢和外界交流,他拒绝出面解说IUT也拒绝接受任何采访。他不
参与社交或娱乐活动,拒绝花费心力在数学以外的事物上。
菲尔兹奖得主Peter Scholze等人曾指出望月论文中 Corollary 3.12 证明结尾的推理存
在致命缺陷。然而望月却表示你们理解的不对。
望月表示:要读懂他的论文，数学研究生需要花十年的时间。英国数论家Fesenko则表示，
就算是算数几何学家也要花500小时才能看懂。
P.S. HTTP之父Ted Nelson怀疑望月新一就是比特币之父中本聪