数学の難問「ABC予想」の証明に用いられた「宇宙際タイヒミュラー（IUT）理論」を検証する国際プロジェクトチームは17日、中間報告を発表し、理論の一部に「不明瞭な点がある」と指摘した。現時点では理論の正否について結論を出していない。
検証プロジェクトの概要
プロジェクトは、通信制大学「ZEN大学」（神奈川県）の加藤文元教授（代数幾何・数論幾何）ら数学者5人を中心に、2024年9月に本格的に開始された。検証では、理論を導き出す際に二つの手法で得られた実数の比較を巡り、証明に不明な点が浮上したという。
加藤教授は記者会見で、「我々の言葉で明示的な問いの形で表現できるようになっただけでも重要な進展だ。中立的に開かれた形で検証を続けたい」と述べた。チームは望月新一教授と議論を継続し、1年をめどに次の報告を行う予定。
—
今後の展望
この中間報告は、IUT理論の検証プロセスにおける一里塚と位置づけられる。理論の正しさが確認されれば、ABC予想は解決することになるが、現段階ではさらなる検討が必要とされている。
