ABC予想の証明 検証プロジェクト結論見通し立たず

ABC予想の証明 検証プロジェクト結論見通し立たずnbspnbspNHKニュース数学難問ABC予想望月教授の証明の問題点絞り込めた ZEN大学nbspnbsp日本経済新聞IUT理論のコンピューターによる検証を目指すLANAプロジェクト Project LANA Interim Report on IUT Theoryを公開nbspnbspPR TIMES数学ABC予想の証明にギャップ 続く検証コード化道半ば朝日新聞nbspnbspYahoo!ニュース数学の難問ＡＢＣ予想巡る望月新一教授の証明検証チーム不明瞭な点があると中間報告nbspnbsp読売新聞