私立のオンライン大学「ZEN大」(本部・神奈川県逗子市)などの国際共同研究チームは17日、数学の難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論について、「過程に不明瞭な点がある」と指摘した中間報告を公表した。証明の正否は「判断を保留する」とした。数学の証明支援ソフト「Lean(リーン)」を使った検証を今後も継続するという。
望月氏の論文は2021年に同研究所が編集する国際専門誌に掲載されたが、理論の正しさを巡って世界の数学者の間で意見が分かれている。
リーダーを務めるZEN大の加藤文元教授は同日の記者会見で「証明が得られたと言う立場にないが、同時に理論が決定的に破綻していると断定する立場にもない」とした。一方、検証で課題となるポイントは以前より絞り込めたとの認識を示した。
ABC予想は、整数の足し算とかけ算の関係にまつわる手法で、欧州の数学者が提唱した。望月氏の理論は独特な表記方法などを駆使しており、数学者の間でも「理解できない」「誤りがある」などの指摘がある。
おすすめニュース
-
経済
-
2026/07/17(金) 19:17
先端技術、中国に輸出せず
-
経済
-
2026/07/17(金) 19:17
国家公務員、評価でボーナス加算
-
市況
-
2026/07/17(金) 19:05
為替相場17日(日本時間19時)
-
国際
-
2026/07/17(金) 19:05
靖国合祀「取り消しを」
-
社会
-
2026/07/17(金) 18:58
生活保護費、追給受付へ
-
政治
-
2026/07/17(金) 18:53
れいわ代表選、3氏立候補
-
社会
-
2026/07/17(金) 18:53
12歳に性暴力、懲役6年6月
-
速報
-
2026/07/17(金) 18:51
佐賀区間建設費、長崎県の負担求め協議へ
-
国際
-
2026/07/17(金) 18:47
香港火災、政府の監督責任に注目
-
経済
-
2026/07/17(金) 18:41
九州新幹線、来年度アセス
-
社会
-
2026/07/17(金) 18:41
台船女性首絞められ窒息死
-
速報
-
2026/07/17(金) 18:39
衆院、特別国会の会期延長を議決