自動ニュース作成G
数学「ABC予想」新たな証明理論の研究発展させる論文に賞創設
https://www3.nhk.or.jp/news/html/20230707/k10014121791000.html
2023-07-07 18:45:30
＞数学の難問「ABC予想」を証明したとする日本の数学者の新たな理論をめぐって、研究を発展させる論文を対象に、100万ドルの賞金を贈呈する賞が国内のIT企業の創業者によって創設されることになりました。〜具体的には、▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル▽理論の本質的な欠陥を示す論文を発表した最初の執筆者に対しては100万ドルを、
カワンゴやるな。関連『数学者は宇宙をつなげるか？ａｂｃ予想証明をめぐる数奇な物語（前編）』
◆
『数学の難問「ＡＢＣ予想」解明か 望月京大教授、驚異的の声 / 西日本新聞』
◆
・理論の欠陥見つけた人に100万ドルて、日本人の手柄を潰したいのか？
・#1 逆だろ 難解すぎて数学者ですら理解が難しい理論だから証明したくても他の数学者が自分のキャリア潰してまで検証してくれない状況 その状況を打破する為にお金払うから検証してみてって言ってる
・#2 検証しても、間違いを見つけない限り賞金はでない。
・#3 引用も読んでないの？ >▽新たな発展を含む論文を毎年選び、最大で賞金10万ドル
・#4 正しさを証明しても、新たな発展を含まないと賞金はでない。発展さすより欠陥見つけた方が圧倒的に賞金額がでかい。
・#1 理論に間違いがあれば正すべきだし、欠陥がなければ正しさの裏打ちがされるし。 探した結果見つからなくても、発展的な失敗なら評価してもらえる様だし。 誰が損するんだ？
・間違いを指摘するためには超難解なIUT理論の全ての筋道を理解した上で、その間違いを指摘しないといけないのでものすごく大変だろう。「新たな発展」ならば、一部を理解すれば補題のようなものを提唱できるかもしれない。IUT理論はABC予想のスーパーセットのようなものを証明してる筈。応用の一部としてABC予想を証明してる。
・#6 欠陥が見つけらるないことと、欠陥がないことはイコールじゃありません。/#7 正しさの証明にはすべてを理解する必要がありますが、間違いの証明には一部の理解でできます。正しさの証明に賞金出しゃいいのに。
・#8 らるないこと？
・高校生が何か証明したって話を最近聞いたわhttps://www.youtube.com/watch?v=VEtBWHDM9eU快挙！高校生が華麗に証明した数学定理【橋本幸治の理系通信】（2023年6月27日）
・こーいうのはAIでどうにかなったりしない物かね。 ＞難解すぎて数学者ですら理解が難しい理論
・AIが解いたとしても、エレファントな解法扱いになるのかな
・#5 そりゃ否定的な目で見てもらった上で理論に瑕疵が見つからなければ照明されるわけだから、そっち側の人材を求めてるわけよ 否定的な人はそもそも検証してくれないんだから あと、正しさを証明する論文が出たらそれは新たな発展になるってこともわからない？ それに本当に正しさを証明したら恐らく欠陥を見つけた分の賞金も出すと思うぞ
・今回の証明は1＋1＝3のような特殊な仮定(宇宙際タイヒミュラー理論)の上では論理的には正しいはず。しかしそれが普通の1＋1＝2の世界でもなぜ成り立つか聞かれると望月さんは急に数学ではなくポエムを語り出して最終的には認識論の違いとか言い出すからまともな数学者には相手されてないんじゃない。賞金出るならいいけどこれに関わるのは時間の無駄という印象。
・#14 その説明通りなら誰も相手にしていない。及び腰なのは現時点でこの証明にしか使えない様に見えるから、時間を掛けて理解する意義が見いだせないのだろう。だから他に応用出来る事を示せたら金を出すと言う事になったんじゃないかな。
・#15 仮に宇宙際タイヒミュラー理論がこの証明にしか使えなくてもABC予想自体から導けることが山ほどあるので価値はある。ミレニアム懸賞問題と同じ100万ドルならこの証明の欠陥示す方がよっぽど簡単に見えるから案外速く否定されると予想している。
・間違い証明したら100万ドルとなった途端に望月さんや支持派の加藤さんが実は間違えてましたって言い出したら笑えるけど、望月さん本人が否定論文出しても100万ドル貰えるのだろうか？
・宇宙際タイヒミューラー理論はもう概要把握すら諦めた。
・#13 瑕疵が見つからないからと、瑕疵が存在しないことにはならない。んな簡単なことさえ理解してないのか？
・17 もう一人協力者使って否定論文出して山分けすればいいじゃないか
・#19 論文てそういうもんなの知らんの？
・#21 数学の証明はそうではないよ。
・#22 ある程度査読して瑕疵が見つからなければ推定無罪で証明されたってされますよ
・#23 否定を目的にみるのは査読ではない。