数学の難問「ABC予想」 国際研究プロジェクトが新手法で検証

数学の難問「ABC予想」を証明したとする日本の数学者の理論について、数学者の間で意見が分かれていることから、各国の数学者でつくる国際研究プロジェクトは、コンピューターのプログラミング言語を使った新たな手法で検証を進めていることを明らかにしました。

「ABC予想」は、世界の数学者が証明を試みてきた難問で、5年前に京都大学数理解析研究所の望月新一教授が、自身が構築した新たな理論を使って証明したとする論文を発表していますが、前提となる概念から独自に作り出されているため、証明が理解できないとする数学者もいて、研究者の間で現在も議論が続いています。

この理論について、通信制大学「ZEN大学」などでつくる国際研究プロジェクトは31日会見を開き、数学の証明を支援する「Lean」と呼ばれるプログラミング言語を使った新たな手法で検証を進めていることを明らかにしました。

プロジェクトでは、英語や数式で書かれた望月教授の論文を、コンピューターが認識できるプログラムに書き換えることを目指していて、実現すれば、理論の正否を客観的に検証することにつながるとしています。

日本やアメリカ、カナダなどの数学者が参加していて、メンバーの1人で「ZEN大学」の加藤文元教授は「理論をめぐる論争に終止符を打とうと世界中から強力なメンバーを集めて議論を重ね、検証の土台を築いてきました。この挑戦で新しい数学研究の地平を切り開くことができると信じています」と話していました。