【数学】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予想との関係はどうなのか

今は人間だけでなくコンピュータ（AI)も参加して証明が正しいか検証するのね。
理想的な共同ワーク。

京大の望月派が加わっての議論でも解消されず、公式発表となったのだから、証明の見直しが必要な可能性は結構あると思う。

加藤先生やZEN内部から動きが出てきたのは良いことやね

ABC包囲網が形成されたか。１.４億円の賞金欲しさに名うての賞金稼ぎが集結か。

数学者って重要な発見するのだいたい20前後からせいぜい30半ばだからなあ

SFでしょ

もっと分かりやすい論文書いてね。
でいいじゃん。

ギャップがあるってつまり

検証チーム「『 〇ならば△』ってなぜそうなるのか？飛躍してない？」
望月教授「いや自明でしょ」

みたいなことだろうか

zfcじゃねーからなw
zfcuかつ失敗してんのがIUT

>>9
涅槃で待つ

検証チーム「数学におけるフロベニオイドを平手友理奈、外部ガロア作用を秋元康に置き換えてますよね。これは何ですか？そもそもどこの別宇宙です？」
望月教授「自明だろ」

リーマン予想のリーマンゼータ関数の零点が負の偶数と実部が1/2の複素数に限られる
なんでそうなるかというと宇宙がそうなるように演算しているってnoteで読んだ
複素数や虚数が生まれるとタキオン粒子とか存在してはいけないものが創発されるだってさ

数学と将棋は似ているのかな？
若い盛りを過ぎると急に脳力が落ちる

フィールズ賞受賞者に論理の飛躍を指摘されてまともに反論できなかった時点でもう詰みだろ

チョンカスドワンゴはleanのギャップを人力で解いちゃってもいいんすよw

理解者なんだろワラヒw

確かに、「始めました」とか「解き明かしました」ならわかるが
「始めて１年半経ちました」って変な発表だな
そんなんわざわざ発表する意味ある？

主人がオオアリクイになんだろ

理解者誰もいませんでしたってオチ？w

ハッタリかまして抜いてきた税金どうすんの？

オマエラ

>>28
この朝日の記事にはなぜか書いてないんだけど
理解せずに書いているからだろうけど
日経の記事によるとショルツのLeanプロジェクトチームにいた

>ZEN大学やオランダのユトレヒト大学などは31日、コンピューターを使って数学の難問の検証を目指す国際共同研究を始めたと発表した。
>Leanは13年に登場したプログラミング言語で、数学の定理を証明するのに使われている。22年にはLeanを使って現代数学の高度な議論を検証するプロジェクトが完了した。この研究計画の開始を呼びかけたのはショルツ氏だ。
>今回のLANAプロジェクトには、ショルツ氏のプロジェクトで中心的な役割を果たしたユトレヒト大のヨハン・コメリン助教や、カナダのアルバータ大学のアダム・トパーズ准教授が参加する。加藤所長は「世界一のメンバーを集めたと自負している」と意気込む。

も参加するようだ

ショルツのプロジェクトはLiquid Tensor Experimentって奴で
自身の液体ベクトル空間理論の定理9.1の形式的証明
自分でも正しいか自信が持てなかったが形式的に証明した
もう4年近く前の話

特定の立場に偏らずと断ってるのはショルツの仲間が参加しているためだろう
参加者が増えた新プロジェクトの目的そのものだから
加藤文元所長がギャップがあると思っている事に自身が持てなかったから始めた、というところだろうか

>>12
7月に発表だって
中間報告と言っても
加藤文元プロジェクト的には最終発表なのではないか
望月との対話はギャップをどう埋めるかなのではないか

>ZEN大学ZEN数学センター（ZMC）の加藤文元所長らは23年にIUT理論を研究するプロジェクトを立ち上げ、24年から本格的に研究をはじめた。加藤所長は「（IUT理論について）議論に不備の可能性があるポイントは押さえた。望月氏との対話も続けたい」と話す。7月17日に中間報告会を開き、研究成果などを公表する考えだ。