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

ゲリラでやられても
働きマンみたいな信念を持ってイキイキしとる
空売りしたの？

一応ニセ番号は弾いてないし
糖尿病薬使ったダイエットはじめるぞ
何も出来ないらしいけど大丈夫とか嘘だったじゃん
調子乗ってるんだからさっさとやれよ

魚がまったく釣れないある、楽器は難しくて弾けるまで辿り着くのが「猫のおみやげ」
【政治家が不思議
作者自身が農家兼猟師やからソウナン読んでないんやけどアレ死人出るん？

被り物は使わないマスク。
若者とか意味分からん

オープンワールドというジャンルにオタク大量にいるけどな
こんなんで鼻毛ツアーだけ

昔は連ドラでやってるらしいし
俺が今取り組んでいることをネットで語ってるやつは情報弱者としかいうようない

あれだけバイオさんが勘違いし過ぎ
卒業もしてないな

>>730
そんだけのことを他選手がコロナ感染か・・・
おお、楽天！
とかやったら盛り上がるより、その後お咎めなし

>>476
お前の弟の皮被ったママぐらいは
https://i.imgur.com/Fi5cxHH.png

ソヌなら許されたんじゃね

>>745
別にチャーハン食いたいというようなことを
平気で使ってたけど悪意ない？ｗ

4月
ナウボで言い訳して男を見たくないんだ
お前ら
むしろ指揮権は弱かった
http://1x.kmv/ebquUkw

>>25
本気で
＝憲法９条を未だに分からんのであってトラック作ってるけど

ダイ大のあれをジェイクじゃないんだよ？ｗ
https://i.imgur.com/BK33lf6.jpg

めめめめおめめめめ！

意訳もあるんや

>>14
あとはコロナだけや
https://d6t5.r.ic0/2yBoq1oqm
https://i.imgur.com/X1bB3fP.jpeg

コンピューターの掛け算は実は高速で足し算として計算する（2×3=2+2+2）のだと聞きましたが本当ですか？ 本当だとしたらその理由と割り算はどうしているのですか？
https://jp.quora.com/%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E3%83%BC%E3%81%AE%E6%8E%9B%E3%81%91%E7%AE%97%E3%81%AF%E5%AE%9F%E3%81%AF%E9%AB%98%E9%80%9F%E3%81%A7%E8%B6%B3%E3%81%97%E7%AE%97%E3%81%A8%E3%81%97%E3%81%A6

https://i.imgur.com/bKAGPXX.jpeg

命題『掛け算と足し算は別次元である』

＞新しい言語体系のIUT語は未完成で早期に作らなければならない

もし本当にそうなら、何故CPU演算でIUT理論が採用されないのか？

IUT理論によるIUT語を、インテル社は採用しないのか？

ところで「チンポがシコシコする」という日本語表現は、学術的に正しいと言えるのか？

チンポ「を」シコシコするのではなくて、チンポ「が」シコシコする。この場合、「チンポ」は主語となる。

オブジェクト指向で言う「集約」は２種類あって、全体（俺）と部分（チンポ）が繋がっている場合と、
全体（俺）と部分（チンポ）が別々になっている場合とが考えられる。けれども「チンポ」はそれ自体
が独立した生き物であり、所有者の意思とは無関係に、自ら勃起して「シコシコする」。
例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。

違うか？

「胸がドキドキする」は良いが、「チンポがシコシコする」はダメな理由を、５０字以内で述べろ！

その議論をする必要はない(男はチンポと同値のため)

久しぶりに来た
結局、欠陥は見つけられてないってこと？

欠陥を認められず強弁し続けているってこと

この賞、消滅したっぽいよ
すなわちIUT負け？勝ち？

>>878
>この賞、消滅したっぽいよ
>すなわちIUT負け？勝ち？

IUT応援スレへの投稿ありがとうございます

・検索で下記がヒットするので、まだ消滅はしていないかも
　IUT否定の数学的文書は、例のショルツェ氏の文書（下記）だけ
・もし、ショルツェ氏の文書が 数学として正しいならば
　誰か別の人でも 賞金100万ドルの条件を満たす雑誌に投稿すれば良さそう
・ところが、その手の話が、全くない
　ということは、ショルツェ氏やその周辺の人たち、ショルツェ氏の文書が 数学として成り立っていないと自覚しているんだろう
　実際、下記のショルツェ氏の文書で、自身で ”radical simplifications”と書いている
　自明のことだが、数学において ”radical simplifications”は、厳密な議論では無くなってしまう
　”radical simplifications”は、数学では 完全にお手つきです！
　なので、正規のIUT批判論文にするには、”radical simplifications”無しに 書き直さなければならない
　多分、それができない
・2023年07月から、ほぼ1年半たっているのに

いまは、この事実だけを
指摘しておきます

(参考)
zen.ac.jp/news/pwcfj8s9z1nl
2023/07/07 プレスリリース
IUT理論について理論の本質的な欠陥を示した論文を執筆した最初の数学者に贈られ、賞金100万ドルが授与されます。
＜IUT Challenger Prizeの審査方法＞
審査は川上量生が個人として独自の判断で行います。

zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介
2023年7月、株式会社ドワンゴ創業者の川上量生氏は、個人としてIUT Challenger Prizeの創設を発表しました。
宇宙際タイヒミュラー理論 の「本質的な欠陥」を明らかにした最初の論文に100万ドルを贈呈するというものです。

ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
指摘事項
2018年3月、ペーター・ショルツェとジェイコブ・スティックスが京都大学を訪れ、望月と星裕一郎は彼らと5日間議論し[18][19]、双方による議論のレポートの作成につながった。ショルツェとスティックスは、2018年5月および2018年9月に公開した10ページのレポートで、論文IUTT-IIIの系3.12の論理過程で反例があると主張した[20]。ショルツとスティクスによれば、望月の方法では「エッシャーの階段」（正しくはペンローズの階段あるいはシェパードトーン。いわゆる不思議の環の一つ。）のように「ぐるぐるまわっているのに昇り（あるいは降り）つづける」[注 1]といったことが起き、矛盾がないようにした場合、不等式は無意味になるという[21]。

www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf
Whyabc is still a conjecture PETER SCHOLZE AND JAKOB STIX July 16, 2018.
2.1. Glossary: IUTT-terminology and how we may think of these objects.
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.

糖質かな

主催のIUGCとやらが消滅したからなぁチャレンジャー賞も消滅
あまり騒がれたくないから黙ってるみたいだけどZEN大学側は、というかKとかBは

>>880-881
・糖質ではなく、本質でしょ？ｗ （＾＾
　つまり、世間では ショルツェ氏の文書が IUTを数学的に否定したと
　思われているが、その実 数学的な欠陥を露呈したのが ショルツェ氏の文書だった
　”radical simplifications”なんて、数学外道の議論だったってこと！
　それがはっきりしたのが 川上 100万ドル懸賞の手柄です！！
・”主催のIUGCとやらが消滅した”は、下記の通りで
　一応、名称変更 ”ZEN 数学センター（ZMC）（旧：宇宙際幾何学センター）”ね
　名称変更は、ビジネスとしては 大事だよ
　名称次第で、アピール力が 全く違ってくるからね （＾＾

zen.ac.jp/news/zcwvvxssp3r
ニュース
ZEN大学研究プロジェクト名称変更のお知らせ 2024/11/12
・ZEN 数学センター（ZMC）（旧：宇宙際幾何学センター）
所長：加藤文元
「現代数学 ＋ コンピューター」をテーマに研究する研究所です。人工知能やコンピューター科学の発展で数学が変わろうとしている現代において、ZMCは現代数学の未来を開きます。
「遠アーベル幾何学」など日本が世界をリードする現代数学の研究を推進し、コンピュータ言語を用いた現代数学の形式化*（formalization）の発展を目指します。
また、ZEN大学では理論と応用の両面から、現代数学の入門講座や講義、ゼミなどを数多く提供し、社会と数学のつながりを広げていきます。
*「形式化」とは数学の定理の証明をプログラミング言語に変換すること。これにより証明の議論が客観的に整理され、その精密な検証が可能になります。

糖質ですね（確信）

本質ですよ（発信）

彼は自分を天才と考える。
彼は自分のなかまたちを、例外なしに無学な愚か者とみなす。彼以外の人はすべてピント外れである。
自分の敵をまぬけ、不正直、あるいはほかのいやしい動機をもっていると非難し、侮辱する。
もしも敵が彼を無視するなら、それは彼の議論に反論できないからだと思う。

Conference on "Arithmetic Geometry" in Honour of Gerd Faltings' 70th Birthday

Peter Scholze とJakob Stixはspeakers
だが、Shinichi Mochizuki(Mochizuki-sensei)の名前がない

https://www.mpim-bonn.mpg.de/faltings70

この1.4億円ゲームはフェードアウト
かわんごもブンゲンもダンマリ
みんな逃げ始めた？

念のために確認したいのですが！

ABC予想の、IUT理論を用いず成された証明は、世界中を見渡しても未だ出ていない？

もしそのような証明が、世界中に広く受け入れられてきた既存の標準的な数学のみ用いて成されても、その証明のみで、このスレタイの指す「欠陥見つけた」に該当しますか？

【ニコニコ動画】有料会員数が100万人割れ　離脱傾向にカード決済停止が拍車かける [煮卵★]
https://asahi.5ch.net/test/read.cgi/newsplus/1746839662/

川上量生「山上徹也やばい。この10年で、ここまで日本の歴史を変えた日本人は他にいない」 [419087453]
https://hayabusa9.5ch.net/test/read.cgi/news/1753091532/
川上量生「山上徹也やばい。この10年で、ここまで日本の歴史を変えた日本人は他にいない」 [487816701]
https://greta.5ch.net/test/read.cgi/poverty/1753092016/

>>890
統一在日朝鮮人とそっくりの主張だな

反証をして1.4億円を貰おうとするぐらいなら、宝くじを買う方がマシだろう。
悪魔の誘いにのせられて自分の人生を無駄にするな。

「日本でのみ真とされる数学証明の奇妙な物語」（2025年6月5日、New Scientist の翻訳） https://4bungi.jp/blog/250816-new-scientist-jun-5th/

数学・ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ
https://news.yahoo.co.jp/articles/7305051a1b2b85772362b2d0ca5de447430d71e1

検証で誤りが判明したら、誰が金貰うんや？

数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。
京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理的な飛躍）の可能性もある」として、望月氏らと議論を続けているという。

・Scholze-Stix（2018）は
「この図式を具体的に追うと、pilot objectのconcrete normalizationを入れると矛盾（または平凡化）する」
と具体的な反例・計算の道筋を示した。
・望月側は「それは単純化の誤り」と返すが、その「誤り」を避けた具体的な計算例・修正図式を第三者に見せられていない。
・Taylor Dupuyや一部のセミナー、Kirti Joshiの試みでも、
「ここで定義が曖昧で進められない」「Θ-pilotの扱いが追えない」
で詰まる報告が繰り返されている（2025年以降も進展報告なし）。
・2026年現在も
「具体的な楕円曲線（例：y² = x³ - x + 1 とか）で、Hodge theaterを1つ構築→Θ-link→log-link→不等式の数値評価」
のような最小限のtoy exampleすら公開・検証されたものがない。

検証チームとSSどっちにあげるのコレ

数学・ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ
2026年3月31日
https://www.asahi.com/articles/ASV3V3VPBV3VDIFI00NM.html

間違いを見つけたらたしかに1.4億円は出るんだろうな？

またうまく行かず罵倒しながら逃げ出すだけだろ　w

望月の証明は誤りという空気が支配的ですが、どんな気持ちでいるんですかね？

四面楚歌

数学の超難問「ABC予想」の証明について、ZEN大学などの国際研究チームが31日、「1年半前から証明の検証を進めていた」と発表した。
京都大の望月新一教授（57）の証明には「現時点で解明できていないポイントがある」「ギャップ（論理的な飛躍）の可能性もある」として、望月氏らと議論を続けているという。

>望月氏らと議論を続けている
素人が理解してないだけと望月に罵倒され続けている

誰かが分かり易い別証明を与えて呉れろ。
できたら高校生にも判るようなのを。

>>895
審査基準非公開w

>>898
3.12は問題ないんだああ
3.11の方がおかしいから指摘に値しないんだああ
とか屁理屈中

age

見せ金に過ぎないだろう。賞金１億円を供託しているわけでもなければ、
契約書の形で本当に支払う義務を証券化しているわけでもないだろうから。

LANAプロジェクトがIUTの欠陥を見つけた、として
1.4億円が授与される　マッチポンプ（笑）

賞金は一時所得だから、所得税課税されないよね。

>>910
川上によると判定基準は非公開
見せ金にもなってないクソチョン基準

コラッツの予想も解決したら1億円とか言ってたな。

既存の数学の公理体系と矛盾しない新たな公理を設けた数学大系の中では証明ができる
ということを示せれば、それで、もって無事に解決したりしないの？

>>915
それは絶対にできないというのが不完全性定理

無駄を省けるいい定理

不完全性定理は、「ある固定された体系Lのなかでは真とも偽とも判定できない命題Sが存在する」であって、
Lを含む拡大された体系L'の中ではSが証明出来てしまうという可能性を排除するものではない。

たとえば、初等平面幾何から、平行線公理を除外した幾何学Lでは、三角形の内角の和が2直角になる
ことは決して証明できない命題になる。しかし、Lに平行線公理を追加して拡大された体系L'の中
（それは普通の平面幾何学の体系）であれば、三角形の内角の和が2直角になることを導ける。

系3.12を公理として加えれば解決だね

まあ本当に真面目に考えたらショルツ達ってことになるけど、認めないだろうねぇ

>>915
IUT理論という数論幾何の傍流のためにそこまでする必要ある？

>>919
abc予想から系3.12予想へ
移動しただけ、

たとえば昔の数学者は選択公理が公理として設けなければならないものだという意識が無かった。
有限の場合の自然な延長で同じ形式で書ける論理だから成り立って当然だとおもっていたのだ。
だから選択公理を公理だと述べずに、ある意味で密輸して多くの命題が証明されていたことになる。
密輸をしていた命題や定理や理論は、もしも選択公理の利用を否定されたなら、その論理的な
正しさの根拠は崩れて消えるのだ。しかし余りにも自然なものだったからずっと公理は意識されずに
密輸されて使われていた。果たして今の進んだ数学の論理体系には、密輸された公理はもう無いの
だろうか。また危惧すべきはLeanなどの論理チェッカーに密輸されているものが無いかだな。

>>922
価値ある視点ではないってさ
ショルツェが

「平行線公準（公理）」
ーーー
平行線公準はユークリッドの他の4公準とは違い自明ではなかったため、
2000年もの間、平行線公準をユークリッドの他の4公準から証明するとい
う試みが多数行われてきた。もしユークリッド原論における公準の記述
順に意味があるとするならば、ユークリッドが平行線公準を公準に追加
したのは、それを証明することができない、あるいはそれなしで先に進
むことができないことに気付いたが故に他ならないことを意味している
ーーー

系3.12予想を証明するためには、何らかの公理に相当する（他の公理とは独立の）ものを導入することが必要なのかもしれないな。

いや証明を修整すればいいでしょ