[過去ﾛｸﾞ] Interuniversal geometry とABC 予想60
(1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(1): 03/26(木)21:43 ID:XTPL032M(1/5) AAS
未だにcontroversialなIU幾何やABC予想に関する会話のサロンとして使って下さい。
荒らしはご遠慮願います
903: 07/10(金)18:23 ID:KR0FzkDN(1/2) AAS
来週なんかあるんやっけ？
904: 07/10(金)18:24 ID:r31+BAUu(1) AAS
祇園祭
905: 07/10(金)18:25 ID:VFP1O6HE(1/4) AAS
おぉ、もうそんなに迫っていたのか。
906: 07/10(金)18:25 ID:VFP1O6HE(2/4) AAS
思ってたんと違うw
907: 07/10(金)18:26 ID:VFP1O6HE(3/4) AAS
与作
908: 07/10(金)19:12 ID:KR0FzkDN(2/2) AAS
そうそう、祇園祭りw
909: 07/10(金)19:16 ID:VFP1O6HE(4/4) AAS
悪ノリ乙w
このスレに書く意味ね。
910(1): 07/10(金)19:25 ID:sVV01jOR(1) AAS
どんな延命術を出してくるやら
911: 07/10(金)19:35 ID:TJQn+jw6(1) AAS
>>910
参考にできそう
912: 07/10(金)19:44 ID:i+KfJX78(1) AAS
いよいよあと一週間だね！
IUTを突き抜けて望月数学の根幹「復元（アルゴリズム）」まで
俎上に載せるかどうか
それとなくでいいからお願い！！
913(1): 07/10(金)20:28 ID:m86DnSuS(1) AAS
また長文の罵倒文章出してシーソーゲーム風に印象作りするだけでしょ
これまで不誠実な対応を続けてきた望月に今更期待することなんて何もないわな
914: 07/10(金)21:25 ID:7yaW9Exo(1) AAS
>>913
税金と学校設立を期待する朝鮮人企業がいるのでは
915: 07/11(土)03:08 ID:mP/q3Mi2(1) AAS
17日楽しみー
Fable5の言い分以上の成果が出るか期待してるわ
916: 07/11(土)03:41 ID:j2CYu7lX(1/5) AAS
俺はあんま期待してない
あいつらただのクズだし知能低いから
このスレにいるクズと全く同じの凡庸な言い訳になると思う
あれ中のやつだろ
917: 07/11(土)08:27 ID:1bhCDOH3(1/2) AAS
LANAコアメンバー５人はいずれも実績ある研究者ですよ
もちろん望月氏もそうです
後者について言えばそれが問題の根源なわけですが
918(2): 07/11(土)16:01 ID:tEUPr5OA(1) AAS
要は3.11→3.12以外は非常に独創的かつ新奇性のある理論なのに、たった1つ、3.11→3.12だけが間違っていて、99.9%画期的な論理なのに、全体として全く意味をなさない理論になっている、でFA？
919(1): 07/11(土)17:40 ID:j2CYu7lX(2/5) AAS
>>918
ほんとバカだなこいつ、、、
920: 07/11(土)17:41 ID:j2CYu7lX(3/5) AAS
どこかで擁護派派がこの嘘でふかしまくってんだろうな
921: 07/11(土)17:56 ID:j2CYu7lX(4/5) AAS
川上の周りにいるニセモンエリート集団の1人にされちゃうんじゃねw
三浦瑠麗とかw夏野とかw
川上自体アレだけどw
922: 07/11(土)19:31 ID:Id1aN8uu(1) AAS
チャンス三浦
923(1): 07/11(土)19:32 ID:1bhCDOH3(2/2) AAS
>>918
その通りですね
「独創的かつ新奇性」は間違いありませんが
意義があるかどうかとは無関係です
＞全体として全く意味をなさない理論になっている
これも現時点で全くその通りだと思います
>>919は反対意見を持っているようですが
924: 07/11(土)23:03 ID:j2CYu7lX(5/5) AAS
>>923
バカ「一箇所だけおおかしいいいい」
ワラタw
925: 07/12(日)06:17 ID:NoHuV9vO(1) AAS
望月さん来週末はお通夜かな？
それともまだLANAには俺のIUTの証明を追えるコードが装備されていないとお気持ち表明して引き伸ばしかな？
星さんも頑張って説明したけど、LANAチームに納得してもらえなかったんだね
切ないね
926: 07/12(日)07:08 ID:uac7gcrZ(1) AAS
いかに数学は論理の積み重ねだからといっても、時速300kmでセンチ単位の幅寄せするような運転し続けたら、プロだっていつか間違えます
文元のこの書き込みは検証で誤りが見つかったことの暗喩なのか。。。
927: 07/12(日)07:35 ID:4RIfFklP(1/3) AAS
Scholze氏も
・3.11までは正しい（しかし自明）、
・3.11→3.12の証明がない、
・3.12からabc予想が従う（証明あり）
と認めています（"Whyabc is still a conjecture"）
S氏の見解によれば「3.11→3.12」さえ通ればabc予想です
だからこそLANAが3.11をブラックボックスとして
「3.11→3.12」の形式化を目指しているわけです
なお3.11の解釈次第でIUT懐疑論にあっても
複数の異なる立場がありえます
928(3): 07/12(日)07:35 ID:igCCOGGv(1) AAS
「3.11→3.12のところを、計算機が追える厳密な形に落とせなかった」なら、少なくともその箇所は現行の形式化手法では証明の鎖として確定できなかった、ということです 。ただし、これはそのままIUT理論にギャップがあると確定したことと同義ではありません 。
形式化できない、というのは通常、
• 定義がまだ十分に機械可読な形に整理されていない。
• 前提や同一視のルールが暗黙で、コード化しきれない。
• 途中の変換に必要な補題が不足している。
• のどれか、あるいは複合です 。したがって「証明が偽だった」と直結するわけではなく、「現時点で検証可能な形に再構成できない」という意味合いが強いです 。
3.11→3.12に限ると
この箇所は、抽象的な比較不等式を、ABC予想に使える具体的な不等式へ移す橋渡しでした 。そこが形式化できない場合、疑われるのは主に次の点です。
• どの量を同一視してよいかの規則が曖昧。
• 変換前後で不等式の向きや誤差項が保存されているか不明。
省4
929: 07/12(日)07:45 ID:MfE7TVQA(1) AAS
>>928
人間がどう理解しているかを説明できないのではそれは証明では無いというのが妥当な見解でしょう
930: 07/12(日)07:56 ID:4RIfFklP(2/3) AAS
>>928はAIの幻覚でしょうから答えても無意味だと思われます
私はそもそも3.11が非自明な形で形式化不能だと思っています
S氏の立場は概ね
3.11をZFCGで解釈できる範囲で解釈したら自明になる
というものだったと思いますから
ほぼ同じです
931: 07/12(日)09:56 ID:gG1W9yxL(1/3) AAS
>証明が偽
が意味不明。
>のどれか、あるいは複合です 。したがって「証明が偽だった」と直結するわけではなく
証明になってるかなってないかのどちらかしかなく、のどれであっても証明になってないんじゃ？
932: 07/12(日)11:16 ID:adfwb1Gf(1) AAS
>>928
詭弁
形式化の可否を述語が真か偽かの議論のように話してしまっている
我々が議論しているの証明出来ているか出来てないか
出来てないとss論文以降は理解されていて
つまりss論文は支持されていて
それは何年経っても証明したことを説明できてないから
さらに形式化プロジェクトでss論文の指摘がほぼ確実に事実である事が顕になってしまった
933: 07/12(日)11:43 ID:gG1W9yxL(2/3) AAS
今回のはIUT論文全体の検証ではなく疑義が指摘されている3.12に絞り込んでおり他の部分はブラックボックス化している。
にもかかわらず形式化の壁があり、IUT理解者とされる星主導のもと1年がかりでも乗り越えられなかった。
これは証明になってないとしか言えないかと。
934: 07/12(日)11:54 ID:9A8rT/hJ(1/2) AAS
要するに望月が強弁していたような自明でもなければ、ショルツたちの勘違い、でもなかったわけだ
これだけでも望月新一と星は謝罪すべきだな
935: 07/12(日)12:22 ID:I0Q86Pqs(1/3) AAS
IUT擁護のバカチョンってすぐLLM頼ってクソ漏らすよなww
バカがイキってハッタリかまそうとして大失敗
毎度の話
936: 07/12(日)12:34 ID:mRXHnVkN(1) AAS
戦闘力５３万のscholzeほか
（ついでにbuzzard, calegari, litt, stixらも）
皆が理解できない・証明がないって何年も前から言ってんのに
本人だけがsimple and elementaryって
突っぱねてんだから
事態が動くわけねえよな
これで2026年にもなって
やっぱり理解できませんでした
問題点は「3.11→3.12」の××にあります
なんて繰り返しても何の意味もねえっての
937: 07/12(日)17:50 ID:9A8rT/hJ(2/2) AAS
望月一派が強弁していた嘘と妄信が次々と捲られていくね
結論は当然だしルナプロジェクトとか興味も湧かないけど
星が一年付きっきりでも証明をrigorousにできなかったという事実は重い
細部で誤りはあっても結局ショルツスティックスは急所をついていたわけだね
938: 07/12(日)17:57 ID:g0s1o8Q1(1) AAS
lana
939: 07/12(日)18:37 ID:SdOWYZ15(1) AAS
すでに関係者から弱気な発言が漏れ出ているけど
940(1): 07/12(日)19:21 ID:4RIfFklP(3/3) AAS
数学界の評決は既にずいぶん前に下っていると思いますが
明示的に決着すべく実際に行動するかわんごさんは立派だと思います
これは結果的にどう転ぶかとは無関係です
これまでIUT信奉者たちが避けてきたことですから
941: 07/12(日)19:22 ID:I0Q86Pqs(2/3) AAS
ここまで終わってんのに
取り巻きは
「天才が不当な手続きで潰された！！」とか言うんだろうな
朝日とかアエラとかXのあの人たちとか
942: 07/12(日)19:40 ID:0zMENoj/(1) AAS
遅きに失したかもしれないが、引っ込めるには良い機会（最後の機会？）なのでは。現状では形式化可能な証明として成功していないことを端的に認め、一旦取り下げるとか言って。
943(1): 07/12(日)19:45 ID:gG1W9yxL(3/3) AAS
leanに手出したのは墓穴掘りだったね
ショルツェは院レベルの数学が分かってないって言い続けとけば裸の王様でいられたのに
944: 07/12(日)23:36 ID:c76i8A5Q(1) AAS
次スレ61.
このスレ60を使い終わりましたら
移行願います。
2chｽﾚ:math
945: 07/12(日)23:57 ID:I0Q86Pqs(3/3) AAS
そこらの数学とは公理系が違うんです
今からIUTに至る公理を全て証明して
well defined持っていきます
👇
LANA振り出しに戻る
やってみて欲しいわ
946: 07/13(月)00:23 ID:s6ewzG92(1/2) AAS
公理系の違いは言い訳にならない。3.12が必要とする仮定はすべてブラックボックスとして与えられているから。
947: 07/13(月)00:53 ID:jp4grr38(1) AAS
>>940
ただ思惑とは違う方向になったのでは
ZEN大学の唯一の目玉がIUT理論だったろうから
LLMはどうして 「日本財団HUMAIプログラム」みたいな羊頭狗肉しかやらないのであろうか
948: 07/13(月)01:42 ID:lGnMF8Vg(1) AAS
俺がOpus4.8とFable5でやった限り、Claudeの言い分は884からに書いた通り
Claudeは結局問題は、[IUTchIV] Thm 1.10 証明 Step (v) の一入力 —— λ := ord(q^{j²}) を受信側正規化の体積計算に適用してよいこと —— に正確に一致したので、この入力の導出(定義的措定ではなく)の所在をご教示いただきたい。
とのこと、cor3.12はこの部分を抜けば機械証明が通ることとSS型の単純な同一視すれば無意味な不等式になるという指摘はもっちーの論文通りの解釈を取れば反証したとFable5はいってる
まぁLANA待ちよな
LANAでGithubが公開されなかった場合には公開しようと思ってるがはたして
949: 07/13(月)03:00 ID:kSUA0TPF(1/2) AAS
笹川在日って思いっきりエプスタイン人脈だよな
アーベル賞も怪しい
950: 07/13(月)03:01 ID:kSUA0TPF(2/2) AAS
財団の書き間違いだわ
まあ一緒か
951: 07/13(月)03:01 ID:MDdVANXb(1/2) AAS
死刑宣告は今週だっけ？
952: 07/13(月)05:35 ID:12cPqW8C(1) AAS
多分主文が何処にあるかわからない宣告だろう
953: 07/13(月)11:35 ID:6renX255(1) AAS
>>943
まあ一点だけ擁護するなら本心から自明だと思ってたぽいってところかな
954: 07/13(月)11:42 ID:ndgrN8DE(1) AAS
それはありえない
955: 07/13(月)12:54 ID:w3JXY01J(1/2) AAS
か
956(1): 07/13(月)12:56 ID:w3JXY01J(2/2) AAS
関係者から話が漏れてきたお
やはり問題の箇所の形式化に失敗したようだお
H氏の挑戦は失敗だお
957: 07/13(月)13:41 ID:+q5E959A(1) AAS
指摘に耳を貸さず罵倒に逃げてたけど
学部レベルも理解していなかったのは望月一派だったのさ♪ちゃんちゃん
958: 07/13(月)16:40 ID:MqPgYn+X(1/3) AAS
>>956
あらまあ、
いや指導教授までブログで罵倒して
いた。 自業自得
959: 07/13(月)16:44 ID:MqPgYn+X(2/3) AAS
外部ﾘﾝｸ:plaza.rakuten.co.jp
960: 07/13(月)19:23 ID:B7SKLD9e(1/3) AAS
外部ﾘﾝｸ:zen.ac.jp
ケドラヤ
＞私がLANAプロジェクトに参加したのは、形式化という革命に追いつく
＞ためであると同時に、IUT理論およびABC予想の現状について、
＞コミュニティの合意形成を支援するためです。
＞もし本プロジェクトがIUT理論について肯定的な結論に達した場合、
＞私は自身の社会的信用を投じて、その結論を数論幾何学の主流の
＞研究者たちへと伝えていく覚悟でいます。
「コミュニティの合意形成を支援するため」ということなら、
証明にフォローできない箇所があった場合は、先延ばしせずに、
省3
961: 07/13(月)19:33 ID:2k1YtkjG(1) AAS
やってしまったようじゃな
962: 07/13(月)19:43 ID:s6ewzG92(2/2) AAS
おまえは初歩レベルの数学を理解していない
って罵倒される未来しか見えない
963: 07/13(月)19:50 ID:MqPgYn+X(3/3) AAS
ケドラヤはIUTもど素人でleanによる形式化もど素人。
ケドラヤは査読を含めIUTを評価する資格は全くありません、と言われそう
964(1): 07/13(月)22:14 ID:MDdVANXb(2/2) AAS
尊師はもう死ぬまで言い張り続けるつもりだろうけど
星はどうするの？
今後も数学者を続けるつもりなら
まずはIUTが数学でなかったことを認めてショルツたちに謝罪すべきでは？
965: 07/13(月)22:45 ID:B7SKLD9e(2/3) AAS
to err is human
一般に間違っていたからといって
さらに間違いに固執したからといって
謝罪する必要はありません
誤りを認めればよいだけです
個人攻撃を繰り返した二人は
IUTの成否に関係なく
謝罪すべきだと思います
966: 07/13(月)22:52 ID:B7SKLD9e(3/3) AAS
×個人攻撃 〇人身攻撃
967: 07/14(火)01:04 ID:wApvMEwJ(1/5) AAS
個人的にはアエラ／朝日新聞のクソライターに責任取らせたいね
968: 07/14(火)05:31 ID:Ji5bdl+3(1) AAS
責任を取って王の紹介記事を書いてほしい
969: 07/14(火)06:18 ID:xhUN0w1/(1) AAS
>>964
IUTは直接関係ない論文出してるだろもう
970: 07/14(火)07:46 ID:5PLqmlUv(1/4) AAS
どう落とし前をつけるのか
971(1): 07/14(火)07:50 ID:uJoqm5n1(1) AAS
金曜日の午後以降、モチへの批判が一気に噴出しそう
972(1): 07/14(火)08:55 ID:T21DfXb0(1) AAS
>>971
ZEN大学LANAプロジェクトの発表だろ?
そうはならない将来の可能性を含んだ玉虫色の発表になるんじゃないか
ギャップがあることは流石にちゃんと言うだろうけど
学術的な発表の場じゃないからね
973: 07/14(火)09:05 ID:wApvMEwJ(2/5) AAS
>>972
夏休み前の金曜でみんな忘れるっしょ的なw
IUT仕草ww
974: 07/14(火)09:25 ID:wApvMEwJ(3/5) AAS
ビビり始めてんのウケるw
👇
考えてみると、LANAプロジェクトのメンバー五人の中、IUTの理論的基盤となる単遠アーベル的アプローチに精通している数学者は、望月教授の最初の弟子である星准教授一人だけ。結果として他のすべてのメンバーも正しい理解に達するだろうが、やはり最終報告までにはかなりの時間がかかりそうだ。
IUTGtr
@IUTTOfSM1969
IUT理論の審査（2012年8月～2020年2月）は、世界最高の遠アーベル幾何学者の一人である玉川教授のコミュニケーションの下、匿名の査読者たちによって徹底的に厳密に検証された。それに対してLANAチームの場合、そのような専門家が理解者である星准教授を除いてはいない。どうしようもない弱点！
IUTGtr
@IUTTOfSM1969
975: 07/14(火)09:26 ID:wApvMEwJ(4/5) AAS
世界最高の遠アーベル幾何学者の一人である玉川教授のコミュニケーションの下、匿名の査読者たちによって徹底的に厳密に検証された。
👆
そもそもこいつらどこ逃げたんだ的なw
っていうか匿名の査読者で笑いが漏れるところw
976(1): 07/14(火)10:08 ID:5PLqmlUv(2/4) AAS
「自分はIUTを理解できた」
という人いなくなったね
977: 07/14(火)11:20 ID:wKtxYJ/w(1) AAS
IUT理解者が一人も登壇しない報告会とは
978(1): 07/14(火)11:25 ID:26WD5KYC(1) AAS
>>976
そんな人存在したのか？
他人が勝手に理解者と思い込んでいただけでは？
979(1): 07/14(火)12:33 ID:wApvMEwJ(5/5) AAS
>>978
誰も理解してないのに査読通ったんすか？
980: 07/14(火)15:36 ID:9K4P2o4g(1) AAS
>>979
査読者の弁明を聞きたい
981: 07/14(火)15:59 ID:5PLqmlUv(3/4) AAS
査読者名を公表せよ
982: 07/14(火)16:41 ID:47+JVIwX(1) AAS
公表も何も、初期にIUTを理解した（そして他にレクチャーした）研究者といえば彼、そして海外での理解者といえば彼（Not F）しかいないでしょ査読者は
983: 07/14(火)20:21 ID:VXq4Qdth(1/3) AAS
ギャップがあるという指摘に対して
自明、単純、初等的などと言い張って
実質的な説明を何らせずに突っぱねてきたわけで
IUTは何のアイディアもなく応用もなければ
引用もされなくなって久しいのに
それでも了とするイネイブラーに囲まれてるんだから
今さら態度を変えるわきゃない
特に望月数学の根幹である
単遠アーベル・復元アルゴリズムが
数学でないと言われてるに等しい状況なわけだから
省9
984: 07/14(火)20:25 ID:ao8Jaftq(1/3) AAS
be able to , can
985(1): 07/14(火)20:57 ID:5PLqmlUv(4/4) AAS
望月は頭悪いの？
それとも確信犯？
986(1): 07/14(火)21:08 ID:eVPrPoaJ(1) AAS
>>985
勘違いというか本当に問題ないと思ってたぽい
987(1): 07/14(火)21:19 ID:+nquWuO3(1/2) AAS
2014年12月
IUT論文査読中
IUTTの検証.進捗情報の報告
京大数理解析研究所教授.望月新一
・P5
>ABC予想には本質的に異なる 手法による「別証明」が果たして存在 し得るか、疑問を抱かざるを得ないと いう意味においても「正しい理論」で ある。
つまり、
IUTはabc予想を「証明」したと主張するための道具だ。
988: 07/14(火)21:49 ID:+nquWuO3(2/2) AAS
“I didn’t really see a key idea that would get us closer to the proof of the abc conjecture"
by P. Scholze
989(1): 07/14(火)22:20 ID:VXq4Qdth(2/3) AAS
>>986
周りの人が望月に付き合った理由は？
カルト宗教ばりにみんなで
自明、単純、初等的
と信じたわけ？
990: 07/14(火)22:37 ID:EePamPtN(1) AAS
>>987
文科省評価云々のあんたは出てこなくていいよ
このスレの空気が乱れる
991: 07/14(火)22:39 ID:VXq4Qdth(3/3) AAS
コピペするだけの人工無能
セミみたいなもんと思いな
992: 07/14(火)22:42 ID:ao8Jaftq(2/3) AAS
半群
993: 07/14(火)22:43 ID:ao8Jaftq(3/3) AAS
ミーンミーン
994(1): 07/14(火)23:31 ID:sS+G5yFT(1) AAS
次スレ必要？
995: 07/14(火)23:52 ID:DNy8EecN(1) AAS
>>994
祇園祭までには必要
996: 07/15(水)04:12 ID:kwvsCBQa(1) AAS
STAP
997(1): 07/15(水)05:45 ID:Aygs1PGt(1) AAS
>>989
何も考えず権威に従っちゃったんじゃないの
998: 07/15(水)09:46 ID:48T+O0TB(1/2) AAS
>>997
弟子が付いていくのは別にいいよ
でも査読はアウトだよな
あとドワンゴAERA朝日新聞のカスメディアもアウト
NHKも加担してたっけ
999: 07/15(水)09:49 ID:34i/VN9i(1) AAS
負け確？
1000: 07/15(水)10:01 ID:48T+O0TB(2/2) AAS
顔も整形
本も虚飾
1001(1): 1001 ID:Thread(1/2) AAS
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 110日 12時間 17分 58秒
1002(1): 1002 ID:Thread(2/2) AAS
5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《UPLIFT会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
4 USD/mon. から匿名でご購入いただけます。
省4
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.139s*