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懷疑望月新一就是比特幣之父中本聰