「ABC予想」の証明理論、欠陥見つけたら1.4億円

数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論について、ドワンゴ創業者で実業家の川上量生（のぶお）さんが7日、「間違いの証明」に100万ドル（約1億4千万円）の賞金をかけると発表した。
https://www.asahi.com/sp/articles/ASR7731Y5R76TOLB018.html

お前らが他の数字者攻撃してるんやろが
しかも的外れなカスみたいな難癖つけて
数学の世界に首つっこむなカス

＞他の数字者 ‥

望月本人が他の数学者批判ばっかしとるからな。そりゃ信者もやるわ

望月の証明を要約するとこんな感じか

ABC予想の証明

定理1: 任意の正の整数 a,b,c に対して、a+b=c となるとき、a,b,c の最大公約数を d とすると、
d はリーマンゼータ関数の非自明な零点 ρ とトポロジカル位相空間の双曲性 κ に依存する。
証明:
d をヒルベルト空間に埋め込むと、そのノルムは ρ に比例すると仮定する。また、バナッハ空間の完全性を考慮すると、
d=ρ×κ となる。

定理2:
a,b,c の積 abc は、ガロア群とリーマン多様体の交わりにおける特異点に関連している。
証明: ガロア群の作用によって abc が変換されると、その結果として得られる群はリーマン多様体上の特異点の近傍で局所同型となる。

以上の2つの定理から、ABC予想が成り立つことが示唆される。

>>495
望月論文を読んだのか
偉いね

>>491
この状況を変えることができるのは、望月か他の誰かが証明の欠陥を修正できる新しい議論を考え出すことだけだ。
望月はそのために論文を修正する代わりに、身内のジャーナルに欠陥のある状態のままで掲載させ、
Scholzeが初歩的な論理学の問題を理解できないほど無能であることを説明する156ページの文書を公開した。

>>249
どうして外国だけだと思った？

>>502

腕に覚えのある金欠数学者は世界中に大勢いるから、その中で挑戦してる人はいるよ。
残念ながら、間違いさがしの成果がでないだけ。

そもそも

間違っているから受け入れられていない

のではなくて

説明になっていない

から受け入れられていないのでは

そう
「腕に覚えのある金欠数学者」がやっているのは間違い探しではなく暗号文の解読

>>495
AIにやらせただろ

>>507
バレた？(ﾉ∀`)
chatgptにそれっぽい証明書いてくれとお願いしたら書いてくれたんや

ひょひょひょ！おまんくおまんく！

>>506
つーことは暗号を解読すれば万事解決か・・・コロッサス使えよ、エニアックでも許す。

素数の規則性はすでに発見されているが、それがバレるととんでもないことになるので伏せられているらしい

発見されてないぞ

>>511
仮に発見されてたとしたらコイツみたいな凡人がそれを知ってるわけないんだよなぁ

>>512
ジェーソンスカラーで見つけられてる噂はあるが真偽不明だな

n番目の素数を返す多項式時間関数はない、みたいなP!=NPが証明されそう

1〜2nの中にn番目の素数はあるんだから多項式時間で出力できるのでは？

>1～2nの中にn番目の素数はあるんだから

ないだろ

素数多すぎだろ

π(n)〜n/log(n)
∴ π(2n)-n →♾

https://ja.m.wikipedia.org/wiki/%E7%B4%A0%E6%95%B0%E8%A8%88%E6%95%B0%E9%96%A2%E6%95%B0#/languages

間違えた
π(n^2)-n→♾
より正確には
p(n)〜n log(n)

https://en.m.wikipedia.org/wiki/Prime-counting_function

いやいやもうとっくに出てるだろ論文w
つかだからこそ望月新一や取り巻きが発狂してるわけで

ドルが一番高いときに発表すれば、高値で売れるな。

>>525
望月てめえふざけんなクソが

>>526
525が望月だと推定される理由は？

望月先生のわけねえだろ
バカかよw

ご乱心ですね

>>527
逆に聞くけど望月以外にこんな書き込みするやついるか？

>>530
いるだろ。そりゃ。

あぼーん

>>533
とりあえずやってみる

ポアンカレ予想やフェルマー予想の時と明らかに違うわな。
問題指摘を拒否しまくってるという。

https://i.imgur.com/5Cj9pQF.jpg

>>536
問題点指摘したのは1人。
回答してはんろんなしやで。

https://www.math.columbia.edu/~woit/wordpress/

望月/IUT/ABC予想の武勇伝は続いており、望月は本日「IUTを取り巻く現状に関する簡単な報告」を発表した。
この新しい文書の要点は、望月の主張するABC予想の証明を批判する人々が、
ヨーロッパ数学会の行動規範に「非常に重大な違反」をしていると非難することにあるようだ。
これは次のような奇妙な表現に基づいている。

数学者は、新定理の可能性や特定の数学的問題の解決について、
その詳細を適時に提供することができない限り、公に主張すべきではない。

ショルツェとスティックスによる、重要な系3.12の有効な証明はないという主張に対して。
私には、この言語に違反する危険性があるのは望月の方であり（彼はこの定理の説得力のある証明をしていない）
ショルツェでもスティックスでもないと思われる。
証明責任は新しい定理を主張する人にあるのであって、
主張された証明が不満足である場所を指摘する専門家にあるのではない。
特にショルツェは、以下で詳細な論証を行っている。

https://ncatlab.org/nlab/files/why_abc_is_still_a_conjecture.pdf
https://zbmath.org/pdf/07317908.pdf
https://www.math.columbia.edu/~woit/szpirostillaconjecture.pdf

望月はこれに対して156ページに及ぶ文書で反論しているが、
基本的にショルツェは初歩的な論理学の単純な問題を理解していないと主張している。

>>533
これはやるべき

>>533
欠陥見つけたら1.4億円

>>539
ソースがないよ

京都大学 数理解析研究所要覧 令和元年(2019年)8 月1日発行


P18 
・次世代幾何学研究センター 。

数論幾何学，特に宇宙際タイヒミューラー理論を中心に広く次世代の幾何学 
の研究を
推進するため，平成31年(2019年)4月1日に設置された。


P21 
次世代幾何学センター センター長 (併任） 望月新一。

特任教授　京大理博 柏原正樹 。特任教授　京大理博 森重文 。
教授(併任） 玉川安騎男 。教授(併任） 望月拓郎。

2020年4月3日。
京大PRIMS特別編集委(玉川安騎男 柏原正樹 委員長代行)は4篇の望月新一著
IUT論文受理の記者会見。

もうすっかり話題にすらならなくなったね
Mと取り巻きが集合論、論理学の根本で致命的な勘違いしてる、でコンセンサスは収束した

はいはい

IUTは「悪事千里を走る」。>543

>>544
∧と∨の区別がつかないんだろうね

賞金を出す条件が川上を納得させることができたらという恣意的なものなのでいくらでも理由をつけて賞金を払わないことが出来る
こんな条件にのるやつなんているわけなかろう

マジで？
それワラタw
まさにIUT

仮に川上ひとりだけが否定したら恥をかくような、そういう明確な決着をつけてくれってことだろ。

IUTは数学てはないし、望月新一IUT論文の受理は望月新一の部下の玉川.柏原ら
編集委員により始めから受理ありきの話。

>>550
そうはならんだろ
だとしても文章力ゼロやな

>>547
どゆこと？

ならんて何が？
世の中の数学者の大半が納得できるような結論が出ても川上が賞金出すのを渋るとか？

>>554
そこを明示的に記載してない
どうとでも取れる状態で放置してる方が悪い
しかも個人のメンツなんて知らねーよカス

>>542
https://www.math.columbia.edu/~woit/wordpress/?p=13643

あるやん

まあ１億円くらいなら広告料としては安いわ、くらいの感覚だろ。
どう転んでもええわと思ってるだろうな。

>>555
条件を明確にしてないからいざ明らかな欠陥が示されても川上が賞金払うのを渋ると？恥かくだけじゃん、何のメリットもない。
なんでそうひねくれたものの見方するんだろ。

>>558
雑な思考しかできねーのなw

明示的に書けばいいだけじゃん
知らねー個人のメンツなんか科学と関係ねーよ
そんなもん信用ゼロ

>>559
条件を明示してないから誤魔化すだろうってのがそもそも雑な思考だろう。
なんで賞金払わないと思った？

金を払わないとは言ってない
言ってるのは別のやつ
基準があいまいすぎていい加減だなーつってるだけ

それに対してxxサンがxxするわけなーいとか
科学とは無関係のどうでもいいしょぼい反論しかないわけで
科学関係かなー、特に561のお前って印象

笑いすぎてタイポしたわ
最後の行
「科学と関係ねーかなー」

>>560
IUTの論文も非自明なのだから賞金の条件も非自明でいいんじゃない？

>それに対してxxサンがxxするわけなーいとか
>科学とは無関係のどうでもいいしょぼい反論しかないわけで

まあそうだな。「あいつの言うことは信用できない」とかそういうのは科学じゃねーよな。

つまらん話だが、数学の公式の議論で、”involve certain radical simplifications”はまずい
厳密な数学的論証になってないことは、明白ってことでしょ

再録
https://rio2016.5ch.net/test/read.cgi/math/1701712810/476
フィールズ賞数学者のストローマン
”involve certain radical simplifications”をすると、”Corollary 3.12 is not a proof”だという（下記）

「Corollary 3.12 を、ノックアウトしたのだ」
望月氏「フィールズ賞数学者よ、君がノックアウトしたのは藁人形ですｗ」

知る限り、20世紀以降の数学界で公式の議論でストローマンを使ったのを見るのは初めてだｗ
５ｃｈでは、頻出ですけどね

非公式な議論などで、「あなたの言いたいことは、要するにこうですね」と要約することは必要だよ
議論を進めるためにね

しかし、公式の論文レビューで、ストローマンを使ってダメ出しするとはねｗ
ストローマン論法は、一つ間違うと詭弁に堕するのです

マネするやついるかもねｗ
教育上良くないから、だれか注意してやってほしいですｗｗ

(参考)
https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX Date: July 16, 2018
2.1. Glossary: IUTT-terminology and how we may think of these objects.
To facilitate the discussion, we will describe (only) the notions that are strictly relevant to explain what we regard as the error.
This will involve certain radical simplifications, and it might be argued that such simplifications strip away all the interesting mathematics that forms the core of Mochizuki’s proof.

https://zbmath.org/07317908
zbMATH Open
Inter-universal Teichmüller theory. I: Construction of Hodge theaters. (English) Zbl 1465.14002
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).Reviewer: Peter Scholze (Bonn)
More formally, the central claim in this series of papers is Corollary 3.12 in part III.
In the fourth part, this somewhat abstract statement is shown to imply the ABC conjecture over general number fields.
Unfortunately, the argument given for Corollary 3.12 is not a proof, and the theory built in these papers is clearly insufficient to prove the ABC conjecture.

Together with J. Stix, the reviewer has spent a week in Kyoto to discuss these issues with the author, and has detailed the findings in a manuscript entitled “Why ABC is still a conjecture” [https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf (opens in new tab)] that discusses the issues in slightly more detail.

だから、賞をもらえるもらえない関係なしに
”involve certain radical simplifications”なしに
厳密な数学的論証をして、それを論文といして公表すればいい
それが、いままでだれも出来ていない

証明にギャップが有り幅広い解釈ができる非自明な論文だから仕方ない
百者百葉の読み方ができるのでハイコンテキストな文化を持つ日本人にしか理解できない

>>566
どういう設定にしてもうまくいかないって言ってるだけで、そのうまくいかない例を一つ挙げたのを
取り上げて藁人形だ〜ってやってるのが、そもそも藁人形なんだよバカ。

>>569
ALLなんてどこに書いてあんだよ。
嘘コケ>バカ

ある単純化をしたら証明になってないというのは
藁人形そのものだろうが。

>>569
全てとあるを区別できないやつが数学語るんじゃねえ

じゃあお前が成立する例をあげて納得させてくればいいだけなんだが。
バカはそんな当たり前のことすら理解できんらしい。

単純化するなと言うなら単純化する必要がないようちゃんと説明してギャップを埋めろと散々

＞厳密な数学的論証をして

この論争は原理的には"証明"を機械的に検証可能な形に変換することで解決できるのだが、
問題は懐疑論者たちの"無知"だけであり、その必要はないと信奉者は主張する。

しかし歴史が教えてくれることは、もしユークリッドに倣って数学を自分たちの考えに合うように作り直したいなら、
まずは誰もが理解できる言語で書かなければならないということだ。

https://press.princeton.edu/ideas/why-prove-it

IUTの論文が厳密な証明になっておらず論理的なギャップが多数あるのでIUTの肯定も否定も不可能
だからIUTを理解したと主張している人たちを集めて論理式に書き下してもらえばおそらく全員の理解が一致していないだろう
IUTを肯定するにせよ否定するにせよ論文から明示的に読み取れない部分は都度望月に確認しないと正解がわからないので
望月と密着議論しない限りは解説論文を書くことができないし、否定する論文を書くこともできない

明確にするため密着議論しようにも望月に嫌われるとガン無視される
arXiv:2305.10398v5
>Unfortunately, Mochizuki stopped corresponding with me
>after the release of [Joshi, October 2020]. I have made
>numerous attempts to reach out to Mochizuki (between
>Nov. 2020-2023) but without much success. This is extremely
>unfortunate as both of us are describing the same theory
>(my version provides a more precise way to establish this
>theory than Mochizuki’s pure group theoretic approach).

>574
いつ数学が誰でも理解できる言語で書かれるように
なったのかか教えてくれ。

そもそも、数学は新たな言語を生み出すもんやで

マジで何もわかってないな
ちょっと数学齧った高校生でもこんなことかかんわ

>>575
厳密な論証になってない
とあってたひとは沈黙しちゃったが。

>>566
Stix がトーンダウンしたのはこの辺りに後ろめたさがあるんでしょうなぁ
積極的に間違ってると主張できる論拠はないと

>>577
『機械的に検証可能な形に変換』

・『機械的に検証可能な形に変換』は、証明した本人でなくとも、だれでも出来るのが本当だろう
・しかし、問題はマンパワーと予算で、そういう予算をだれか取って、実行すればいいだろう
・実際、まだまだ『機械的に検証』された定理は数少ない
・もっとも、ChatGpt30くらいのレベルになれば、AI検証できるかも
（結構早くそういう時代が来るかもね）

>>576 よく見つけてくるな、関係者？笑

学部生でも分かること（フィールズ賞受賞者に向かって）

数学齧った高校生でも書かんわ（ショーヴネ賞受賞者に向かって）

>>581
証明にギャップがあるので望月以外には機械的に検証可能な形に変換ができない

世の中の他の数学論文も大半が機械証明できるほど厳密に書かれていないが
前後の流れや分野ごとの慣習や結論からの逆算などで予想してギャップを埋めている
なので同じ考え方をしている仲間内では理解できるが外部の人間には理解不可能な論文などが偶に出てくる
機械証明するには望月とその愉快な仲間たちの輪の中に入って理解を深めないといけない

IUTとひやっしーがアツい！

このスレの馬鹿どもの中でも
最も低能なのが


単発

である。

望月とその愉快な仲間たちがやればいいだけの話なんだけどね

ヒーリング系もしくはドローンアンビエントで最強のリラックスを手に入れてください。
自然の波音も入っているので、さまざまな周波数の恩恵を得ることができます。
神経過敏でイライラしやすい人、なんらかの依存症にも少なからず効果が期待できます。
食事前にナイアシン療法を行うと、効く人には大変有効と思います。
自然な形でセロトニンが増えれば、ほとんどの神経症や精神疾患は良くなっていきます。
薬も確実に減っていきます。それと同時に高タンパクな食事が大変大事です。
そして適度な運動で最強です。
試してみてください。//youtu.be/e1IPKVrDUoM

ショルツェを説得させられなかった時点で終わり

>>588
税金で？