異例の形で1.4億の懸賞金がついた問題がヤバすぎる【数学/ゆっくり解説】

ABC予想っておもしろい！
チャンネル登録はコチラ↓↓↓
/ @hamaru-suugaku
【イラスト】
〇いらすとや
〇ニコニ・コモンズ
〇Pixabay
〇Adobe Stock
【SE】
〇効果音ラボ
【BGM】
〇DOVA-SYNDROME
#ゆっくり解説 #数学 #ABC予想
※正確な情報提供を心がけていますが、知的好奇心を満たせるような面白さやわかりやすさを重視しておりますので、エンタメ数学動画としてお楽しみいただければ幸いです

[@eggmanx100]

ペーター・ショルツェは、ABC予想の証明の中で系3.12（望月の不等式）の論理がおかしいと述べていますね。これに対する望月氏からの具体的な反論はないようです。

[@kacha256]

ABC予想に関して、私が今まで見た中で一番わかり易い解説でした！

[@takek9215]

このわかりやすさはすごい はじめてABC予想が理解できた・・・気がする。

[@tanaka_choco]

軽い気持ちで見始めたけど分かりやすくておもしろかったです

[@山山-y4q]

N≠NP問題は解けましたから、それを踏まえて、 非恒等関係は0, 恒等関係を1, 等号関係を2, 大小関係を3, として 考えるだけ。

[@山山-y4q]

円周率πの整数除算する数が整数個あってζ(x)関数の xが偶数の収束値を評価関数として πを分解してabc問題の関係式の状態を素数が何個使って積の式を造ると、もとのζ関数か他の偶数変数とするζ関数に収束することを証明すれは問題は解けましたとなる。 チャンチャン🎉🎉

[@kaba3889]

リハッQの素粒子物理の動画見てからこれみると、"宇宙際"の話が説明できるとしたらそれは新しい数学にならざるを得ないんだろうなって思う

[@3948-k7z]

0:00　前置き 6:09　abc予想説明 10:52　abc予想考え方 16:14　フェルマーの最終定理説明 18:40　abc予想使ってフェルマーの最終定理証明 23:00　宇宙際タイヒミュラー理論 26:55　締め

[@tortoisebekkou]

18:50 - 19:15 の解説が間違っている。 画面の上半分で「強い」とした命題の語順は ∀abc-triple ∀ε ∃K(ε) ではなく ∀ε ∃K(ε) ∀abc-triple のはずだ。 (そこを直したとしても、それは通常のabc予想であって、「強い」と呼ぶのはふさわしくない) そしてそこから画面の下半分への導出もおかしい。 ただ存在するとしかいっていない K(1) の値を、断りなく K(1)=1 でも成り立つと決めることはできない。 結果として、上と下は別の命題になっているのに、両方を「強い」と呼んでしまっている。 (俗にいう「強い」にあたるのは下半分)

[@aquacrown9654]

新しい便利なライブラリのソース公開して、バグ発見した人に賞金あげるって言ってるみたいな状態か

[@風雅松永]

わかりやす！

[@nemuri38311]

ノーベル賞もミレニアム懸賞問題も、賞金の桁を1つ上げるべきだと思う 利権や世襲、金回しや中抜きで数十億とか数千億とか儲けてる金持ち達がいて 世の中を豊かにしてくれる歴史的な大発見をする科学者や数学者が1億なのはなあ

[@TK-dw5gm]

フェルマーの最終定理で世の中は豊かになったのか？ 3次はともかく4次、5次以上はどう役立つんだ？

[@yaciinneresident909]

ふんわり分かった、解説うますぎｗ

[@GALaxy__777]

掛け算で考えづらいから素数に関わる問題も難しいのかな…

[@zouo-from-Taikonotatsujin]

特殊な数無限にあるか系はめっちゃあるで

[@zouo-from-Taikonotatsujin]

ちなみに素数は無限にある

[@ララトピ]

@@zouo-from-Taikonotatsujinそんな話してないのに知識をひけらかそうとして無理やり割り込むのはダサいよ

[@user-jg1oo7lb4j]

​@@zouo-from-Taikonotatsujin ちなみにで補足するには有名すぎること言ってて草

[@ふふ-l5j]

ちなみにaとbが互いに素なら、ak+b型の素数は無限に存在する。

[@kurolabel-beer]

呂不韋の一字千金の故事みたいなことを数学でやっているのね

[@hiromitsuushio5094]

数学苦手でもわかりやすかったです👍

[@user-tk2gx6u2sj]

ABC予想をマイナス反復性版に焼き直す事は…呆気なく可能であり…その先にゼロ反復性版のABC予想を見据えているのである…

[@user-tk2gx6u2sj]

マイナス反復性の導入で…現行の素数概念そのものが完全に崩壊する破目になる…プラス反復性と併用するゼロ反復性に準拠する素数概念は…さらにややこしい話になる…

[@さっつん-l6m]

有理数は自然数よりランクが高い 積は和よりランクが高い 有理数は積専用 自然数は和専用 自然数を和よりランクの高い積で考えると簡単 和が簡単な世界が欲しいなら自然数よりランクの低い数体系が欲しい

[@Zab_n]

分かりやすいから伸びて欲しい

[@toytoy2012]

前にNHKで観たこの宇宙際の考え方だけど、例えばある数Aがあったとする。 そのAは私達の共通認識では1となっているが、別の共通認識では2や3や100等全ての数字にできるのではないか。つまり1＝2や1＝100等と考えれる。そもそも＝とは難しい考えで、同じ元素からできている人間や動物や植物でも個性があるでしょ。それなら数字も私達が1としているものは1以外としても考えられるよね？ って話だったと思う。数字の概念を自在に変えれるなら様々な証明が簡単になるし、それこそ数学の概念が変わることだから注目された考え方。 その理論を唱えた人自身の言動も相まって、世界の数学会からそっぽ向かれてるけど、もしかしたらただただ天才過ぎるだけで理解できないだけかも。

[@TinamiTakahashi]

「極東の変人」という向きもあるからねえ。 果たしてラマヌジャンなのか、風船おじさんなのか。

[@Useful_Radio]

クオリア(？)みたいなもんやな 同じものを指さして、互いにそれが赤い色をしていると言っても、見ている情景が一致しているとは限らない的な

[@smile-kc2ld]

1が1であるから数学が成り立ってる。そんなちゃぶ台返しをした先に何があるのかを示せないと、その主張に意味があるとは思えないけど…

[@関暁夫尊師-t8z]

1が1でない世界では小泉進次郎氏は偉大なポエマーだった

[@ammmamaaamaam]

多分俺らが言葉で言えるような理論じゃねぇ

[@af5995]

これはいいおかねのつかいかた

[@p0kMNyziCA-o5r]

5:00 早速分かりやすさを重視した不等式

[@エルポ]

わかりやすさ>厳密性

[@ussee-ussee-usseewa]

@@エルポ最初はそれでいい

[@nazo_no_message]

⁠わかりやすい説明でわかった気になるの気持ちいいから仕方ない。

[@ussee-ussee-usseewa]

@@nazo_no_message 誰も分からないような難しい言葉遣いで延々と話して気持ちよくなってるやつよりゃいい

[@keigokawamura684]

数学の話はとても面白くて好きだけど、 凡人である自分には解ける自信が全くない。 チャレンジする気も起きない(笑)

[@aozora1003]

それでええんやで。

[@yusukesasaki7811]

普通にプレゼンが上手い

[@p0np0np0nta]

ど素人の意見だけど 12:09の下の例(a, b, c) = (6, 10, 16)はa,b,cが互いに素でないから例として不適切なのではないでしょうか。

[@ねこのみや-k7l]

厳密性よりもわかりやすさにしてもあまりにも雑すぎるな

[@184a-xx8km]

足し算と掛け算どっちが強いかの説明だからそこはどうでもいいと思う 互いに素で説明した方が良いとは思うけど

[@貘魁]

私の頭では無理。 しかし、アインシュタインの大ジャンプDを加えれば解けるかも？

[@後端]

これわかったんやけどどうやって応募すればいいん？調べても出てこん。

[@OverWatch6]

100万ドルって正直安い気がする。 国家単位のプロジェクトで1000億くらいあってもいい気がする。 10人で共同で取り組んでも1人1000万は安すぎる気がする

[@駄犬-q1j]

何基準でやすいって言ってんの？

[@OverWatch6]

@@駄犬-q1j 惑星探索とかの国家プロジェクトとの予算の差ですかね？ この動画でも仰っているように宇宙際タイヒミュラー理論の真偽の確認ができ一般にも普及するようになると現在の数学や物理学などに大きなメリットがあると思います。そこで、機材代や材料代かがいらないという話もあると思います。しかし、やはり国家プロジェクトとして予算をきちんと大きめの予算（100億とか）（正直1000億は誇張しすぎました。）を用意して大勢の研究者が共同でこの問題を取り組めるだけの環境を本気で整備するべきだと考えたからです。 　100万ドルを個人が出すことは学問への貢献として、素晴らしいことなのです。一方100人の天才が協力してこの問題を解決したとしたら1人の報酬が100万円ほどになってしまうと考えると安いのではないかなって考えました。

[@mentosukoala]

研究費としては安すぎるね。しかも成功報酬だから失敗した研究には支払われないという。

[@mentosukoala]

トヨタの研究費は年間1.2兆円。 東大卒の平均年収は約1000万円で、人件費は給与の2倍かかるといいますから、東大卒を雇って7年研究したときにかかるのが100万ドル。

[@mentosukoala]

東大卒は日本に10万人以上いる。世界には東大ランク以上の大学が30も40もある。 一方、数学のミレニアム問題は世界に数十人しかいないレベルの数学の天才たちが数十年かけて解けない難易度。

[@あけあさ]

急に現れた車で表すなら、 望月さん「これが車だ！」 数学者達「どういう構造なの？」 望月さん「ガソリンで動くんだ！」 数学者達「いやだから構造を・・・」 望月さん「動くんだ！」 数学者達「・・・」 って状況みたいね 数学者達はエンジンの構造から細かいところまで調べて安全性(確からしさ)を確認しようとしている が、望月さんは細かい説明が出来ていないので、エンジンが搭載されているのかは不明な状況 望月さんがラマヌジャン的な天才なのか、それともただのほら吹きなのかは分からないが説明できないので相当不利な状況のようだ 数学者達は定理において一切の綻びを許さないので、慎重になるのも分かる １つの定理が崩れることで、その後に積み上げたものが全て崩壊するからだ 数学は否定出来ないから、なんて事では認められない世界 フェルマーの最終定理であれば、成り立つ式が見つからないなら正しい！という身も蓋もない方法で証明だと言い張ろうとしてるのと同義 例え欠点が見つからなくてもそれは証明にはなり得ないので、素人を除いては興味は示さないだろうね・・・

[@AA-gg6qw]

数学初心者ぽい考え方。正しいことの証明は大変でも間違っていることの証明は反例を一つあげればいいみたいに、この賞金の狙いは「間違っていることを示す」ことにインセンティブを与えることだろう。

[@F博士-r9j]

なんか違くね。 前提として望月さんは他の数学者とは一線を画すようなところもある。めちゃすごい。 説明できないというより、説明はしてるけど難解すぎて理解できないというところが大きいんじゃね。宇宙祭とか全く新しい数学の世界だし。証明は本にもなってるし。 あと、数学は否定できないということで認めないってわけでもなくて、数学者は否定できないことを一般性を持たせて証明して認めるような人たちじゃないかな。証明方法はいろいろあるし。 適当に言いました。宇宙祭とかもちろんわかりません。まあ望月さんが間違っててもほら吹きではないかな。

[@あけあさ]

@@F博士-r9j ちょっと調べてみ 数学界ではあり得ないくらいぶっ叩かれまくってる 他の学界では足の引っ張り合いが多い 生物学界でのstap現象は記憶にも新しくが、ハーバード大がほぼ同一理論にて特許を取得 物理学界だと常温核融合を唱えた人の末路が有名だろうか 古くは地動説や大陸移動説を唱えたひとも迫害されてきた 数学界でも宗教絡みのいざこざはあるが、それ以外は証明が全ての世界で差別が少ない 逆に数学界以外は「確実なもの」から積みあげた理論ではないから、１つの新発見が全ての理論を崩壊させうる為、その新発見を潰そうとする勢力が必ず現れる 望月さんなどの宇宙際タイヒミュラー理論は現状「全く証明されていない不確定定理」でしかないので、数学界を破壊しようとしてる異物として排除されかかってるってのが現状なんだろうね…

[@user-uo8vh3mi3v]

​@@F博士-r9j証明したぜ！って彼が言った時に著名な数学者複数人が望月氏に〜はどういうことですか？、これって間違ってんじゃないですか？ みたいな質問状だとか論文とか出したら、望月氏がその修正とか反論した論文でめちゃくちゃ皮肉を入れて、感情的に書いてしまったんだよね。 内容については一切分からないけど、やっぱり修正出来たものでは無かったとか。 結局、その件で望月氏は修正もできてないし論文に感情を入れ込んでいてダメだなってほかの数学者から見限られて、でも当の本人は解決したとしてるから完全な停滞が始まってしまったんだよね。 理論を提唱するなら説明責任は伴うし、そうじゃなきゃ正しく「机上の空論」だよなぁ。

[@古代扇風機組皇帝USB]

バカと天才は紙一重とはこの事 まあバカではないが

[@Useful_Radio]

正しいとして証明されたものの欠陥を見つけたら賞金というのは、数学好きでもなければやらないよ。 欠陥が見つからず、寧ろちゃんとした理論だったって分かったところで何も貰えないんだから。

[@ussee-ussee-usseewa]

つまり反対してる人はそれほどの熱量だったというだけ、そもそも数学好きレベルで理解できる話じゃない

[@Useful_Radio]

@@ussee-ussee-usseewa より多くの人にこの理論を触れて欲しいとするなら「よりわかりやすい形式で書き直した者」に賞金を与えるべきだろうに、徒労に終わる可能性が高い「欠陥を見つけた者」に賞金を与える行為は、目的達成とは相反した方法だと思うんよ。 歪んだ見方をすれば「当人がこの理論を気に食わないから他人にでも欠陥を見つけさせて破綻させようとしている」ように見えるんよ。

[@Challengersbehindtheglory]

サムネの は? っての正直鬱陶しいからやめた方がいいと思う

[@聖火台-u6f]

殆どの動画には？ってあるのは流石に草

[@latex8401]

望月教授が嫌いそうな動画

[@けいちゃん-f9t]

大学（rims）にとっては「集合論」として正しいけど、 数論として正しいかは別ということだと私は思っている。😢

[@坂上陰三]

査読と言ってもなあ…

[@Polarstern_G]

ちょっと調べればわかることだけど、世界的に認められていないからいまだに「予想」のままなのでは。

[@アレン-o1f]

認められてるから予想なんやで 予想っていうのはほぼ正しいと認識されていると言う意味なんよ 証明が終われば定理になる 例外はフェルマーの最終定理ぐらいやな あれは予想の段階で定理と呼ばれてた

[@ふらんすぱん-b5e]

@@アレン-o1f認められてないってのは、ABC予想自体じゃなく、これの証明についてのことじゃないの？証明が世界的に正しいと認められてるなら予想じゃなくてすでに定理になってるって事をコメ主は言いたいんじゃない？

[@magna2902]

逆も然り、証明されたけど、予想の名前が有名すぎてそれで染み付いてるのがある。 有名なのは、谷山・志村予想。 これは証明されて現在はモジュラー性定理と呼ばれてたりするが、、

[@user-faw4ifasa17d]

認めなかったのはフィールズ賞のおっさん2人だっけか　望月教授に批判的に指摘して予想は予想のままって小論文で否定して望月教授にそれお前らが理解できてねえからじゃねえかってブチギレた反論して数学界もどっちが正しいかわかんねえしキレてる方に引いて触れないまま平行線になったままって感じ　ABC予想は予想のままっていう小論文を否定しないといけない　つまりそれをもとに宇宙際タイヒミューラー理論を否定しろってミッションって事やね　掛け算と足し算を別宇宙（数学の土台であり単なる集合の比較）に分離するって理屈を否定する　この難易度は数学全部理解してからって話なんだろうさ

[@sweet_shrimp]

細かいけど、フェルマーは数学者じゃなくて裁判官だったような 数学は趣味だったよね

[@セイゲドン]

普通に数学者・裁判官という肩書きで良いんじゃない？ タレント・俳優・歌手・KZbinr的な肩書きを持つ最近の芸能人みたいなノリで

[@tapuneko]

abc定理に欠陥はありませんでした

[@ああ-b8k1g]

欠陥がない理由教えてください😊

[@OverWatch6]

@@ああ-b8k1g このコメ欄で説明求めるのは鬼畜の行為で草 絶対に理由説明しても最後まで読まないだろ そして理解もできんやろ 俺はできん

[@mofumofu-u8c]

欠陥がない理由を述べるには余白がうんぬん

[@ふむふむ-r6u]

😪

[@shikaishik]

100人が毎年チャレンジしたら、期待値年間150万円みたいなものです。コンビニバイトより年収低くないですか？

[@ねこのみや-k7l]

別にそれ以外に収入あるだろうしなあ

[@shikaishik]

@@ねこのみや-k7l 本業として集中してチャレンジ出来る人は限られるということですね

[@駄犬-q1j]

じゃあコンビニバイトやれば？お前にある権利はやるかやらないかだけで文句を言うことでは無い

[@shikaishik]

@@focacc 賞金稼ぎで手を出す人はいるでしょうね

[@Bird.jp_Love-English-Fixes-plz]

仮定がそもそも意味不明だし、挑戦者の能力差を無視して勝つ確率を均して期待値を計算することに何の意義があるの

[@ひ岩]

サムネ間違っとらん？ABC予想の欠陥探せたら1.4億円とは言ってなくない？動画の中で説明ちゃんとしてるのに、サムネが変

[@ysato3133]

宇宙際の部分しか説明してなくて草。タイヒミューラーの説明はスルーw

[@zeldina-h3m]

「タイヒミュラー」は単に人名だからねぇ まとめると「タイヒミュラーさんの考えた理論（タイヒミュラー理論）を発展させ、宇宙同士を繋ぐ形の物にした理論」らしいが ただし大元の「タイヒミュラー理論」からして素人にはちょっと理解できる類の代物ではないと

[@ysato3133]

宇宙間の情報の移動や、ある宇宙から情報を取り出す道具として、タイヒミューラー理論を発展させて使っている、ぐらいの説明があってもよかったかと。 さらに、情報のやり取りには誤差が伴い、その誤差をある値以下にできるから道具として使えるようになったとか、の説明があっても怒られないと思うんだよね。 @@zeldina-h3m

[@クカなんよ]

雑すぎる。あまりに質が低い