数学のＡＢＣ予想、機械で検証へ

拡大する

　記者会見する加藤文元ＺＥＮ大教授＝３１日午後、東京都中央区

　私立のオンライン大学「ＺＥＮ大」（本部・神奈川県逗子市）は３１日、数学の難問「ＡＢＣ予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Ｌｅａｎ（リーン）」を使って検証するプロジェクトを開始したと発表した。オランダやカナダの大学と共同で取り組む。今年７月に中間報告を行う。

　望月氏の論文は２０２１年に同研究所が編集する国際専門誌に掲載されたが、現在でも理論の正しさを巡って世界の数学者の間で意見が分かれている。

　ＡＢＣ予想は、整数の足し算とかけ算の関係にまつわる予想で、１９８５年に欧州の２人の数学者が提唱した。