京都大学・望月新一教授のIUT理論をLeanで検証するLANAプロジェクトが、2026年7月17日、中間報告書を公開しました。ABC予想の証明を左右する「定理3.11から系3.12」の飛躍について、LANAは正否を断定せず、論点を数式一本にまで絞り込みました。2018年のショルツ氏の批判との関係や、望月氏側とのLeanを介した対話開始にも触れ、静かな緊張感の続く数学最前線の現在地を伝えます。
〇Project LANA Interim Report on IUT Theory（2026年7月17日更新）
https://github.com/katobungen/LANA_report_202607/blob/pdf/LANA_report_202607.pdf
〇IUT理論のコンピューターによる検証を目指すLANAプロジェクト、「Project LANA Interim Report on IUT Theory」を公開（2026年7月17日）
https://prtimes.jp/main/html/rd/p/000000090.000136051.html
#IUT理論 #ABC予想 #望月新一 #LANAプロジェクト #Lean #形式化 #定理証明支援系 #数学 #数論幾何学 #遠アーベル幾何学 #ホッジ劇場 #Θリンク #ショルツ #ジェイコブスティックス #ZEN大学 #ZMC #加藤文元 #証明検証 #計算機科学 #現代数学 #数学者 #京都大学 #数理解析研究所 #数学翻訳家 #数学の翻訳家
感想
まだ感想はありません。最初の1件を書きましょう！
スクロール