【数学】審査に７年、難問「ABC予想」論文が掲載　京都大の望月教授が証明 [すらいむ★]

難問「ABC予想」論文が掲載　京都大の望月教授が証明

　30年以上にわたり未解決だった数学の難問「ABC予想」を証明した京都大数理解析研究所の望月新一教授の論文が、同研究所が編集する国際専門誌「PRIMS」の特別号電子版に4日付で掲載された。

　難解な論文は査読者も理解に時間を要したとされ、審査に7年半かかった。
　内容に懐疑的な海外の数学者もいるが、編集に携わった同研究所の玉川安騎男教授は「反論は出尽くしており、今後も平行線のままではないか」との見方。
　「若い研究者が本腰を入れて論文を読み、改良、一般化、応用などの後続研究が現れてほしい」と期待した。

　ABC予想は、整数の足し算と掛け算の関係にまつわるもの。

共同通信　3/5(金) 15:37
https://news.yahoo.co.jp/articles/a077adc8b708393b6b968c0a4993eaa8ab27f371

>>17
ムズカシスギテ理解に時間がかかるためまともに読んでる数学者が少ないのが原因
相対性理論と同じ

>>1
おめでとうございます

>>13
無理だろ

>>49
ジジイwww
80代？

>>52
ｗｗｗ　バカすぎｗｗｗ　そんな天才5ｃｈにいたら7年も世界で放置されてないだろｗｗｗ

これって何の役に立つのっていう自分の気分で判断するゴミは奴隷として焼き印を押して
種を区別する制度にはよしろやｗ

>>41
分かった気にさせるのは可能だけどバカに難しい理論を説明するのは基本無理だよ

と他人様を小馬鹿にしている自分も全然解ってない件ｗ
ＡＢＣ予想が演算子の問題に帰着されるからゲーデルの不完全性定理から同じ理論体系では証明できない問題になるので
演算子の異なる論理体系へ写像から証明にアプローチするということなのか？位のボンヤリした理解レベルｗｗｗ
大体写像って大抵集合の要素だったりするから演算子の写像とかもう理解できないバカすぎて。。。

>>58
いみがわかれねぇや
将来やくにたつかどうかきいているだけだ

>>61
そんなもん未来の人以外に知ってる人なんぞいねえ

>>58
てんでイミフで、無意味無価値なバカの落書き（嘲笑）

数学は人の一生をかけても検証が終えない時代を迎えるのか

論文がA4５００ページで理解するためには予備的論文を２５００ページ理解しなきゃいけない
なんて、人の手柄を確かめるために自分の時間をささげてくれと言ってるわけだから　理解できた
人に賞金ださないと広まらんよ

これさあ、望月先生はなんで説明する努力をしないわけ？

っぱ京大よ
ノーベル賞も京大ばっかだし日本で一番だな

リカチョン

もう本職から学業から総負け状態

>>66

自分でも間違えたって思っていても、今更、後に引けないのでいるとか？

頭蓋骨比較
猿人→原人→旧人→新人の流れで頭蓋骨を比較すると
その延長として黒人→白人→黄人の順で脳容量増大＝顔が平面化

知能指数比較
黄人＞白人＞黒人

頭蓋骨比較と知能指数比較の両面によって
脳容量と知能指数が
黄人＞白人＞黒人
の順に比例していることが判明している

さらに、猿時代は尻の大きさがメスの性的アピールポイントだったが
ヒトになって二足歩行になり尻の代わりに胸の大きさが女性の性的アピールとして追加
だから猿に近いほど尻が大きく、人類進化によって尻は小さくなっていった

つまり
人類進化：猿人→原人→旧人→黒人→白人→黄人
知能指数：猿人＜原人＜旧人＜黒人＜白人＜黄人
脳の容量：猿人＜原人＜旧人＜黒人＜白人＜黄人
顔平面度：猿人＜原人＜旧人＜黒人＜白人＜黄人
尻の大小：猿人＞原人＞旧人＞黒人＞白人＞黄人


そら白人が理解できなくてもしゃーないやろ(笑)
無視してガンガン進めろや(笑)

>>48

コンピュータは、ブール代数を論理の基本にしているので、ブール代数で記述できない世界は無理。
従って、一般の数学をコンピュータで処理するのは、無理。
つまり、AIでは無理。

ところで
ひも理論は解けたの？

人間は神様を超えられるか？
そういう問題

なんかこの証明に使った
IUT理論が自分で構築した理論で
この理論のベースになってる理論が3つあって
その理論が3つとも自分の構築した理論とかいう

この時点で触っちゃダメなやつ沼なやつだって事は、分かる

>>30
むずかしいんだろうね。

>>11
プリンストンだかんな

>>71
どうして知らない話に首突っ込むの？

とりあえずおめ！

この論文で宇宙の真理に近づくわけ？

加藤文元：「宇宙と宇宙をつなぐ数学 IUT理論の衝撃」、KADOKAWA、 ISBN 978-4044004170　(2019年4月25日)。

通俗解説本には上のものがあるから，買って棚に積んでおけ。

「ABC予想の証明論文、ついに出版　8年半かけ数学誌に」（朝日新聞、2021年3月5日記事）。
https://www.asahi.com/articles/ASP355S0CP35ULBJ00Q.html

この朝日の新聞のWEBにはPODCASTといって、（他人が）50分ぐらい
ありがたく解説してくれる音声が聞ける。

YouTubeにもたしか、解説動画があったと思うが、URLを沢山はると
1ヶ月ぐらい5ｃｈに書けなくなるので（確実な議論のためには実に役に立た
ない掲示版だなと思う）、省略する。

>>31
Inter-Universalなら「宇宙際」なんて言わずに「宇宙間」で良いと思う＾＾；

家帰るど！！

Universal は宇宙のじゃなくて「全体の」とか「普遍の」とか訳す方が正しくないか？

Universal Covering Surface (普遍被覆面)
Universal Set (全体集合)
Universal Algebra (普遍代数(学))

>>80
そのゴミ本IUT自体には触れてないゴミだと思うけど何で偉そうなの？お前

>次のようなコメントがある：「望月さんは、賞に対しては全く無欲（というか、
>むしろやや否定的）で、十分時間をかけて基礎理論を満足のいくような形で
>完成させることに力を注いでいます」

ポアンカレのロシア人と同じか。

よくわからんからガロア理論の勉強から始めるわ

ABC、リーマン、ポアンカレ、これらの難問を解く過程で狂人になる数学者が何人もいたそうだよ
ペレルマンも人が変わってしまったそうだ

たしか宇宙際ってのは、国際の国を宇宙に換えることで、
違う分野と違う分野の考え方を行き来して普遍的な考察を
するみたいな意味付けじゃなかったっけ。

3年ほど前に、基礎論の研究者達による論理追跡によって、ダメ猫れ判定受けてたが
掲載を強行しちゃった感じ？

>>72
「解けた」って言ってる時点でお前が何一つ知らない無知なのはわかったから、
黙ってろ

なんつーかもうこのレベルになると、証明が正しいかどうか誰にも確信持てないってのが実態じゃないの？
理解者が世界に10人しかいないって時点で、宙ぶらりんにしておくしかない案件なんだろうよ
理解できてるって言ってる人間だって、論証の全ステップについて完全に明晰に理解してるかと言えばたぶんそうじゃなくて、
「分かったような気がする」ってレベルの部分はあると思ってる

理想を言えば、数年くらい世界中の数学者が寄ってたかってこの論文のチェックをして、徹底的にもう何十回でもシンポジウムを開いて
ってやれば、かなりのレベルまで確証が進むんだろうけど、当然そんな事は社会経済的な事情から不可能なわけで

そういう意味じゃあ、証明するにしても、やっぱり近い分野の数学者ならある程度頑張れば誰でも理解できるっていうくらいの一般性のある
理論体系で証明することも大事で、それが出来なかったって意味ではIUTはすでに敗れつつあるんだと思うよ

>>66
反論には全て回答してるし、理解を進めるための講義も開いているのにこれ以上何をしろと？
難しすぎてトップレベルの数学者でさえ理解までに数年かかってる
調べてから言え

>>11
東大なら黒でも白だもんね。
なんて科学的なんだろ。

望月さんが韓国人なら
おまえらボロクソにこき下ろしてるのは容易に想像できるw

>>52
科学的知識がないと原爆が作れず相手が原爆を作る。

>>52
科学的知識がないと原爆が作れず相手が原爆を作る。

>>85
真理の魅力に比べたら権力がくれる賞や破綻間近の銀行券なんかゴミなんだろうね。

>>94
世論誘導お疲れ様です

>>43
ワロタw

ABC予想に対するモデルって訳じゃないんだろ？
もっと簡単な問題についてモデル使って解くサンプルみたいなの無いのか？

頭がかたくなるのは数学者でもあっても同じだという。
つまり、若い数学者に期待するしか無いのだ。

>>1
人間の寿命に対して
数学の積み重ねが大きくなりすぎちゃってるから
これ以上の発展は無理ってところまできてそう

>>77

どういう意味？

それ自身が論理構造を持つUniverse間のマップで、一方の論理構造で真とされたものが、他方でも真になるかは、俺自身は常に保証されているものではないと思っている。
ここが明確にならないと、正しいなんて思えない。
単にブール代数の論理を基にその演算をこなすコンピューターで、ここの証明ができるとは思えない。それはAIも同じ。と、書いた。

望月先生クラスになると
人生楽しそうだ。
素晴らしいよ。

それは『数』という世界の背後にある、より根本的な事実を模索することなのです

だそうだ、これだよな
この人ってニュートンみたいに自分がわかってればいいやというタイプなのかな？

俺は頭悪い文系で全くわからないんだけどさ。数学者のリアリティって人間の内部にあるものなの？それとも自然の中に埋め込まれてると思ってるのか。あるいは数的世界というものが存在する、ということなのか

>>100
フェルマーの

クラークケント似

多分、誤差はあるが、この理論はほぼ正解だし、人類の知的水準を上げる事にはなる

ただ、それが実現するには３０年ぐらい時間がかかりそう

>>103
自分で意味のわかってない駄文が他人にわかるわけないだろ

本当のところ、解けてないよなー、これw

>>87
没入すると外界と自分のギャップが自然に生まれてしまう危険性はどんな世界にも起こり得るけど、
数字を扱う無機質なものはその傾向が強いんだろうな
おそらく解いている最中だった望月教授を10年ほど前にテレビで見た事があるがどこか機械的な解答で浮世離れした印象だった
回復出来るかは文化の影響もあるんだろうか

近い将来は数学の定理の証明もコンピュータがやる時代がやってくるよ
ーーーーーーーー
Daisuke Okanohara@hillbig
GPT-fはTransformerを使った言語モデルで自動定理証明を行う。ウェブ収集された数学関連の論文などで事前学習し、
証明目標で条件付した証明経路の生成確率を使って探索する。発見された中で23個の証明はこれまでの証明より短くわかりやすく
Metamath証明ライブラリに加えられたhttps://arxiv.org/abs/2009.03393
午前8:25 ・ 2020年9月10日・Twitter Web App

>>113
タンパク質の3次元構造解析もGoogleがすごい精度で予測できるようになったみたいだし
AIドクターが医者より正確に診断したりとコンピュータに出来ない分野は日に日に少なくなってるな
まじでAIが知性を獲得したらより賢いAIを作ってシンギュラリティを迎えるだろう

>>43
望月先生の理論がいまいち信用されないのは
インパクトがある名前を使いたかっただけだって思われがちなこともあるかも知れない

最近ようやく分かったがタイヒミューラーは人名でナチを信望した戦死した数学者、宇宙はグロタンディークが命名した圏の上位概念らしい

>>66
数学者なんだから基本変人だろ。

タイヒミュラー他の論文が掲載された戦中ドイツの数学雑誌は、戦後の欧米では親ナチ派の書籍として禁書扱いだったんで
その禁忌がなかった日本ではいち早く受容されたんだよな

>>87
ナッシュが実際にリーマン仮説を解こうしていたのはこの前初めて知った

>>115
正しい表記は
タイヒミュラー
らしいので訂正します

どうでも良いと思うけど

それ陰謀論の妄想話のネタになりそうだな
望月理論の否定派がドイツ人数学者二人ってのと
望月ブログの外人嫌い臭を関係づけて、、、

>>114
今のAIの数学よんでみな。知性のかけらもないぞ。数学理論構築や発見なんて無理。

＞アーリア人の優越を声高に叫び，数学者のタイヒミューラー，ビーベルバッハのように，ユダヤ系学者の迫害に加担した者たち
ーーーー
＞ルートヴィヒ・ビーベルバッハ　ドイツの数学者。

＞ナチ党の熱烈な信奉者で反ユダヤ思想の持ち主であり、ゲルマン民族は幾何学を論理的に解析するがユダヤ人は抽象的にしか思考できないと公言していた。
＞1938年にプロイセン学士院からイサイ・シューアを追放させるなど、ユダヤ系教授の排斥にも積極的に関わっている。学内では突撃隊の制服を着用して講義していた。

＞1936年、ユダヤ人の影響を排しドイツ人の数学的業績を示すとして、『ドイツの数学（英語版）』誌の発行を主導する。
＞親ナチの数学者達によるものではあるが、同誌の掲載論文の一部が現代数学に多くの影響を与えているのも事実である。

>>120
されそうって
何年も前から自分らで言ってたように感じるけど

>>122
> 親ナチの数学者達によるものではあるが、同誌の掲載論文の一部が現代数学に多くの影響を与えているのも事実である。

それがタイヒミュラー空間の理論という。。

https://pbs.twimg.com/media/Evs8vEcVoAIG3db?format=png

年金、貯金付きで老人をｃ国に売る野田〇子、売国奴、年寄りなめるな！バカヤロウが、、沖縄のチョサッパに政府が刈り取り作戦開始、最後の1っ匹まで始末する！

ワイルズもペレルマンも数年かけてまわりの数学者を理解させたぞ

異議を唱えてるのが世界的に名だたる連中ばかりだから、たぶん何らかの不備な点はあるんだろう。
でも望月にとっては重要なことではないんだろう。数学の新しい一体系を作ったっていう自信があるから、些細な不備の修整に残りの人生費やす価値が無いと思っている。
外野としては、それが致命的な欠点でないことを祈るだけ。

なんか証明のために別の宇宙に置き換えるんでしょ？
もう何がなんだが

>>127
ペレルマンが解いたポアンカレ予想は熱力学等の物理学から引用してきたものが多かったから
説明を聴きに来た数学者を困惑させたんだったな

優秀な将棋うちは、ストーリーがみえているんだろ。
優秀な数学者は、定理の道筋がみえていて、後はただ
それを具体的に証明として書き下す作業をしているだけらしいな。
凡庸だと、将棋のコマをあれこれと動かしてみて、得になりそうな
手順を探そうとするけれども、優秀ならそういう枝葉のような小局を観ずに
大局的な道筋がいくつかパッとみえて、そのどれが良い形になるか
だけを調べるだけでゲームができるのだとすれば、

厨二病が出した論文だろ
オレは小卒だから知らんけどな

>>131
藤井二冠は片っ端から読むタイプらしいけどな

「ABC予想」論文、掲載　京都大の望月教授が証明
2021年3月7日 16:59
https://www.nikkei.com/article/DGXZQODG05BC20V00C21A3000000/

>>45
以前ミンス党にいたな。
科学研究での予算申請で
「私に理解出来るようにこの場で説明しろ。
出来なければそれは間違いだ!」
とほざいたのが。

分かりやすく説明すると大抵は順を追って説明するようになる
その間に分からない単語が出てくるから自分で調べる習慣が聴くものにとっては大事なんだ

普通の数学科の大学生に理解できるようになるまでにはまだ時間が掛かりそうだね。
証明の簡易化、整理、などが進んだなら、将来はそのようになるのだろうか？

Publications of the Research Institute for Mathematical Sciences
Volume 57, Issue 1/2, 2021, Special Issue
https://www.ems-ph.org/journals/show_issue.php?issn=0034-5318&;vol=57&iss=1

もう証明されたんだから、「ABC定理」と呼ぶべきだね。

>>1
＞　内容に懐疑的な海外の数学者もいるが、編集に携わった同研究所の玉川安騎男教授は
＞「反論は出尽くしており、今後も平行線のままではないか」との見方。

それ証明されてないってこと







　

>>73
全然違うｗ

>>128
それつまり証明出来てないってことｗ
証明に穴があるなら塞ぐ、出来ないなら諦める
中間は無い
ただの欺瞞ｗ

>>138
まだ証明出来てないんだから、「ABC定理」と呼ぶべきじゃ無いね。

フェルマー予想を証明したワイルズも
最初発表したときは誰も証明の穴に気がつかなかった
後になって他の専門家から指摘されて初めてワイルズも証明の穴に気がついた
ワイルズはこの穴を埋めるのに四苦八苦してどうしても穴を埋められず、ほぼ諦めかけていた
その最後のギリギリで一旦離れた日本の岩澤理論に帰ることで決着した
数学の証明ってこんなもん
望月やその取り巻きは恥を知るべき
これは数学の世界のゴッドハンド事件であり
和の精神の終着駅





　

>>7
Ａ分野の証明をＢ分野の方法でやると，今度はＢ分野をＡ分野の方法で表し直すことが進んで，Ａ分野の方法で証明されるようになるかもね。

和の精神とは　
結局自己欺瞞の精神でしかない








　

>>135
どんな科学分野，人文系の分野もそうだが，一般人にわかりやすく説明できるようになったものは最先端から20年ぐらい遅れているよ。

>>13
無理。

A 1doller
B 2dollers
C 10dollers

高々有限個しか存在しないであろうか？
って何だよ
こんな問題が出たら知らんがなとしか回答書けんだろ

もう大学の数学科や物理学科も4年で学習が足りない。
いわゆる古典物理や数学の時代20世紀前期なら4年で済んだかもしれんけど。
現代数学や物理学は4年間では教えきれない。
だって大学入学して1年半は教養課程で、人文科学や社会科学の単位も取らないといけないからな。
もうそんな無駄な時間は不要だろ。

>>145
でも君ワイルズの証明もABC予想の証明も自分で見て審査した訳じゃないんだよね？
他人を見て知った気になってあれがダメだったとか言うのって結局自己欺瞞じゃないの？

あくまでも>>145の論法を借りると、て話ね
自己欺瞞の精神とは、証明を読んで自分で考えようとしない事であると