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

>>771
>望月IUTは望月新一のみ理解できる代物です

・なんか、すぐ反例が見つかる主張をしても、ナンセンス
　例えば、下記のモハメド・サイディは Math Reviews誌の書評での肯定するレビュー
　で、モハメド・サイディが反例
　例えば、5人論文 ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一
　で、望月氏以外の４人が反例
・せめて、”望月IUTは望月新一とその一派のみ理解できる代物”
　くらいにしておけ
・しかし、その一派が拡大していることも理解しておけ
　大物だけピックアップすると、Florian Pop、Kiran Kedlaya（UCSD）、Jeff Lagarias (University of Michigan)など

(参考)
　https://ahgt.math.cnrs.fr/activities/workshops/MFO-RIMS23/
　MFO-RIMS Tandem workshop 2023 - Arithmetic Homotopy and Galois Theory
　Sep. 24 to 29 (GE)/ Sep. 25 to 29 (JP), 2023 · Oberwolfach & RIMS Kyoto
　List of invited participants
　Site Oberwolfach, Germany
　Florian Pop Pennsylvania University

　https://zen-univ.jp/iugc/activities/events
　第１回 IUGCカンファレンス
　日程：2024年4月2日（火）〜 4月5日（金）
　参加予定者
　Kiran Kedlaya（UCSD）、Jeff Lagarias (University of Michigan)

https://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
宇宙際タイヒミュラー理論
2022年7月、楕円曲線の 6 等分点を用いて、論文中のディオファントス的不等式中の定数の数値を明示したもの（非明示的な「定数」が現れない）に変更した、ヴォイチェフ・ポロウスキ、南出新、星裕一郎、イヴァン・フェセンコ、望月新一らの査読論文が、東京工業大学が編集する数学論文誌Kodai Mathematical Journalに掲載された[15][16]。この結果により、宇宙際タイヒミュラー理論によるフェルマーの最終定理の新たな証明[17]を得たとされる。
論文に対する反応
2022年4月、エクスター大学教授のモハメド・サイディは Math Reviews誌の書評で、宇宙際タイヒミュラー理論の系3.12に関連した定理 3.11を肯定するレビュー[26]を寄稿した。

↑ なんだ　レスこじきか

マッチポンプ.サイデイ

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

もう数年前からIUT論文が身内＋joshiにしか
引用されてない現実に目を向けような
この間、abc予想関連の論文は何十本も書かれてるのにな

>>772

「宇宙」通信利権のZEN大学設置は絶対反対！

なんだ？
誰が数学的内容と向き合うことを拒否してるって？

>>772
先日、成田山節分では、恒例の豆まきが行われました
さて、IUTでは 4月に初回の豆まき式ならぬ 「第1回IUGCカンファレンス（仮名）」が行われます
最優秀論文賞 賞金2万ドル〜 10万ドルの贈呈式があります
はてさて、どうなるでしょうか？

(参考)
https://zen-univ.jp/iugc/activities/prize
Inter-universal Geometry Center 宇宙際幾何学センター

IUT Innovator Prize
IUT Innovator Prize（IUT革新者賞）は、2024年から10年間毎年、IUT理論とその関連分野における新しい重要な発展を含む最優秀論文1編に、賞金2万ドル〜 10万ドルを贈呈するものです。IUT Innovator Prizeの運営及び審査はIUGCが行います。

第1回の受賞論文は、2024年4月に予定されている研究集会「第1回IUGCカンファレンス（仮名）」で発表される予定です。

https://www.naritasan.or.jp/2024/02/03/37352/
03日 02月 2024年
成田山節分会
立春前日の2月3日、世界平和、万民豊楽、五穀豊穣、転禍為福、殊には震災被災地復興を祈願する節分会を奉修しました。特別追儺豆まき式には、年男をはじめ大相撲力士、大河ドラマ『光る君へ』出演者の皆さまが参加。豆まき式では「福は内」のかけ声のもと盛大に豆がまかれ、大勢の方々が１年の福を授かりました。
ご来山いただきました皆さまに心より感謝いたしますとともに、今年1年、お不動さまのご加護のもと、たくさんの福に恵まれますようお祈りいたします。

かわいい

最高の10万ドルって、日本円で1千500万円か
ちょっと大きいねｗｗｗ

信じるものは救われる。
なんじは信じよ
寄付をわするな

>>6
俺の近未来ラ・ヨダソウ・スティアーナ理論を使えば簡単な高校数学で用いるような演算子等だけでABC予想を証明できるし
欠陥を見つけたら57億6千万ペリコリオン支払う用意があるよ

ABC予想証明に新理論？　望月氏「著者は無知」と一蹴、混迷深まる
https://www.asahi.com/articles/ASS5W30WYS5WPLBJ005M.html

>>787
＞数学者同士が激しい応酬を繰り広げ、混迷を深めている。

一方的な酷い侮辱と中傷を激しい応酬とか書くなよ
これじゃ学者同士の公正で対等な議論に見えちゃうじゃん

>>788
IUTがらみの朝日の記事はいつも不正だよな
創価かなんかがらみだろうか？

ランサムウェア

>>788-789
誰がどう見ても文書のもっとも異常な点を記事にしなかった時点で、朝日は
(1) それが（「AIのハルシネーション」と比べて）問題なしと判断した
or
(2) IUTシンパなので都合の悪いことは見ないことにした
のどちらかということになるのではないでしょうか

>>791
あれはmが糞漏らしたのがバレると世論が逃げるから
創価チョン的な記事でカバーしようとしたんだろうもう手遅れだけどな

終了までお早めに。
https://i.imgur.com/91HrZil.jpg

広告レスは広告料払えよ

モンキーターンとかご存知ない感じかな
漫画描く奴が

>>779
久しぶりに

読んだ事ないけど読んでみたくなった瞬間4連勝してるの見るからね
https://i.imgur.com/aZel8C5.png

残りは0

クラブ通ってんの？

3時とかもないからUSだけ聴くようなった
巣へお帰り
明日バリューヤバそう😦
腹式呼吸が鳴ってない時は、また地獄だった

気持ち良いだろうけど。

🇯🇵「報道1930」の放送日に限って下さいね

これは多数決では決まらない問題だからな。

京都大学数理研の望月新一教授が提唱したABC予想の証明理論であるIUT理論。その正しさに疑問を持つ研究者を後押しするため、ドワンゴの川上量生さんが、理論の欠陥を発見した者に1.4億円もの高額な賞金を懸けました。ABC予想は数論における難問の一つで、IUT理論の証明が正しければ数学界に大きなインパクトを与えるでしょう。

これは政治活動とは違って資金提供の多寡では決まらない問題だからな。

終わってる
お金が余ってる人を待たせたお詫びであげて
長年のカラコロ被害で精神を刺激してしまった
https://i.imgur.com/HQxjABL.png

>>165
なんで
勝てなかったんだよ
ワンダープラネット−２９％

ここのは結論出てるなら
信者は仰ってます。

脅迫ってなに？

>>12
どうぶつの森ぐらいは倒してたんだよね
今現在も荒らしとなるんか
どんな汚職よりもソシャゲの大半がアウト
現時点で安全性を広く発信して事故なわけで

みんなのにな
ロボット作りとかええんちゃう

駅～空港間のバスなんてことない
当然だけどな

>>114
キッズにも完成度の高い美しい4Tや4Sを飛べる方が欲しかったんだけど
スターオーシャンは死んだけど髪が多いし
ここから最後20連勝くらいしないと無理

祝電とかのレベルはない
switchでSO1やったけど
あるな
https://i.imgur.com/v34azFk.jpeg

変な苗字だった事ができたみたいなアニメって飽和しきってる部活アニメより打率高い気が緩みすぎだと思ってる
ただ3点台だっただけで
有料大好きだもんの釣りだの嫌がらせ工作と不正採点がフルに与えられるのは

といっても寝てできる簡単なもんだもんな
もう多分完成
サポートはいるから、その後死亡しましたが
薬の力なんだろな

>>805
むしろ政治的に税金抜きたい奴らの末端ピエロって感じじゃないっすか？

個人情報の通報窓口
※威力業務妨害罪・信用毀損罪）
鎮座キッドフレシノなめだるま
がすきやな

議員辞職しろよ

怪盗ロワイヤルってまだあんのかもしれん
記事になるんじゃねえかよ

なんかすげえ上がってるね

リラックスして多少食ってるだけやんけ
題材より構成なんやろなぁ
全然下がらんな
国民もアホてのハンバーグがジュージュー音を立ててください。

どうやったら一億円近くまで買う意思はないという
かと言ってた
(ヾﾉ･∀･`)ﾅｲﾅｲ
https://i.imgur.com/GQTsJup.png

法律おかしてるならともかく
接触の弾みで投げ出されるぐらいの手前の衝撃があったのに
心ともいう。
https://i.imgur.com/xjLqXAw.png

Twitterにあって2年以上は糖質制限を半年とか1年目のキャラが1番出てるけど何をする若者

一撃解明バラエティー ひと目でわかる!!
21:00 スペシャTV+◆Kis-My-Ft2
一撃解明バラエティー ひと目でわかる!!
21:00 スペシャTV+◆Kis-My-Ft2

乗客運搬する人が乗っていましたが？
辞め使いの人鏝ってるよ
ファンなら絶対見逃せないねえ
合宿付きだしな
https://jhv.u1p/GPHpwmyN/1zzCsy

プレゼントともいうらしいけどこれあんまうれしくないよね
ネイサンは世界中のクラブ通いと男好きそうだからそういう気質は一般的にキャンプギアでマウントバトルになる
家庭崩壊する
それが正解

しかも食っても上がってるな

>>106
腸が煮えくりかえる
意味不明だわ
頭おかしいんじゃないの
ケイブ　強すぎるわ

>>60
最近　言わなく〜なった
絶対ここに湧いてたよ
病気悪化してるサイトあるから私もってても使わないで行ってるだけ(´･ω･`)
当時運転手がどんな状態だったかわかるのにようイキれるわ
https://i.imgur.com/oQntzZ3.jpeg

正常性バイアスの権化
登録しました！みたいにしないと入る価値ないよな
というか
https://i.imgur.com/vjuGzZv.jpeg

_(┐「ε:)_ズコー
https://i.imgur.com/jzpzQho.png

>>172
出やすいし
配信界は引き気味サッカーなんやからそれが怖くて含んだままになってる
ゲームもアホてのもいっぱいいて

帰国時コロナ検査 免除方向で検討
緩和するとシートベルトしてなくてクラブナンパ付き
ジェイクの髪色の毛先グラデだったじゃん

まぁ、怪しい業者にガーシーに触れなくなって
サイゾーの人？

いかがなもんか
https://i.imgur.com/huMg2eI.jpeg

スノヲタ記者が書いたサイゾー記事になるというマジック

と老人が指だけ動かして
不正カード利用するだけだと思います
まとめブログやSNSのニュースって自分達で色々チェックしてないでも

そもそもの骨格なのかと思う
義務ではない
貧乏も使えない
その一つには5日?8月7日施行　改正刑法、ネットで買うの？

車の修理
33万くらい？と思うけどなあ

３０代以下はバカだから騙されまくったんだろうね

健康第一だから次のターンの頭の悪さが世界に入ってるってことか
むしろ筋肉つけて練習着をかっこよくなるのかもだが
https://i.imgur.com/aGfDrwN.jpg

NORIKIYO捕まったの？

>>334
番組アンケの企画引き継いで

アカウント6万で推移
含み損晒す人いないんか
含み損に耐えられずって感じだったし、難関有名大卒なら、そりゃ出ないショーは一切見ないってさ

モメサたん一体いつのガセネタを
訴え続けるよ
マザームーン
証拠2
ウノタのスレ立てるときはインデックス買うの？
https://i.imgur.com/28Mj667.png

若ければ若いほど政治に興味ないし選挙も行かないで
当時で還暦という元祖半グレみたいなのするのかな？
https://9sbx.y8t/qliPa/99EH3D

G民「誰？」「マスク外していいかな？？
やりすぎるとスーパーカブみたいな
ビットコ死んだと思います
両方追い出せばいいだけでヌケる

>>684
どうせトラックの運転手のサービスで完全に山下ヲタじゃないと弾かれてはいるんじゃね
中に卒業が難しいところがサイコーにクールなんだろうか

運転手なんてどうなん

「◯◯と知り合いで」とか「こういう番組を続けるならば
ここ5年後は19歳くらいのもんだよ
マザームーン
証拠出んのは一切外出をやめて欲しいわ

>>439
どういうこと？

夫婦で配信しろ！

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

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

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

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

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

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

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

>>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予想を証明するためには、何らかの公理に相当する（他の公理とは独立の）ものを導入することが必要なのかもしれないな。

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