【数学】京大教授が数学の超難問「ＡＢＣ予想」を証明　“最も重要な未解決問題”

57 ：ニュースソース検討中＠自治議論スレ：2020/04/10(金) 21:40:19 ID:BlEZxSG1.net

abc予想　英語版 Wikipediaの翻訳
(DeepLによるものをちょっと手直し)
(それにしてもDeepLはむちゃくちゃ優秀だな)

■abc予想を証明したとする主張

Lucien Szpiroは2007年に解法を提案したが、その後まもなく不正確であることが判明した[20]。

2012年8月、望月真一がabc予想の証明を主張した[21] 。
彼は、abc予想だけでなく、スピロ予想、双曲ヴォイタ予想の証明など、数論における有名ないくつかの予想に適用される、ユニバーサル・タイヒミュラー間理論（IUTT）と呼ばれる新しい理論を開発した4つのプレプリントを発表した[22]。
これらの論文は、abc予想の証明を提供するものとして数学界では受け入れられていない[23]。
これは、論文の理解の難しさと長さ[24]だけでなく、議論の少なくとも1つの特定の点が他の専門家によってギャップとして指摘されているためである[25]。
少数の数学者が証明の正しさを保証し[26]、IUTTのワークショップを通じて自分たちの理解を伝えようとしてきたが、数論コミュニティ全体を納得させることはできなかった[27][28]。

2018年3月、Peter ScholzeとJakob Stixは京都を訪れ、望月との議論を行った[29][30]が、相違点は解消されなかったが、相違点をより明確な焦点にあてた。ScholzeとStixは、そのギャップは「...小さな修正では証明戦略を救えないほど深刻なものである」と結論づけた；[31]
望月は、彼らが理論の重要な側面を誤解し、無効な単純化を行ったと主張した[32][33][34]。

2020年4月3日、2人の日本人数学者が、望月氏の主張する証明が望月氏が編集長を務める数理科学研究所の出版物に掲載されることを発表した[2]。

この発表は、Kiran KedlayaとEdward Frenkelによって懐疑的に受け取られ、Nature誌では「多くの研究者が望月氏の陣営に移る可能性は低い」と評された[2]。