記者会見する加藤文元ＺＥＮ大教授＝３１日午後、東京都中央区
私立のオンライン大学「ＺＥＮ大」（本部・神奈川県逗子市）は３１日、数学の難問「ＡＢＣ予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Ｌｅａｎ（リーン）」を使って検証するプロジェクトを開始したと発表した。オランダやカナダの大学と共同で取り組む。今年７月に中間報告を行う。
望月氏の論文は２０２１年に同研究所が編集する国際専門誌に掲載されたが、現在でも理論の正しさを巡って世界の数学者の間で意見が分かれている。
ＡＢＣ予想は、整数の足し算とかけ算の関係にまつわる予想で、１９８５年に欧州の２人の数学者が提唱した。
おすすめニュース
-
国際
-
2026/04/05(日) 21:04
【独自】中国原発、施工ミス頻発
-
速報
-
2026/04/05(日) 21:03
中国の原発建設で施工ミス頻発、２００件超
-
速報
-
2026/04/05(日) 20:57
病院敷地の男性死亡事件、車２台関与か
-
国際
-
2026/04/05(日) 20:51
ローマ教皇「武器より平和を」
-
政治
-
2026/04/05(日) 20:27
「予算成立より審議時間重視を」
-
政治
-
2026/04/05(日) 20:27
高年層７０％が「改憲不要」
-
政治
-
2026/04/05(日) 20:27
原油供給対応６３％が「不十分」
-
政治
-
2026/04/05(日) 20:19
中東情勢、影響懸念８９％
-
政治
-
2026/04/05(日) 20:03
京都府知事に西脇氏の３選確実
-
速報
-
2026/04/05(日) 20:03
京都府知事選、現職西脇氏の３選確実
-
暮らし・話題
-
2026/04/05(日) 20:02
大阪のちんどん屋が優勝
-
政治
-
2026/04/05(日) 19:07
立民大阪府連代表に辻元氏
