【数学】ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ [すらいむ★]

数学・ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ

　数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。
　検証は途中だが、京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理的な飛躍）の可能性もある」として、望月氏らと議論を続けているという。

（以下略、続きはソースでご確認ください）

朝日新聞　3/31(火) 13:00
https://news.yahoo.co.jp/articles/7305051a1b2b85772362b2d0ca5de447430d71e1

最近のAI で検証出来ないの?

AIは神ではない

いまさらギャップがあるとか言ってんすかww

へぇ。。
この加藤さんって、望月さん側の人間かと思っていたけれど、そこから疑義が出ちゃうか。
上手く突破できればいいけれどね。

>作業はなお途中だが、加藤氏は「現時点で研究チームが解明できていないポイントがある」と話した。それはIUT理論の根幹を支える定理で、数学的なギャップの可能性もあるとみている。ただ、それが本当にギャップなのか、チームの理解不足なのかについては、まだ判断できないとしている。

証明されないとそれが新たな重要未解決問題になるわけか

>>5
Leanで形式的証明を与えるつもりだったろうにね

別の宇宙作って云々かんぬんだったっけ
相当無理筋な気が……

ABC ABC は～～～ん E気持ち～

AI使って検証するとか言ってなかった？

>>2
記事の国際研究チームがまさにそれ

>>6のポイントと
ショルツェの指摘した系3.12は近いのか遠いのか
弱いABC予想との関係はどうなのか