Interuniversal geometry とABC 予想61
(241ﾚｽ)
上下前次1-新
35: 07/12(日)23:14 ID:c76i8A5Q(34/41) AAS
>>34
続き
・woit ブログ 2025.9.20
外部ﾘﾝｸ:www.math.columbia.edu
James Douglas Boydコメント
2025.10.10
この∈ループとは何でしょうか？
望月氏と私が議論の中で確立したのは、
∈ループは(いわゆる）「素数ストリップ」の扱い方に起因する、という見解です（これはショルツとスティックスの批判の核心でもあります）。
したがって、IUT におけるディオファントスの目標は、たとえそうではないにもかかわらず、「素数ストリップ」と呼ばれる（悪い還元を持つ）特定の素数の集合を、あたかもそれらがすべての素数と同等であるかのように、何らかの形で扱うことです。
省3
36(1): 07/12(日)23:16 ID:c76i8A5Q(35/41) AAS
Simons Foundation
Speaker .kevin Buzzard
ICM2022
Plenary and Invited Speakers
>Where is Mathematics Going?
Over the last 2,500 years, the way we do mathematics has changed surprisingly little. In Euclid’s Elements,
we see lemmas, theorems and proofs, with material building on earlier work and presented in essentially the same style as a modern mathematics textbook.
As a consequence of this inertia, humanity now possesses an extraordinary body of mathematical knowledge.
This knowledge is mostly correct,
sometimes poorly presented and poorly referenced, is sometimes only “known to
省7
37: 07/12(日)23:18 ID:c76i8A5Q(36/41) AAS
>>36
続き
kevin Buzzard
>数学はどこへ行くのか？
過去2500年間、数学のやり方は驚くほど変化していません。
ユークリッドの『原論』には補題.定理. 証明が記されており、その内容は過去の研究を基盤としつつ現代の数学の教科書と基本的に同じスタイルで提示されています。
こうした惰性(慣性)の結果として、人類は今や驚異的な数学的知識の集積を誇っています。
省5
38: 07/12(日)23:19 ID:c76i8A5Q(37/41) AAS
ICM2026
・Speakers
外部ﾘﾝｸ:www.icm2026.org
・arxive
外部ﾘﾝｸ:arxiv.org
39: 07/12(日)23:21 ID:c76i8A5Q(38/41) AAS
・zen大学の設置認可を申請した日本財団 ドワンゴ学園準備会(理事長は元文科省事務次官の山中伸一)が IUGC創設(加藤文元所長.フェセンコ副所長) も、認可後に突然ZMCへ改称した。
IUTTは設置認可宣伝の役割をした。
・IUGC
動画ﾘﾝｸ[YouTube]
・ZMC
外部ﾘﾝｸ:zen.ac.jp
・日本財団ドワンゴ学園準備会からIUT innovator賞の賞金が IUTの京大数理研へ 寄付名目で流れた。
40: 07/12(日)23:23 ID:c76i8A5Q(39/41) AAS
Interview with MPIM Director Peter Scholze
動画ﾘﾝｸ[YouTube]
41: 07/12(日)23:25 ID:c76i8A5Q(40/41) AAS
2026.3.31
LANAプロジェクト 発表
外部ﾘﾝｸ:zen.ac.jp
動画ﾘﾝｸ[YouTube]
・参考.2026.4.8-4.10
University of Exeter
Workshop on AI and Theorem Provers in Mathematics
望月新一
Shinichi Mochizuki: On the Formalization of IUT:
a preliminary progress report
省2
42: 07/12(日)23:31 ID:c76i8A5Q(41/41) AAS
2026.7.17
LANAプロジェクト
中間発表会
登壇者：
若山正人（ZEN大学 学長）/
加藤文元（ZEN大学教授・ZMC所長、LANAプロジェクト リーダー）/
ヨハン・コメリン.Johan Commelin（ユトレヒト大学助教）
/
キラン・ケドラヤ.Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
/
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）/
外部ﾘﾝｸ:zen.ac.jp zmc0717
省3
43: 07/13(月)03:02 ID:MDdVANXb(1) AAS
とんずらしたのか、情けない
44: 07/13(月)06:16 ID:12cPqW8C(1/2) AAS
キラン・ケドラヤ氏の
「あの時点ではベストの選択だった」
という答えが気になった
45: 07/13(月)07:47 ID:m2Sj44rx(1/9) AAS
ズラタン
46: 07/13(月)08:57 ID:12cPqW8C(2/2) AAS
ズラタン・イブラヒモビッチは、スウェーデンのサッカー選手で、4つの国でリーグ優勝し、5度の得点王に輝いたストライカー。イブラヒモビッチの名言は「他人の言うことは気にしない。ただ前進するのみ」に代表されるように他人と自分を比較せず、己の哲学を貫いてチームを勝利に導く大切さを名言で語っています。また、座右の銘では、結果を出すまでのプロセスの重要さを説いています。
47: 07/13(月)09:01 ID:m2Sj44rx(2/9) AAS
悪童 ヴェイユ
親しみを最大限に込めて
48: 07/13(月)10:27 ID:s6ewzG92(1/4) AAS
登壇者の中にIUT理解者いなくて草
> 関わっている 数名の研究者(サイディ.山下剛.星)を除けば、世界の 全ての数論幾何の研究者(=連続論文が公開された時点.2012年8月での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、での山下剛氏も含めて)はIUTの周辺にある数学に関しては「全くの素人」であり、これまでの研究業績の上に成り立っている「深い理解」を活用してIUTの成否に関する決定的な(=数学的に意味がある」)判定を下す資格が本質的にありません
49: 07/13(月)10:30 ID:m2Sj44rx(3/9) AAS
ここで批判している人の中に、IUT理解者いなくて草
50: 07/13(月)11:06 ID:s6ewzG92(2/4) AAS
IUT理解者がIUT批判するはずが無いことも分からなくて草
51(1): 07/13(月)11:16 ID:m2Sj44rx(4/9) AAS
分かってもいないことを批判できる人格
52: 07/13(月)11:20 ID:s6ewzG92(3/4) AAS
批判を批判する人格
53: 07/13(月)11:22 ID:m2Sj44rx(5/9) AAS
ここを仕事のストレスのはけ口にしてる人草
54(1): 07/13(月)12:49 ID:kSUA0TPF(1) AAS
>>51
ほんとバカチョンだなお前w
55: 07/13(月)12:52 ID:m2Sj44rx(6/9) AAS
>>54
純日本人ですw
56: 07/13(月)12:54 ID:m2Sj44rx(7/9) AAS
知人とでも話しとけば？
そんな知人もいないかw
57: 07/13(月)13:09 ID:AlqMpdMt(1) AAS
この時間を有意義なことに充てるべきだったと2年後に後悔するだろう
58(1): 07/13(月)14:05 ID:MqPgYn+X(1) AAS
遠アーベル幾何学の専門家G.FaltingsもIUT論文が理解できないと述べた。
「論文は理解できなかった。自分の研究に時間を割くことにした」と石倉朝日記者の取材に答えた。
2021年7月27日朝日新聞
59: 07/13(月)14:12 ID:s6ewzG92(4/4) AAS
形式化できないものを理解できると言う方が嘘
60: 07/13(月)14:15 ID:m2Sj44rx(8/9) AAS
>>58
まあ、こういうのは情報としては良いんじゃないの。
主観多めの批判は聞きたくない。
61: 07/13(月)14:16 ID:m2Sj44rx(9/9) AAS
前スレで「ありえない」という発言もあるし、確かな情報を聞きたい。
62: 07/14(火)01:05 ID:wApvMEwJ(1/3) AAS
アエラと朝日新聞のクソライターに責任取らせるべきだと思うな
63: 07/14(火)05:46 ID:Ji5bdl+3(1/2) AAS
責任を取って王虹さんの紹介記事を書いてほしい
64: 07/14(火)09:19 ID:wApvMEwJ(2/3) AAS
IUT擁護派になぜか多い統一在日朝鮮人＆創価在日朝鮮人の勝共キチガイ
こいつらがどう逃げるか楽しみ
まあ宗教系&笹川財団絡みの動員だろうが
65: 07/14(火)09:21 ID:wApvMEwJ(3/3) AAS
ゴールポスト移動するか
不当弾圧されたああアイゴーーとか喚くだろうねw
66: 07/14(火)10:03 ID:Ji5bdl+3(2/2) AAS
結果についてのコメントをPRIMSで発表すべきではないか
67: 07/15(水)00:38 ID:T6VyiOHf(1) AAS
なんでいつも逃げ回ってばかりなのか
68: 07/15(水)00:58 ID:xY4ZMxcX(1) AAS
玉川もなんかコメント出せよ
数学会の特別講演でもIUT関連は完全スルーしててみっともなかったなw
69: 07/15(水)08:55 ID:v7TWxnzO(1) AAS
玉川は玉川
望月は望月
70: 07/15(水)12:09 ID:48T+O0TB(1) AAS
政治的な税金抜き取り装置としてはデカすぎるせいで
同じ政治力による証拠隠滅ムーブも大きくなる可能性があルと思う
悲惨なルートを選ばないように
嫌なエンディングにならないよう
内側から外に向けて潔くごめんなさいするのがいいと思うよ
71: 07/15(水)13:29 ID:9Z/GuPjK(1/2) AAS
ショルツスティックス、ジョシに対するアカハラで
京大は懲戒処分をすべきだ
72(1): 07/15(水)16:47 ID:x0JdMxOs(1/2) AAS
山下真由子氏が対称性の物理分野で若手を対象としたWeyl prizeを受賞した。
IUT騒ぎの京大数理研を退職し現在、カナダのペリーメータ理論物理研究所と理研に所属している。
H.Weylは古典群の対称性と相対論から発展したゲージ位相の対称性より数学と物理へ貢献した。
過去の受賞者はE.Frenkel N. Nekrasov.立川裕二らがいる。
2026 選考委員会はN分配関数のN. Nekrasov議長で数学と物理其々を深く理解している。
外部ﾘﾝｸ:icgtmp.blogs.uva.es
73: 07/15(水)16:49 ID:9Z/GuPjK(2/2) AAS
TOKYO ICMでフィールズ賞かな？
74: 07/15(水)17:10 ID:x0JdMxOs(2/2) AAS
>>72
追記
荒らしのIUT 信者math jinとmath jin系IUT応援スレのスレ主はこのスレへカキコミと転記を禁止してます。
➖ ➖
Edward Frenkel @edfrenkel
返信先: @math_jinさん
Please stop. Otherwise, I will block you. Thanks.
20:07 - 2018年1月25日
やめてください。さもないとブロックします。ありがとうございます。
75(1): 07/16(木)08:35 ID:nT1a22Gl(1) AAS
いよいよ明日だな
公開処刑
3.11→3.12の形式化はやっぱり無理でした、かな
2年半、星が説明しつくしても、形式化出来ないんじゃ、少なくとも証明とはいえないよな
ま、当初から「間違ってさえいない」と言われてるように、ギャップがある（間違っている）というより、最初から証明になってない
76: 07/16(木)09:41 ID:tqIrWWsS(1) AAS
外部ﾘﾝｸ:zen.ac.jp
日時： 2026年7月17日（金）13:00〜14:15（予定）
番組配信：
YouTube （日本語チャンネル）：外部ﾘﾝｸ:www.youtube.com
YouTube （英語チャンネル）： 外部ﾘﾝｸ:www.youtube.com
ニコニコ生放送（日本語のみ）： 外部ﾘﾝｸ:live.nicovideo.jp
77: 07/16(木)11:04 ID:rguI9J+j(1) AAS
>>75
どうせ何も触れずにスルーでしょ
78: 07/16(木)21:12 ID:s1g35MC0(1/3) AAS
ゲラゲラw
ワラヒ
👇
新たな国産SNS「POPOPO」9月17日にサービス終了へ―取締役に西村博之、庵野秀明ら就任でも話題、約6か月で幕
外部ﾘﾝｸ:news.yahoo.co.jp
「POPOPO」サービス終了へ 提供開始から半年で
川上量生氏が全額出資するPOPOPOが、コミュニケーションサービス「POPOPO」の提供を9月17日に終了すると発表した。「今後の事業環境やサービスの最適化を総合的に検討した結果」という。
外部ﾘﾝｸ[html]:www.itmedia.co.jp
79: 07/16(木)21:25 ID:s1g35MC0(2/3) AAS
逃げた？？
何を持って？
👇
明日、中間報告が発表。発表に先立ち、この形式化検証を引き起こした元凶10㌻程度の原稿の第一著者Peter Scholzeは、2018年3月RIMS訪れた後望月教授との議論を完全に中断、議論の場から先に逃げたという事実を強調したい。さらには、2023年6月と12月二度にわたって送った望月教授のメールさえも無視。
IUTGtr
@IUTTOfSM1969
80(1): 07/16(木)21:40 ID:KgcmT+rI(1) AAS
山下サーベイ『A proof...』のRemark 3.4.4.
＞(1) It seems difficult to rigorously formulate the
＞meaning of "group-theoretic characterisation".【以下略】
＞(2) (Important Convention) In the same way, it also seems
＞difficult to rigorously formulate "there is a group-
＞theoretic algorithm to reconstruct" something in the sense
＞of mono-anabelian approach【中略】(If we use the language
＞of species and mutations (cf. [IUTchIV, §3]), then we can
＞rigorously formulate mono-anabelian statements without
＞mentioning the contents of algorithms).
省7
81: 07/16(木)21:40 ID:Qzlzovrb(1) AAS
Benjamin Collas
LANAは、多くの参加者が専門領域を越えて知見を持ち寄る、意欲的かつ革新的なプロジェクトです。この節目は、LANAにとって、その真価が試される「審判の日」と捉える向きもあるでしょう。しかし、IUT理論はLANAという枠組みをはるかに超えた存在です。IUT理論はLANAを超えて、なお歩み続けます。
82: 07/16(木)21:50 ID:s1g35MC0(3/3) AAS
>>80
じゃあどう証明したのww
83: 07/16(木)21:52 ID:STHNorLz(1) AAS
結局ジャーゴンとレトリックと精神論の塊の粗大ゴミだったってことだね IUT
84: 07/17(金)01:46 ID:eE51nH9G(1) AAS
・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すら公開・検証されたものがない。
85: 07/17(金)03:41 ID:NS8UzMP9(1) AAS
日本でしか認められない数学予想の物語
動画ﾘﾝｸ[YouTube]
86: 07/17(金)09:47 ID:L3nKRT1o(1/5) AAS
ある意味での厳密理論を取り扱うスペシャリストが感情でメチャクチャなことをやり始めるってのは
まあ大きな知見にはなったか
87(1): 07/17(金)11:47 ID:a+xJ6x68(1) AAS
ほい出たよ
外部ﾘﾝｸ:zen.ac.jp
ショルツとスティックスの下りワロタ
88: 07/17(金)12:17 ID:L3nKRT1o(2/5) AAS
>>87
まあ失望したとは誰も言わんだろうね。
こんなことだろうとみんな思ってたから。
89: 07/17(金)12:20 ID:dythpcIC(1/10) AAS
肝心のLEANは？
90: 07/17(金)12:25 ID:c3ojw30K(1/4) AAS
つまりどういうことだってばよ
91: 07/17(金)12:26 ID:c3ojw30K(2/4) AAS
つまりどういうことだってばよ
92(2): 07/17(金)12:34 ID:L3nKRT1o(3/5) AAS
ショルツの批判は望月の証明戦略を正確に表していないかもしれない。
しかし、望月の証明戦略を正確に表し直しても、必要な証明はまだ見つかっていない。
ということを言っとりますなぁ。
まあだいぶ苦しい言い訳だけど、ここまでの譲歩が連中ができるギリギリのことなんでしょうな。
93: 07/17(金)12:56 ID:MAZuLhMO(1) AAS
これで遠アーベル幾何の応用なくなっちゃったね
94: 07/17(金)13:17 ID:dythpcIC(2/10) AAS
PDF中に7月17日に公開されたLEANの解説ってあるけどGithubの URLとか微塵もないな
あとLANAでは体積計算を比較するpilot volume dataを構成する二つの経路が一致してるって証明がないらしいが、ワイのFable5のLEANコードでは結局IUT4のthm1.10でq^j^2の証明がないってとこで止まっとるけど経路の証明枠組みそのものは揃ってるってClaudeは言っとるな
まぁあってるかは知らんがな
95: 07/17(金)13:27 ID:dythpcIC(3/10) AAS
てか一部がAIによってかかれとるって宣言しとるな
全部AIの俺のとほぼ同じやない？
どうせ人間が関わっとる部分極小だろ
Fable5使ってる分俺のLEANの方が上まであるぞこれ
96: 07/17(金)13:31 ID:MXjr1UUB(1/6) AAS
発表会見てるけど、どうやらIUTの完全理解を目指してまだまだ続く、みたいだ
RIMSも参戦して、遠アーベル幾何学（復元）の完全形式化もすすめるらしい
多分年単位、下手すりゃ5年くらいかかんじゃね？
97: 07/17(金)13:47 ID:dythpcIC(4/10) AAS
結局ケドラヤが言っとるように鍵になるのは望月新一の言うとこのトートロジー的閉ループを証明が構成しとることよな
俺のプロジェクトのFable5の言い分と一緒やわ
98(1): 07/17(金)13:51 ID:dythpcIC(5/10) AAS
ん？？？LEAN公開しないのん？？めんどくせー俺の公開したくないんだが…公式で途中だからって出さないとか無能かよ
99: 07/17(金)13:52 ID:2do2FeBh(1) AAS
つまり何の進展も無かったということでしょくか
100: 07/17(金)13:58 ID:c3ojw30K(3/4) AAS
証明は無いが結論なの？ただの未完成品(完成できるかすら不明)？
101: 07/17(金)14:00 ID:vYHSR94t(1/10) AAS
「ショルツさん、ありがとうございいました」
が言えないだなあ
やっぱり
まあカスしかいねえからw
102: 07/17(金)14:02 ID:vYHSR94t(2/10) AAS
>>98
「ライブラリ作成がああある第一目標なんですうう」とか言ってたオッサン居たよなw
コイツww
👇
659 １３２人目の素数さん 2026/06/22(月) 08:19:54.53 ID:M/aVMyCz
LANA (Lean for ANAbelian geometry)の
『第1の目的は、遠アーベル幾何学の形式化とそのライブラリ構築』だ
外部ﾘﾝｸ:zen.ac.jp
加藤氏は大人だからね、失敗するプロジェクトなんてやらないんだ
一体いつから───LANAがIUT検証のためのプロジェクトだと錯覚していた？
省1
103: 07/17(金)14:07 ID:vYHSR94t(3/10) AAS
まあ、ライブラリ揃ってるのにも関わらず
証明できませんでした
って聞こえは素人も色々気付くからなw
ライブラリの進捗はIUT仕草でいつもの非公開w
いつまでもライブラリ未整備、整備中って言いながら税金抜きながら
IUTは間違ってない！ショルツがズレている
とか言い続けるんだろう
104(4): 07/17(金)14:18 ID:dythpcIC(6/10) AAS
LANAプロジェクトに一定の敬意を払いつつも
逃げ腰でLEANの公開なしってのは流石にどうかと思ったから俺のOpus4.8とFable5で作った
プロトタイプ、スケルトン、未完成、言い方は何でも良いが公開しとくわ
コメントはほぼ日本語なんで海外勢向けではないがな
まぁAIに読み込ませてコメント英語化するとか容易だろうし許せ
外部ﾘﾝｸ:github.com
105: 07/17(金)14:20 ID:dythpcIC(7/10) AAS
Githubの使い方もあまり分かってないから公開方法も適当だが許せ
106(1): 07/17(金)14:30 ID:dythpcIC(8/10) AAS
こっちにも貼っとく
Opus4.8とFable5で作ったIUTの形式化
外部ﾘﾝｸ:github.com
107: 07/17(金)14:31 ID:dythpcIC(9/10) AAS
あぁスレミスったごめん
108: 07/17(金)14:45 ID:nlvnCiy/(1/5) AAS
7/17報告の要約
・3月時点と比べ状況説明の分解能が上がった程度でほぼ進展していない。
・3.12の不明点は明らかになった。それは ηq=ηanab の証明。見通しはまったく未知。結論を出すのに必要な期間も未知。
感想
・IUT理解者とされる星が参加してなぜ上記のような状況なのか？
・PRIMSは何をもって査読OKとしたのか？
まったく不可解としか言い様が無い。
109(2): 07/17(金)14:59 ID:MXjr1UUB(2/6) AAS
Scholze-Stixの指摘も微妙に的外れだというのも今回わかったわ
誰だよSSは正しいとかいって盲目的に崇めてたやつらはでてこいよ
110(1): 07/17(金)15:02 ID:23BpFpic(1/3) AAS
だからね、分かんないことは批判するもんじゃないのよ。
大人しく成り行きを傍観していれば良いんだよ。
111: 07/17(金)15:26 ID:vYHSR94t(4/10) AAS
>>109
どう理解したんだよgtrワラタw
お前ハッタリしかねーじゃん
112: 07/17(金)15:27 ID:vYHSR94t(5/10) AAS
>>110
わかんないことを査読で通して税金抜いてるカスの仲間か？
113: 07/17(金)15:28 ID:eCH6e6gJ(1/4) AAS
>>109
そんなことどこにも書いてないが
114(1): 07/17(金)15:31 ID:23BpFpic(2/3) AAS
>>92
これがどれくらいのラインの話かってことが重要なんじゃないの？
単なる言い訳かどうか、発表を聞いて分かったのかね…。
115: 07/17(金)15:32 ID:Sz3Na3lH(1) AAS
× IUT理論は難解で理解できない
◯ IUT理論は数学で書かれてないので数学ではない
◯ 数学でないものに数学者は興味ない
◯ IUT理論を数学の形で書き直すことに失敗した
116: 07/17(金)15:33 ID:23BpFpic(3/3) AAS
>>92
正確に表していないかもしれないとは、なかなか曖昧な表現だね。
117: 07/17(金)15:33 ID:GUSdW0+l(1/4) AAS
SSレポートにもおかしい部分はある
(けどそれでIUT正しいってことにはならない)
ってのはかなり最初から言われてただろ
結局埋めなければならない致命的ギャップを望月が自明と言って逃げ続けてるだけの虚構
星が一年以上つきっきりで埋められなかったんだからもう今後復活の目は完全に消えたよ
118: 07/17(金)15:39 ID:MCVHoeHn(1) AAS
SSはIUTを数学として解釈したらこうなるから意味がなくなるよね？という批判をした
望月はそれは数学的に間違っていると罵倒した
じゃあ数学として解釈するとどうなるの？という疑問に8年間回答できていない
元々が数学になってない以上、SSの議論もある意味例え話になってしまうのは仕方ない
119: 07/17(金)15:48 ID:L3nKRT1o(4/5) AAS
>>114
よっぽど頭のいかれたやつでない限り、やっぱり自明じゃないよねって思うわな
120: 07/17(金)16:03 ID:nlvnCiy/(2/5) AAS
IUT理解者とされる星が1年以上かかって疑惑部分だけ（他はすべてブラックボックス）の形式化すらできなかった
これがすべて
121: 07/17(金)16:13 ID:eCH6e6gJ(2/4) AAS
IUT理論が後世で形式化に成功する可能性は0ではないが
現時点でIUTを理解したと言い張ってる人は著者本人含めて勘違いか嘘つき
122: 07/17(金)16:18 ID:urH1Jf7c(1/4) AAS
2020年2月京大PRIMSはIUT論文を「完全な論文」として
受理した。
しかし今回もIUT論文の3.11→3.12は数学の証明が未完と確認した。
scholze stixは単純化の手法を使い問題点を指摘し、
では単純化の手法が間違いなら数学の証明には何が必要か？
を問うた。
LANA.ケドラヤより複雑にするも数学の証明はない
川上量生企画望月新一監修加藤文元著IUT本によれば、
IUTTは数学でなく自然言語でなく望月新一語のIUT語で書いてある。この点を質問したらいかが
123: 07/17(金)16:44 ID:Zm+HV7El(1) AAS
そもそもSSはギャップに対して2通りの解釈を提示していて、どっちを採用しても証明になってないと指摘している。
この時点で一意に解釈できる形で書けていない証左でもある。
望月はSSの解釈は間違ってると批判したが、正しい解釈を示すことはしなかった。
今回のプロジェクトで正しい解釈を形式化することを試みたが、難しそうだという結論が得られた。
124: 07/17(金)16:52 ID:eCH6e6gJ(3/4) AAS
トンデモ論文を書く人自体は世の中にはいるから受理したPRIMSが一番良くない
125: 07/17(金)17:00 ID:Y3NcRstE(1/3) AAS
primaham(ﾟдﾟ)ｳﾏｰ
126(1): 07/17(金)17:00 ID:MXjr1UUB(3/6) AAS
まあいくらこのスレのアンチ共が足掻いたって、LANAプロジェクト（主にKedrayaとtopaz）がSSの主張は解像度が低いと公の記者会見と発表レポートで述べてんだから、まずその点は認めろよ
ちゃんと今日の報告会を聞いたか？レポート（会場のパワポも）も読んだのか？
127(1): 07/17(金)17:09 ID:urH1Jf7c(2/4) AAS
はあ、結局
トパーズとケドラヤは3.11
→3.12の数学の証明ができないだろう。
128: 07/17(金)17:14 ID:eCH6e6gJ(4/4) AAS
後出しで「解像度の高い」主張を出してきたとしてもそれで当時のSSが間違ってたことにはならんよ
論文にその「解像度の高い」主張は書かれてないんだから
で、その「解像度の高い」主張すらまだ出せてない段階ね
129: 07/17(金)17:14 ID:nlvnCiy/(3/5) AAS
SSがどうとか関係ない
重要なのは証明になってるか否かだけ
130: 07/17(金)17:19 ID:vYHSR94t(6/10) AAS
>>126
解像度w
根拠は？
131: 07/17(金)17:21 ID:c3ojw30K(4/4) AAS
埋まらないギャップがあると指摘されて、実際埋められないことが分かったんやね。未完の大理論はロマンはあるが未完に過ぎないので査読に通ったのは早漏だったんや。問題の明確化にすらこれだけかかったんやから本人以外分かったフリしてただけちゃうんw
132: 07/17(金)17:22 ID:SumKiFv9(1/2) AAS
IUT理論は「間違ってすらない」ってのが全てなんだよなあ
間違ってすらないからいつまでも「間違いと決まったわけじゃない」で先延ばしできる
まずは数学の論文の形にしてねって話なんだが
133(1): 07/17(金)17:23 ID:vYHSR94t(7/10) AAS
プロジェクトではIUT理論のうち証明が不十分だとされる部分について、問題を絞り込むことができたという。加藤所長は「『これがわかればいい』というところがわかった」と話す。
👆
今更これw
134(1): 07/17(金)17:24 ID:MXjr1UUB(4/6) AAS
>>127
あんた今日の報告を見てないな
レス資格なし
上下前次1-新書関写板覧索設栞歴
あと 107 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.544s*