Inter-universal geometryとABC予想(シン応援スレ) 93

前スレ：Inter-universal geometryとABC予想(シン応援スレ) 92
https://rio2016.5ch.io/test/read.cgi/math/1781308317/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

https://ahgt.math.cnrs.fr/activities/
Arithmetic & Homotopic Galois Theory IRN

https://rio2016.5ch.io/test/read.cgi/math/1781308317/246
「LANAプロジェクト」中間発表会 動画 「LANAプロジェクト」中間発表会
結論は、7月17日時点では、未決着（灰色）
キラン・ケドラヤ氏説明は、コンピューター検証 は 未達成だが、IUTがダメということも言えない
ということだったな
（下記の YouTube（日本語チャンネル））
https://youtu.be/g0QLL8iYECY?t=590
UT理論のコンピューター検証に関する「LANAプロジェクト」中間発表会
ZEN大学
1,504回視聴 7 時間前にライブ配信
ZEN大学「ZMC（ZEN Mathematic Center;ZEN数学センター）」は2026年7月17日（金）、IUT（宇宙際タイヒミューラー）理論のコンピュータ検証に関する「LANAプロジェクト」の中間発表会「LANA Project Interim Report 2026」を行います。
本発表会の模様をライブ配信いたします。
LANAプロジェクトはZEN大学（日本）、ユトレヒト大学（オランダ）、アルバータ大学（カナダ）を中心とする国際共同研究プロジェクトであり、数論幾何学の重要分野である遠アーベル幾何学の形式化と、京都大学数理解析研究所の望月新一教授が提唱したIUT理論の検証を主な目的としています。
【登壇者】
若山 正人（ZEN大学 学長）
加藤文元（ZEN大学教授・ZMC所長、LANAプロジェクト リーダー）
ヨハン・コメリン/Johan Commelin（ユトレヒト大学助教）
キラン・ケドラヤ/Kiran Kedlaya（カリフォルニア大学サンディエゴ校 教授）
アダム・トパーズ/Adam Topaz（アルバータ大学 准教授）

❙ ZMC（ZEN Mathematics Center; ZEN数学センター）とは
ZMCは、数論幾何学を中心とした現代数学や、コンピューター言語を用いた現代数学の形式化（formalization）の推進と発展を目指して設立された国際研究所です。
ZMCホームページ▶https://zen.ac.jp/zmc

https://zen.ac.jp/news/zmc0717
ZEN大学 2026/07/03
プレスリリース
IUT理論のコンピューター検証に関する 「LANAプロジェクト」
中間発表会を7月17日（金）に開催
YouTube、ニコニコ生放送にてライブ配信
番組配信：
YouTube　（日本語チャンネル）：https://www.youtube.com/live/g0QLL8iYECY
YouTube　（英語チャンネル）：　https://www.youtube.com/live/KADN5NHmIfw
ニコニコ生放送（日本語のみ）：　https://live.nicovideo.jp/watch/lv350854170
つづく

つづき

https://rio2016.5ch.net/test/read.cgi/math/1769304207/700
(まとめ 再投稿)
https://imgur.com/5pDCNKY
「図解 関数の連続・不連続とε-δ」
拙い図ですが （＾＾

１）図解にあるように
　逆像を考える意味は
　もし 関数y=f(x)が不連続ならば
　象y軸上で 不連続部分 例えばy0として そこのギャップを見つけて
　y0の近傍では 逆像に 不連続の証拠が出る（ε-δ論法を満たせない）
　ということ
２）要するに 不連続とは？ 象y軸上にギャップがあることだが
　しかし、これでは 数学の定義としては いまいちで
　数学的にスッキリした表現として コーシーが ε-δ論法を導入した
３）そこから 位相空間での 写像の連続の定義で
　開集合を 用いた表現が作られた

実関数 y=f(x)で 点(x0,y0)で連続の定義

位相空間論 開集合を使うと
y0の周りに開集合が取れて
　↓ 逆像f^-1
x0の開集合

これから、コーシーの”ε-δ論法”：
”任意の正の数 ε に対して、ある正の数 δ が存在し、x0 との距離が δ 未満であるどんな x に対しても、f(x) は f(x0) の差が ε より小さくなる：
∀ε >0, ∃δ >0 s.t. ∀x ;[ |x-x0|<δ → |f(x)-f(x0)|<ε]”
を構成するとしよう

y0の周りに開集合→ |f(x)-f(x0)|<ε ∀ε >0 （正のεは任意に小さくできる＝∀）
　↑ f ( "逆像f^-1" を使わず表現する)
x0の開集合 → |x-x0|<δ （あるδが取れる。Rは完備距離空間なので δによる開集合は 自明）

蛇足だが ギリシャ文字 εとδは、アルファベットの e と ｄに対応して
この順が y と x の 語順と整合している

だから
位相空間論
y0の周りに開集合が取れて
　↓ 逆像f^-1
x0の開集合
これだけを覚えておけば

あとは、自然に
上記コーシーの”ε-δ論法”
が すらすらと再構成できる
（お経として コーシーの”ε-δ論法”を暗唱する必要なし！ ）
つづく

つづき
私のつくった下手くそな図
https://imgur.com/5pDCNKY
「図解 関数の連続・不連続とε-δ」
とほぼ同じ図が 下記youtube動画で出てきます （＾＾

下記より
”ユークリッド空間R上の連続関数の同値条件
[定理]連続関数の同値条件
関数 f:R→Rに対して、次は同値である
�@fはR上で（ε-δ論法の定義により）連続である
�A任意の通常の開集合U⊂Rに対し、f^-1(U)はRの通
　常の開集合である”
とあります
（動画で ちょっと 細かい点で 気になるところはありますが いまはスルー （＾＾ ）

(動画解説) 再録
https://youtu.be/919lmVmSqOA?t=575
実数の関数fの連続性を位相空間上に一般化したい！位相空間 ...
YouTube · 速習大学数学【山本拓人】 2025/03/30
24:59
この関数の連続性を一般の位相空間上に拡張することを考えます． 結論としては「位相空間X,Yに対して写像f:X→Yが連続であるとは，任意の開集合U⊂Yに対して，逆像f⁻¹(U)⊂Xが開集合であること」と定義します． この動

あと、収束関連で
フィルター (数学) https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%AB%E3%82%BF%E3%83%BC_(%E6%95%B0%E5%AD%A6)
有向点族 https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E7%82%B9%E6%97%8F
も 一緒に勉強しましょう
（類似概念を 混乱しないように うまく学習することも 数学のコツです）
”河野玄斗の言葉 自分で勉強するのが一番効率がいい”(シン応援スレ 84) https://rio2016.5ch.net/test/read.cgi/math/1769304207/190

https://rio2016.5ch.net/test/read.cgi/math/1770774727/777
https://www2.math.kyushu-u.ac.jp/~joe/math/symp/index.html
大沢健夫先生集中講義 神本 丈のホームページ2019 九州大学
タイトル: 解析接続の問題に現れる解析と幾何
講義録 https://www2.math.kyushu-u.ac.jp/~joe/math/symp/ohsawa.pdf
数学はやればやるほど簡単になるはずであり、組み合わせの数は無限であっても、
行き詰るはずはないのである。 岡潔　『一葉舟』(角川ソフィア文庫　 2016)

スレ87 （ニコ） (^^)君 令和8年度東北大 研究科数学専攻入試 投下
https://rio2016.5ch.io/test/read.cgi/math/1772321909/779-856

つづく

つづき
なお、
おサル＝サイコパス＊）のピエロ、不遇な「一石」、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶり男で、アナーキストのアホ男です。
なお、IUTスレでは、「維新さん」と呼ばれることもあります。（突然“維新〜！”と絶叫したりするからです（＾＾；　）
( ://textream.yahoo.co.jp/personal/history/comment?user=_SrJKWB8rTGHnA91umexH77XaNbpRq00WqwI62dl 表示名:ムダグチ博士 Yahoo! ID/ニックネーム:hyperboloid_of_two_sheets＊＊） （Yahoo!でのあだ名が、「一石」）
（＊＊）注；://en.wikipedia.org/wiki/Hyperboloid Hyperboloid
Hyperboloid of two sheets ：://upload.wikimedia.org/wikipedia/commons/thumb/f/f2/Hyperboloid2.png/150px-Hyperboloid2.png
://ja.wikipedia.org/wiki/%E5%8F%8C%E6%9B%B2%E9%9D%A2 双曲面
二葉双曲面 ：://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/HyperboloidOfTwoSheets.svg/180px-HyperboloidOfTwoSheets.svg.png
おサル、あいつは 双曲幾何の修論でも書いたみたいだなｗ（＾＾）

1980年代にＷ大数学科に入学するも、初日に（飯高先生みたく）数学科の冷や水を 頭から浴びせられる 洗礼で
即日 詰んだ男。お情けで学部は卒業するも 修士は 情報系に。就職は コンピュータ関係らしいが

就職が 多分ブラックな仕事で 統合失調症の薬を飲むようになったようだ
下記 ”統合失調症では知能低下と脳容積の減少がみられることが知られている”とある
おそらくは 数学”イップス”になったのだろう https://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%83%E3%83%97%E3%82%B9
高等数学の議論が出来なくなったんだ・・ 彼は

(参考)
https://www.carenet.com/news/general/carenet/40333
統合失調症、脳容積とIQの関連
提供元：ケアネット
公開日：2015/07/17
　統合失調症では知能低下と脳容積の減少がみられることが知られている。オランダ・ユトレヒト大学医療センターの久保田 学氏らは、統合失調症患者のIQと脳容積との関連について調査し、統合失調症における進行性の脳組織減少が、発症初期における相対的な認知機能低下と関連している可能性があることを報告した。JAMA Psychiatry誌オンライン版2015年6月17日号の掲載報告。

＜＊）サイコパスの特徴＞
（参考）://blog.goo.ne.jp/grzt9u2b/e/c1f41fcec7cbc02fea03e12cf3f6a00e サイコパスの特徴、嘘を平気でつき、人をだまし、邪悪な支配ゲームに引きずり込む 2007年04月06日
://kotowaza-allguide.com/to/torinakisatonokoumori.html#:~:text=%E9%B3%A5%E3%81%AA%E3%81%8D%E9%87%8C%E3%81%AE%E8%9D%99%E8%9D%A0%E3%81%A8%E3%81%AF%E3%80%81%E3%81%99%E3%81%90%E3%82%8C%E3%81%9F%E8%80%85,%E3%81%A6%E3%81%84%E3%82%8B%E3%81%93%E3%81%A8%E3%81%AE%E3%81%9F%E3%81%A8%E3%81%88%E3%80%82
鳥なき里の蝙蝠 故事ことわざ辞典
【読み】 とりなきさとのこうもり
【意味】 鳥なき里の蝙蝠とは、すぐれた者がいないところでは、つまらぬ者が威張っていることのたとえ。
追記
オチコボレ サイコパスおサルの 連れの 落ちコボレさん が、もう一匹います。
「箱入り無数目 (あほ二人の”アナグマの姿焼き"Part3ｗ)」の連れです https://rio2016.5ch.net/test/read.cgi/math/1736907570/
つづく

つづき
＜サイコパスのおサルのバカ発言＞

https://rio2016.5ch.net/test/read.cgi/math/1770774727/625-
2023年の古新聞を検索したので 下記貼るよ
アホサル は、私が「零因子行列のことだろ？知っているよ」と切り返したら
自爆して 即詰みになった。さすがに アホですなｗｗ　（＾＾；
（次からテンプレへ入れる）

(参考)
＜ガロア第一論文と乗数イデアル他関連資料スレ2＞より
https://rio2016.5ch.net/test/read.cgi/math/1677671318/946
946１３２人目の素数さん
2023/04/06(木) 18:03:57.25ID:0vPZ1NRI
ありがとう
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』

（零因子に無知で 正則行列の条件→「零因子行列であること」と勘違いしているｗ）

確かに「正方行列の逆行列」という表現は、ツッコミどころではあった
（行列という言葉を知らない人のために、あえて正則行列を避けただけの単純な話だったのだが）
それが、おサルの暴発をさそって
『「０以外の体の元は乗法逆元を持たない」のつもりで「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』まで行けばｗ
怪我の功名というか
こちらとしては、大きな収穫であったｗｗ

（なお、正則行列は線形代数を学べばすぐ分かる話ではあります。用語使いとして正確ではないのだが）
(引用終り)

さらに Grok AI の余因子行列のハルシネーションを解説する ばかサル下記 （＾＾
https://rio2016.5ch.net/test/read.cgi/math/1771501702/185
Grok AI 余因子行列の説明への 赤ペン先生
（Grok AI）；"なぜなら：adj(A) が零行列でないとは限らない むしろ det(A) = 0 のとき、ほとんどの場合 adj(A) = O になる"

つづく

つづき

過去スレ55 ://rio2016.5ch.net/test/read.cgi/math/1623558298/813
813 名前：１３２人目の素数さん[sage] 投稿日：2021/06/24(木) 20:41:12.45 ID:mlJli1k0 [7/7]
(引用開始)
数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜
オカ、シムラ、モチヅキ
＞"intellectual debt"
確かにモチヅキは数学界に対して「知的負債」を負ってるね
自分の思いつきが論理的に正しいことを示す、という負債をね
(引用終り)
1．「数学における日本とかいう野蛮な島のジコチュウ●チガイの系譜 オカ、シムラ、モチヅキ」
　てめえ、何様のつもりだ？ 5ｃｈ数学板で便所の落書きしている数学落ちこぼれさんでしょ
　何をえらそうに！
2．「確かにモチヅキは数学界に対して「知的負債」を負ってるね
　自分の思いつきが論理的に正しいことを示す、という負債をね」
　てめえ、何様のつもりだ？
　論文書いて、査読してもらって、真摯に対応して査読を通してもらって出版してもらう
　ここまでは、終わったのです（＾＾
3．そして、今年6月末から4回の国際会議で、
　IUT普及の義務を果たします
4．おサルが理解できるように？
　それは無理！
　”（スレ55 ://rio2016.5ch.net/test/read.cgi/math/1623558298/158より）
　＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない
　ことも分からん「考えなしの素人」に数学はムリ”
などという
　これじゃ。三歳児レベルの知能じゃんかｗ
　このおサルには、IUTは百年早いぜｗ（＾＾；
(引用終り)

つづく

つづき

一句”不勉強 オチコボレのさばる 便所板”（字余り）
不勉強、言い訳だけは、いちょまえ
オチコボレ、言い訳だけは、一流だ （追加）
不遇な「一石」“鳥なき里のコウモリ”そのままで、“シッタカ”ぶりの、アナーキストのアホ男

「ごーまんかましてよかですか?」
「アホな同僚や相手に構うことほど、人生ムダなことはないよね」
by レトリカ・ブログ （学院長 川上貴裕）
百回音読しましょう！ｗ

(参考)
https://dic.pixiv.net/a/%E3%82%B4%E3%83%BC%E3%83%9E%E3%83%8B%E3%82%BA%E3%83%A0%E5%AE%A3%E8%A8%80
ピクシブ百科事典
ゴーマニズム宣言
『ゴーマニズム』とは、『傲慢』から作られた小林氏による造語で、各回の文末には「ごーまんかましてよかですか?」というキメ台詞

https://note.com/dcrg7mgm/n/n3eeb06fd35d0
アホな同僚や相手に構うことほど、人生ムダなことはないよね。
レトリカ・ブログ （学院長 川上貴裕）
2024年11月2日

どうしようもない人（以下、アホ）に限って、「どういうメンタルしているんだ？」、「なんでこんなやつが正規で受かってるんだ！」と思うほど、平然とした顔で、のさばり続けているのですよね。

世の中、理不尽なことばかりです。
略す
上記のように嫌みをこぼす、アホな同僚が、おそらく、皆さんの周りにもいることでしょう。

でも、こんな愚かなアホのせいで、自分の心が疲弊したり、病んだり、最悪の場合、教職を諦めてしまうことになることほど、理不尽なことはありませんよね。

では、こんなアホには、どう対抗すればいいのか。

いえいえ、今日はそんな話ではないのです。

マザーテレサの名言に、
「愛の反対は、憎しみではなく、無関心です。」
という言葉があります。

まさにその通りです。
アホに対して、憎しみをもったり、エネルギーを費やしたり、感情的になったり、帰宅後も脳裏に思い出したりすることほど、人生を無駄にしていることはないのです。
略す
また、田村耕太郎さんの『頭に来てもアホとは戦うな！』という書籍も、おすすめです！ぜひ、読まれてみてください！
(引用終り)

なお、
低脳幼稚園児のAAお絵かき
小学レベルとバカプロ固定
低脳で幼稚なカキコ

上記は、お断りです！！
小学生がいますので、18金（禁）よろしくね！（＾＾

テンプレは、以上です

テンプレです
>・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
>　↓
>・私「零因子行列のことだろ？知っているよ」

>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ？知っているよ」にした

テンプレです
>記号の濫用として a'2 ⊂UB1が ありか どうか？ ありでは？

テンプレです
>>UB1を小さくして a'2を含まないように分離できる
>小さくする仕方が不明
>>具体的な仕方は不要。
>>ハウスドルフだから 小さくして 分離可能の一言。
>ハウスドルフだからと書いたとしたら
>正則との違いを理解してない？と思われるだけかも
>>このスレには
>>位相空間論の初学者もいると思うので
>>はっきり否定させてもらうが
>>１）ハウスドルフは 空間の公理として普通に指定されるケースが多い
>>２）ハウスドルフ性は、良い性質を持つ
>>３）その肝が 分離性で 分離可能の一言 でだいたい片付くよ

テンプレです
>これで勘弁してあげるけど
>私のスレで 間違ったことを書くと 赤ペン入るってこと
>覚えておいてね

テンプレです
>まず、確率分布Prを定義するには、確率空間から始めないと学部数学の確率論にならない
>確率空間をどう定義しているのか
>次に、Pr(Bn,b)=1/n n∈N ならば
>Σ n=0〜∞ Pr(Bn,b)＝Σ n=0〜∞ 1/n ＝∞（∵1/nの無限和が発散するのは有名な事実）
>なので、明白に Pr(Ω)≠1 ですよ(ここにΩは全事象)

テンプレです
https://rio2016.5ch.io/test/read.cgi/math/1774707956/626
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ

テンプレです
>・選択公理によって、任意同値類の代表の存在が言える。が、どんな代表を選ぶかは、各人の自由だ

テンプレです
>>どの無限列を入れるかは自由だが、確率変数にするかしないか、の自由はない
>>つまり、一回入れたら二度と変更できない
>>毎回の試行で変更することは決して許されない
>そこ、吉田大学の札付きでも同じだよ
>そこを読めてないのは おまえ

テンプレです
>>なぜなら箱入り無数目では箱の中身はすべて定数だから
>誤解ですよ
>箱の中身は、現代数学の確率論で扱えるよ
>「箱の中身はすべて定数だから」？
>あほか
>重川を読め

テンプレです
>　まず 先頭の幾つかをあける。株価で1円単位とすると 例えば下記ソニーで 3234 ・・・と出る
>　次に、かなり離れた 後のしっぽを全部開けると 2000代とか3000代の整数が分る
>　そこから 先頭側としっぽ側とで 狭めていって 先頭からD番目を残して 前後を開ける
>　もし、「株価かな？」と見当がつけば、ブラック–ショールズ方程式に乗せてみる
>　それ以外には、統計処理で平均値を出したり 標準偏差を計算したりもありだ
>　そして D番目を推察するのだ

テンプレです
>そこを 箱入り無数目のように 列の自由選択に変更すれば
>「1/2に出来る」と誤読している人がいるが
>しかしそれでは、数学ストーリーとしてヘンｗ
>数学ストーリーは、札付き定理の完全否定！■

これはよきテンプレ
>>数学者は”固定”とか 変なこといわない
>>が、一つの議論の中では、関数”f1,f2,・・,fk,・・f100”は決まっている
>>”s = (s1，s2，s3 ，・・・)”
>>も一つの議論の中では 一定の値をとる
>出題列sが定数であることを認めた瞬間にそこから生成される100列の決定番号も定数と認めざるを得ない。
>単独最大決定番号の列はたかだか1列であることも認めざるを得ない。
>ランダムに単独最大決定番号の列を選択する確率は1/100以下も認めざるを得ない。
>その時だけ失敗だから勝率は99/100以上も認めざるを得ない。

よきテンプレです
>>>無数目で理解が難しいのなら、選択公理が効果的にはたらく、少しレベルを落とした話でもしたら良いのにと思っていた。
>彼の人は自分が「理解」していると見せかけたいだけだから
>たぶん無駄ですよ
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？

これはよきテンプレです
>箱入り無数目の確率空間は{1,2,…,n}ですが
>時枝さんの記事の最後の部分
>彼の人が理解に至らない罠のような記述の
>独立な確率変数の無限族についての考察は
>それ自体は面白い話だと思いますね
>ここが箱入り無数目と直接関係ないのは
>Xkが確率変数であって箱入り無数目で設定するような任意実数ではないことから明白ですが
>そのひとつひとつの値がXk=xkとなったとき
>xkは定数ですから独立という用語が意味を持たないにもかかわらず
>s=(x1,x2,…)という数列を箱入り無数目で出題すれば
>いくらでも1に近い確率1-1/nで
>その中の特定の番号（nやsに依存）の数xdが他の数x1,…,^xd,…から推測できるわけですので
>確率変数の独立性とはなんぞやと
>彼の人のようにあるいは京大マンガのように
>誤解・疑問を生むことになる訳です
>言わば「箱入り無数目の応用」により
>安直な（つまり彼の人や京大マンガのような）独立性の誤解をしてはならないとの反省材料がもたらされたわけです

テンプレです
>>「実数の構成に選択公理が必要」という君の独自説がそんなに面白いかい？
>
>必要だ。簡単に カントールの実数の構成 有理コーシー列を使う場合に限定するよ
>有理コーシー列は、加算無限有理数列だ。要するに、有理数Qから有理数を取り出して
>q0,q1,q2,・・,qi,・・ なる無理数rに収束する列を作る（細かくは rに収束する列は一つに限らないから 同値類を考える）
>q0,q1,q2,・・,qi,・・は、集合の元を整列させているってこと
>つまりは、整列可能定理が使える
>列長さが ω（＝最初の無限順序数）のときは、可算選択公理で足りる
>が、なんらの選択公理の不使用 つまり 可算選択公理さえ使わないならば
>加算無限有理数列は、構成できない！

テンプレです
>>そもそもQを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い
>
>笑える。下記の東北大 尾畑研 第16章整数・有理数・実数 P249 「■実数論」を 百回音読してね
>『Qを構成した瞬間に有理数列全体の集合 Q^N も存在しており、作る必要など無い』か・・
>独自説だねぇ〜、ユニークで笑える、が面白すぎｗｗ（＾＾

テンプレです
>冪集合公理により 任意の有限集合の類に対して、デカルト積を定義することが出来る
>この対偶命題：
>冪集合公理により デカルト積を定義することが出来ない集合は、有限集合ではない

テンプレです
>>Nは無限集合ですからQ^Nは普通はデカルト積とは呼ばないでしょうね
>赤ペン
>１）”Nは無限集合ですから”がダメ
>２）デカルト先生は R^2でデカルト積 (r1,r2) ｜r1,r2∈R
>　を考えた故事をしらないんだね
>　”Rは無限集合ですから”って デカルト先生に言ってあげようｗ

テンプレです
>・一方、Dedekind Cutsを使うと なんらの選択公理は不要だが
>　完備であることの証明はできない

テンプレです
>実数の公理を裏口から密輸している
>ZFC公理系で 実数の公理なんて使えないぞ
と
>で https://en.wikipedia.org/wiki/Construction_of_the_real_numbers
>を見ると、ZF公理系の話では無いだろ
>例えば
>Tarski's axiomatization of the reals
>とか
>それ 笑えるんだけど？（＾＾

テンプレです
>可算選択公理さえ仮定しない ZFのみでは・・
>1）コーシー列とデデキントカットの同値は言えない（別物？）

テンプレです
>おかしいねよ？ 可算選択公理ACω なしで 実数の構成できると言った人がいたけど
>たしかに、形式的には デデキントカット、コーシー列も それらしい まねごとは出来たとしても
>ガウスやコーシー、リーマン、ワイエルシュトラス、デデキント、カントール、ヒルベルト
>らが思っている実数（それは我々が求めている実数でもある）とはほど遠いよね
>
>可算選択公理ACω なしで構成した 実数の責任は？
>だれが どうとる？

テンプレです
>Jech, T The Axiom of Choice. North-Holland. Jelonek 1973
>CH.2, THE COUNTABLE AXIOM OF CHOICE
>P21の画像 を見て貰えば分るが
>THE COUNTABLE AXIOM OF CHOICEは
>コーシー列の収束を証明するのに重要な役割をしている

テンプレです
>>>　440より
>異なる自然数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>書かれている自然数の大きい方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>１）全体集合を場合分けする
>　ケース１ ある大きなしかし有限の自然数Mを取って 0〜Mのカードで考える
>　ケース２ 無限集合の自然数N全体を考える
>２）ケース１では、0〜Mのカードは 離散一様分布を成す（下記）
>　期待値（平均値）や 分散も存在する
>　この場合、A,Bの勝つ確率は おのおの1/2
>３）ケース２では、確率は考えられない
>　なぜならば、無限集合たる自然数N全体は、非正則分布を成すから（下記）

テンプレです
>>>　451
>(引用開始)
>偶数と奇数m,nをAが選びカードに書いて箱に入れる
>選び方はAの自由
>ここで
>Bは箱の中からランダムにカードを1つ取り出す
>Aは残った方を取る
>偶数を引いた方が勝ち
>さてA,Bの勝つ確率は？
>(引用終り)
>
>良い指摘だ
>いま、箱の中は 偶数1枚と奇数1枚の計2枚のみとする
>全体の数が2枚で有限だから
>普通に確率計算が可能で
>A,Bの勝つ確率は 各1/2ずつ

偶数と奇数m,nをAが選びカードに書いて箱に入れる
選び方はAの自由
入れた後でBがそのカードを両方取りだして
奇数を1偶数を0に書き直して箱に戻す
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
小さい方を引いた方が勝ち
さてA,Bの勝つ確率は？

>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
でフイタ

>>47-73
なんか ハエがたかっているな
IUT応援スレにハエがたかっているｗ

昔、将棋名人をゴミ呼ばわりして
自分は、それにたかるハエだと豪語した人がいた（下記）

ハエさん、がんばってね！ｗｗ （＾＾

(参考)
https://www.jiji.com/jc/v6?id=word35
時事ドットコムニュース>知ってる？>
あの人の忘れ得ぬ言葉
Q　名人なんて、○○みたいなもんだ
■ 将棋の升田幸三九段の言葉。実力はもちろん、破天荒な振る舞い、歯に衣着せぬ物言いで知られた天才肌の棋士だ。とある棋戦で木村義雄名人と口論になり、言い放ったのがこの言葉。鬼才ぞろいの棋士の間でも、時の名人にこんなことを言えるのはおそらくこの人だけだろう。さて…？■
　写真は、升田幸三九段 【時事通信社】
https://www.jiji.com/jc/v6?id=word35&a=1
A　名人なんて、ゴミみたいなもんだ
升田幸三
■ 二人のやりとりには続きがある。「ゴミ」呼ばわりされた木村名人、さすがに顔色を変えて升田九段に問うた。「名人がゴミだと言うなら、（それに挑戦しようとする）君は何だと言うのかね」。升田九段が返した言葉がふるっている。「俺か？　俺はな、ゴミにたかるハエだよ」。■

偶数と奇数m,nをAが選びカードに書いて箱に入れる
選び方はAの自由
入れた後でBがそのカードを両方取りだして
奇数を1偶数を0に書き直して箱に戻す
ここで
Bは箱の中からランダムにカードを1つ取り出す
Aは残った方を取る
小さい方を引いた方が勝ち
さてA,Bの勝つ確率は？

辿り来て未だ山麓
富士山麓オウム鳴く

武田鉄矢

ピヨピヨ、ヒヨコです🐣

超初歩問題>>75にも答えられないハエがなんか言うとる

>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
じゃあ君の意思でしっぽ同値類の代表を選んでみて
無限個選び終わるまで口閉じようね

望月の公理
望月が自明と言っていることは正しい

数学に上の公理が存在していないのが根本的な欠陥なのでは？

転載
https://rio2016.5ch.io/test/read.cgi/math/1781308317/902
>[PDF] Comments on the LANA Project Report of Kato et al.
>K Joshi - 2026

情報ありがとう
下記だね

https://sites.arizona.edu/kirti-joshi/
Webpage of Kirti Joshi
My reports on the Mochizuki-Scholze-Stix Controversy
https://sites.arizona.edu/kirti-joshi/files/2026/07/Comments-on-the-LANA-Project-Report-of-Kato-et-al.pdf
・Comments on the LANA Project Report of Fumiharu Kato et al. [Provides my comments on the recent (July 2026) LEAN Formalization of Mochizuki’s IUTT]

https://youtu.be/lWp7QiS3DlI?si=6G6SblPowatbsdTw

>>80
(引用開始)
>選択公理は存在のみなので 使えないので無視して、人の意思で代表をえらぶ
じゃあ君の意思でしっぽ同値類の代表を選んでみて
無限個選び終わるまで口閉じようね
(引用終り)

選択公理が理解できていないハエがいる
簡単に補足しよう

1)下記の選択公理を適用しようする集合系が、有限であれば具体的であって、選択公理不要（∵有限帰納法によって簡単に示されるので選択定理）
2)集合系が、無限であれば選択公理が必要になる
　このとき、選択公理が示すのは 存在のみなのだが
3)さて、上記の議論は 下記URLの箱入り無数目の中の会話の一部を切り取ったもの
　https://rio2016.5ch.io/test/read.cgi/math/1780699023/1-2
　箱入り無数目で使う集合系は100個(100列) あるいはn個(n列)だから
　簡単に有限での選択公理 つまりは 選択定理に落とせる（人の意思で代表も選べる）という議論

まあ、ハエには難しかったらしいな（＾＾

(参考)
https://ja.wikipedia.org/wiki/%E9%81%B8%E6%8A%9E%E5%85%AC%E7%90%86
選択公理（ axiom of choice）とは、集合論の公理系を構成する公理の一つであり、非空集合のみを元とする集合（すなわち集合の集合）があるときに、それぞれの集合から一つずつ元を選び出して新しい集合を構成できると定める公理である。選出公理ともいう[1]。1904年にエルンスト・ツェルメロによって初めて正確な形で述べられた[2]。平行線公準以来、もっとも議論された公理である[3]。

定義
本節では、集合の集合を集合系という[注釈 2]。
下記の命題を選択公理といい、
f を選択関数（英語版）という。
公理 ― 任意の集合
X について、非空集合のみが
X の元であるとき、ある関数
f が存在し、f は X を定義域とし、
X の任意の元 A について、
f(A) は A の元である。

有限集合への制限
選択公理の一般的な定式化では集合系が無限か有限かについては述べられていないので、 当然、非空集合の有限集合（系）も選択関数を持つことが従う。しかしながら、この場合はZFで選択関数の存在が、有限帰納法によって簡単に示される。

選択公理と等価な命題
以下の命題は全て選択公理と同値である。つまり、以下の命題のいずれかを仮定すると選択公理を証明することができるし、逆に選択公理を仮定すると以下の命題が全て証明できる。

整列可能定理
任意の集合は整列可能である。

ツォルンの補題
順序集合において、任意の全順序部分集合が有界ならば、極大元が存在する。（実際の数学では、この形で選択公理が使われることも多い。）

ベクトル空間における基底の存在
全てのベクトル空間は基底を持つ（1984年にen:Andreas Blassによって選択公理と同値であることが証明された。ただし、正則性公理が必要になる）。

選択公理の制限
選択公理よりも弱い公理として、可算選択公理（英: countable axiom of choice,denumerable axiom of choice）というものも考えられている[8]。
→詳細は「可算選択公理」を参照
カントール、ラッセル、ボレル、ルベーグなどは、無意識のうちに可算選択公理を使ってしまっている。

（どこまでもストローマン論法だな）

しっぽ同値類の代表を選べと言ってるのになぜか100列の代表を選ぶ話にすり替える詐欺師

これならどうかな？
R∋x≠0に対してxと-xの書かれたカードが入った箱がある
Bはランダムに箱から1枚カードを取り出す
Aは残りのカードを取る
大きな値を引いた方が勝ち
A,Bの勝つ確率は？

頑なに答えない不成立派ｗ
一体何を守ろうとしてるのか？　守るべきものなんて実際には存在しないのに

>>86
100列は決まってるからね
その100列の決定番号の最大値が
開けた99列の決定番号の最大値と
同じである確率が99/100以上

>>89
いや、実際に起きること
１）100列のうち、特定の１列を残して 他の99列のしっぽを開ける
２）99列のしっぽ同値類が分かる
３）使うのはこの99列のしっぽ同値類のみなので、
　その99列のしっぽ同値類の代表を決めて
　そして99個の代表番号d1,d2,・・d99を知る
４）dm＝max(d1,d2,・・d99)を知る
５）残り１列につき dm+1から後ろの箱を開けて しっぽを知り 属する同値類を知る
６）さて、同値類の中を見ると、しっぽの一致がdm+1以前に一致が終わっている列が多数あり
　しっぽの一致がdm+1まで続いている 列もある
７）当然 しっぽの一致がdm+1まで続いている列を選べばいい
　しかし、選んだ代表の列のdm番目と 問題の１列のdm番目が一致する確率は確率理論通り！■

ちゃんと、一致する確率は確率理論の通りになりましたとさ！ｗ
目出度し目出度し！！ｗｗ

>>90
君それ全然違うことやろうとしてんだけど
>７）当然 しっぽの一致がdm+1まで続いている列を選べばいい
時枝さんの記事ちゃんと読んでないんじゃない？
同値類の代表元を「選ぶ」のは君じゃない
その代表元は選択公理によって決められている
そしてその代表元と問題の1列のdm番目が一致する確率が99/100または１ってこと
前から「同値類の確率測度が0」とか関係ないこと書いてると思ってたが
>しかし、選んだ代表の列
同値類の中から代表元を「選ぶ」話に誤読していたとは

>>90
これは君はどう思うの？
R∋x≠0に対してxと-xの書かれたカードが入った箱がある
Bはランダムに箱から1枚カードを取り出す
Aは残りのカードを取る
大きな値を引いた方が勝ち
A,Bの勝つ確率は？

>>86
あるいは代表元を「選ぶ」という用語に幻想を抱いている？
選択公理によって「選ばれる」（つまり決まっている）んだよ
選択公理とは
同値類に対して代表元を対応させる選択関数が存在するというもの
その選択関数がどんなものかは分からないが
存在するんだからそれを使って代表元が「決まる」わけ
y=f(x)
がどんなfか分からなくても
xに対してf(x)が「決まる」ように
∀f:R→R,∀x∈R:#{y:y=f(x)}=？

>>90
>３）使うのはこの99列のしっぽ同値類のみなので、
>　その99列のしっぽ同値類の代表を決めて
箱入りは選択公理を仮定しすべての類の代表を決めているからストローマン論法。おサルはそれしかできない。

時枝「設定Xから結論Yが言える。」
サル「設定Zから結論Yは言えないから時枝は間違いだあー！」←どうしようもない馬鹿

馬鹿は死ななきゃ治らない
サルはどうしようもない馬鹿なので一回死んだ方が良い

007は２度死ぬ。
100万回生きたねこ

『警察の不祥事　徹底解説シリーズ　第五弾』
　
（前回までの話）

警察とは、学生時代、あらゆる戦いに負けに負け続けたバカなクズが、行き場を無くし、最後に行き着く就職先として有名です。

しかしながら、マスコミは、警察の出す資料がスクープ記事になるので、警察がバカなクズの集団と知りつつ、彼らを賛美するドラマや映画を作り続けてきました。（社会経験のない主婦層などを洗脳するものとして、これらは機能）

2026年、岡山県警の警視が、女性記者を酔わせて、猥褻行為に及んだ事件があったように、マスコミは警察という組織に頭があがらないので、警察を原則的には賛美します。スクープ欲しさに。

警察官は、世間に周知させようとした世界観、人物像とは裏腹に、負け犬たちの集まりなので、もともと、劣等感が強く、凶暴です。そのくせ、野心だけ持っているような地元のチンピラ、ヤンキーなので、強い相手には噛み付かない一方、弱い相手には徹底的に強く出ます。

第五弾は、兵庫県警

小中学生の女児を相手にイキり散らし、政治家や暴力団相手には、仕事をするふりだけしている腐れ外道っぷりをご照覧あれ。

一、障害者施設で働いていた16歳の少女が、障害者同士の喧嘩を止めたところ、兵庫県警は止めた少女を逮捕。ショックを受けた少女は拒食症になり死亡（重度知的障害者が、嘘で彼女から暴行を受けたと被害を申告したのを信じた）。

二、小学生の女児に自白を迫り監禁する（修学旅行で女児にちんちんを触られたと嘘をついた男児の発言を本気にした兵庫県警が、女児を監禁し自白を迫り、冤罪の自白調書を取る大手柄！）

三、暴力団や政治家とは、いつも通り、仲良し。天下りなどが出来るので、パチンコもソープランドも全て放置。和歌山県警の警視は、無料でソープランドを数年間利用し、後日トラブルになり週刊誌報道されるが、内部の処分はなし。

abc予想的なものを説明してるのかと思ったらAIに作らせた間違ってる画像をこれは気にしないでくださいとか言ってる死にそうなリハッククオリティ

701 名無しさん＠恐縮です 2026/08/15(土) 13:41:31.61 ID:3cD2kfkc0
「自分が言ってることを信用してない人たちに向けて別に証明するつもりもない」みたいなことをよく言うけど、
まさに超能力者（笑）とかがよく言うセリフだなぁと思って見てる
https://hayabusa9.5ch.io/test/read.cgi/mnewsplus/1786497408/701

Joshi とjin はゴミ

あんたがたどこさ　塩さ
塩どこさ　塩粘さ
塩粘どこさ
ボンベさ　ボンベ会社にはカズアキおってさ
それを自分で開示して怒ってさ
口座さ　貯金さ　名前さ
それを弁護士でちょいと隠せ

Joshi とjin はゴミ

星裕一郎先生、がんばってください
https://www.kurims.kyoto-u.ac.jp/~yuichiro/talks.html
星裕一郎（京都大学数理解析研究所）
講演
予定

https://sites.google.com/view/rims-ant-2026/
代数的整数論とその周辺 2026,
東京大学,
2026.12.7-2026.12.11.
会場：東京大学大学院数理科学研究科 NISSAY Lecture Hall（大講義室）〒153-8914 東京都目黒区駒場3-8-1

概要：この研究集会は京都大学数理解析研究所 (RIMS) の共同研究事業の一環として開催されます．代数的整数論，岩澤理論，p進ガロア表現とp進コホモロジー， 数論的基本群，分岐理論，代数的サイクルとモチーフ，保型形式とガロア表現，多重ゼータ値，逆ガロア問題，計算機数論など，広範囲の数論をテーマとしています．

過去3年の研究集会情報はこちら：2025, 2024, 2023, 運営委員会のHP

Joshi とjin はゴミ

統一中曽根歌舞伎タワーw

math_jinさん、えらい
がんばってPRよろしくね

そもそもが、日本数学界がおりにふれて、文科省にPRすべき
日本数学会のホームページにも、Abel Prizeは ノルウェーが スウェーデンのノーベル賞を補完するものとして
1899年に構想されていたものだが、実現は2001年になった歴史があるということを記載すべき
アーベル賞受賞は、文化勲章に十分あたいするということも 記載すべきです

https://x.com/math_jin
math_jin Aug 11
#文化勲章 #文化功労者 #柏原正樹 #忘れられる数学
今年こそ、アーベル賞受賞、ICMチャーン賞受賞の柏原正樹氏に文化勲章を！
Quote
Oct 18, 2025
今年「数学のノーベル賞受賞」と話題になった柏原正樹さんですが、昨日発表の文化勲章、文化功労者には選出されませんでした。
熱狂の陰で、忘れ去られる数学
(引用終り)

https://en.wikipedia.org/wiki/Abel_Prize
Abel Prize
The Abel Prize's history dates back to 1899, when its establishment was proposed by the Norwegian mathematician Sophus Lie when he learned that Alfred Nobel's plans for annual prizes would not include a prize in mathematics. In 1902, King Oscar II of Sweden and Norway indicated his willingness to finance the creation of a mathematics prize to complement the Nobel Prizes, but the establishment of the prize was prevented by the dissolution of the union between Norway and Sweden in 1905. It took almost a century before the prize was finally established by the Government of Norway in 2001, and it was specifically intended "to give the mathematicians their own equivalent of a Nobel Prize."[7]
(google訳)
アーベル賞の歴史は1899年に遡り、ノルウェーの数学者ソフス・リーが、アルフレッド・ノーベルの年間賞の計画に数学の賞が含まれていないことを知ったときに、その設立を提案した。1902年、スウェーデンとノルウェーのオスカル2世国王は、ノーベル賞を補完する数学賞の創設に資金を提供する意思を示したが、1905年のノルウェーとスウェーデンの連合の解消により、賞の設立は阻まれた。ノルウェー政府によって最終的に賞が設立されるまでにはほぼ1世紀かかり、2001年に設立され、特に「数学者にノーベル賞に相当するものを与える」ことを目的としていた

https://ja.wikipedia.org/wiki/%E6%96%87%E5%8C%96%E5%8B%B2%E7%AB%A0
文化勲章
受章者選考手続き
慣例として、当年のノーベル賞受賞者が文化勲章未受章の場合にも授けられてきた。この慣例は、未受章者であった江崎玲於奈が1973年（昭和48年）に物理学賞を受賞した際翌年受章することになったことに端を発し、それ以降のケースではノーベル賞と同年となった（これが“ノーベル賞受賞で政府が慌てて文化勲章を授ける”ように見える一因である。江崎以前のノーベル賞受賞者は全員が先に文化勲章を受章していた。1994年（平成6年）に文学賞を受賞した大江健三郎は辞退し[11]、2019年受章の吉野彰（化学賞受賞）[12] は文化功労者にも選ばれていなかった

>>107　国粋馬鹿

愛国というよりも・・
数学者に政治を説くのは、釈迦に説法の逆かも
三歳児に線形代数を教えるごとしだろうか？ｗ
さはさりながら、いまどきの数学界も文科省・経産省内の予算競争の面もあるから・・・ねぇｗ
世論喚起のため 必要なアピールは、しっかりやるべきだろう

グロタンディークは極左で長生きした
タイヒミュラーは極右で早死にした

IUTは旧満州朝鮮偽右翼か

>世論喚起のため 必要なアピールは、しっかりやるべきだろう
と、三歳児が申しております

>>109
エセ科学の中身をどうにかしろよゴミは
あと態度な

朝鮮の文字は見飽きた。

jin がまた自演

>>114
お前の故郷だしな

笹川ww

そろそろ霊能力だのハッカーだの地震予知だの始めるろだろう
IUTおばさんとかあのあたり

あ、あと自分は皇族とか言い出すのw
これは来そう

ほんとバカだからな
逃げ道がないから

ドワンゴも飽きた

>>120
ゴミの巣窟から話題逸らしw

LANAプロジェクトの教訓として
１）数学AIを使える人材の育成
２）Lean など 証明ソフトを使える人材の育成
３）数学AIを支えるハードウェアの確保と環境整備（日本全国どこからでも使える）

これの予算取りが必要だね
そして、IUTのLANA完遂だ！！

>>122　〇違いザル

>>110
ガロワとオイラーにそれ言えんの？

ガウスもねー

ガウスもねー

大事なことだから２度なんだねー　目ん玉ひんむいてよく見やがれ！ってんだよー
そもそも政治思想で早死に長生きって完璧にリンクした法則なんかあるわけ無いやろ。
アホかこのダボ。

>>95
シンギュラリティを迎えたら自殺するの？
AIよりバカだからって敗北を認めて死ぬの？

しなないよね！
そだよね！

われおもう！ゆえにわれあり！

しwなwなwいwよw

>>128
>シンギュラリティを迎えたら自殺するの？
>AIよりバカだからって敗北を認めて死ぬの？

・数学シンギュラリティの第一期は、数値計算の分野で 80年くらい前に 起きた
　例えば、円周率 1873年ころ シャンクスが手計算で 小数第 530 位まで 約20年手計算した結果と言われる
　一方、1949年計算機ENIACで 2037桁を 70時間かけて計算した
　その後は、ご存知の通りで 数値計算は人はかなわなくなりました
・数学ロジック分野でも、いまシンギュラリティの真っ最中か（プログラミングでも同様だ）
　これを考えるに、AIが先行する囲碁・将棋が参考になるだろう
　将棋は 9x9の盤面にコマは40枚で、いまや将棋AIに人は勝てない
　が、多分先手必勝か、引き分け無勝負（相入玉の持将棋）だろうが、将棋AIでも結論は出ていない
　（もし、結論が出て 先手必勝とかが判明すれば、ゲームは成り立たないはず）
　囲碁も、同様だが19ｘ19盤で 手数が長く 将棋より結論が出るのは遅れるだろう
・では、数学は？
　将棋9x9の盤面、囲碁19ｘ19の盤面？ｗ
　数学の複雑さ 広さからみれば、全く比較にならない複雑さだが、AIは結論を出せていない！
　要するに、AIを使って人が数学をする時代になったということだろう
　あたかも、人が数値計算で計算機を使うがごとし（囲碁将棋でAI使って研究するような） （＾＾

(参考)
https://ja.wikipedia.org/wiki/%E5%86%86%E5%91%A8%E7%8E%87%E3%81%AE%E6%AD%B4%E5%8F%B2
円周率の歴史
1850年頃 - 1873年
[値] (527) イギリスのウィリアム・ラザフォードとその弟子のウィリアム・シャンクスがマチンの公式を用いて桁数の記録を塗り替えた。1852年にラザフォードが小数第 441 位、シャンクスが小数第 530 位まで計算し、小数第 441 位までは両者の計算が一致していることでその計算の正しさを確認できた。しかし、arctan 1/5
が小数第 530 位までしか正しくなく、シャンクスの計算で正しかったのは、小数第 527 位までであった
計算機による計算の時代　— 20世紀後半以後 —
1949年
[値] (2037) ライトウィーズナーが ENIAC を用いてマチンの公式により 2037桁を 70時間かけて計算した[80][81]。

https://ja.wikipedia.org/wiki/%E5%B0%86%E6%A3%8B
将棋
将棋の対局には縦横9マスずつに区切られた将棋盤と将棋駒を用いる。
(81マスの将棋盤と40枚の将棋駒を使用)

オチコボレがまたクソ持論吐いとる

秀才たちが落ちこぼれるのを見るのが嬉しいんだろな

>>131-133
・実例を下記3つ
　一つは、AnthropicのAIで「リーマン予想」の証明を前進
　二つには、OpenAI、次期モデルは「Astra」　数学の未解決問題を解決
　三つには、ある個人がIUT関連で Claude Opus4.8とFable5で IUTを一月でLean検証した話
・この3つとも、AIに何を食わすか？ それは人間が考える必要あること
　さらに、Anthropicでは『スタッフからの励ましを受けて再挑戦』とあるので
　ニヤリ

あと、囲碁でAIが導入されて プロ囲碁界がどう変ったか？
数学者にして 囲碁7段格の御大が巡回しているから、聞いてみな
いまどき、プロ囲碁棋士でAI使わない人はいない。数学でもそうなるだろう

(参考)
1)
https://news.yahoo.co.jp/articles/3b757becf47d4277d09088483daafc7e898340ea
AnthropicのClaudeが167年未解決の数学最大の難問「リーマン予想」の証明を前進
8/11 ビジネス＋IT

同社スタッフのJarred Sumner氏からリーマン予想への挑戦を指示されたClaudeは、最初の650回の試行では有効な結果を出せなかった。しかし、スタッフからの励ましを受けて再挑戦し、約60のサブエージェントを1日半にわたって協調動作させた。これらのエージェントは2400回のシェルコマンドを実行し、数百のPythonスクリプトを作成したうえで、既知の零点に対する数千回の数値検証や互いの成果の査読を行った

新たな結果を発見した後、Claudeは自らarXivから54本の論文をダウンロードして同一の発見が既に存在しないかを確認し、ゼロから独立して再証明を行うなどの自己検証を実施した。導き出された証明はAnthropic社内の数学者2名によって検証され、当該分野の専門家であるBrian Conrey氏とDan Goldston氏による確認も行われている。さらに、証明支援言語Leanを用いた形式化も完了し、機械的な論理検証ツールを通過した

Anthropicの発表によれば、未公開の研究版Claudeは、過去に発表された複数の数学論文の手法を独自の形で組み合わせることで、この下界を一気に67.2%へと引き上げることに成功した。具体的には、Baluyot氏やGoldston氏らの先行研究と、Bombieri氏が2000年に発表した論文の成果を統合した

2)
news.yahoo.co.jp/articles/
news.yahoo
OpenAI、次期モデルは「Astra」　数学の未解決問題を解決
8/3 Impress Watch

1日に公開した「数学と理論計算機科学における10の進展(Ten advances in mathematics and theoretical computer science)」とする投稿の中で、明らかにしたもので、10年間、あるいはそれ以上の期間進展が見られなかった数学問題について、社内バージョンの新モデル「Astra」が成果をあげたと紹介している

これらの問題は、高次元幾何学、符号理論、算術回路複雑性、群論、演算子代数、量子複雑性、格子暗号など幅広く、数学コミュニティにとって重要な成果として説明。また、これらの問題の解を見つけるために必要なトークン費用は、(GPT-5.6の最上位モデル)Sol APIのレートで換算すると2,000ドル程度だったとしている

OpenAIでは、次期モデルについて多くの説明はしていないが、AIより洗練された研究パートナーへと進化する中、科学者や数学者が各分野の未来を切り拓き、その方向性を定めることを支援するために、AIへの広範なアクセスを確保することが不可欠としている
つづく

つづき
3）
https://rio2016.5ch.io/test/read.cgi/math/1781308317/588-589
ID:13yLpBZq さんの労作
(引用開始)
Claude Opus4.8とFable5使ってIUTを1から地道に検証するプロジェクトを個人的にこの一ヶ月やってみたがFable5の言い分は以下だった
IUT理解者に対する要請部分のみを書く

4. 要請
以下のいずれか一つをご教示いただきたい:
(A) 箇所の特定: (P) が(定義的措定ではなく)導出されている箇所 —— 論文・節・命題/Remark 番号 —— の特定。 すなわち、ラベル配置「テータ値 q^{j²} が j 成分に置かれる」から 受信側測度の主張「その可能な像の包が深さ ⌊j²·ord(q)−d−a⌋−b の領域に含まれ、 その体積が同じ正規化で q-標対象と比較可能である」への移行が遂行されている箇所。
(B) 機構の提示: (A) が「複数箇所の組合せから従う」場合、その組合せの明示 —— 各ステップが (i) 特定された構造の間の同型、(ii) 特定された正規化での体積計算、 (iii) 特定された領域の包含、のいずれかである形の命題列+証明の概略。
(C) 同値な別形: 実曲線(の無限族)に対する評価 L ≥ (l(l+1)/12 − 1)·|log(q)| の導出 (F3 により (P) の一様供給とこれは同値である)。

5. 予備的注記(想定される応答について)
略

6. 検証のコミットメント
(A)(B)(C) のいずれかが供給されれば、我々はそれを既存の形式化 (受け口となる構造は実装済み)に接続して機械検証することを約束する。
導出が成立すれば、検証結果は「Thm 3.11 ⟹ Cor 3.12 の連鎖は結論の独立な導出を含む」 —— すなわち望月理論側の確定 —— に翻り、その旨を同じ厳密さで記録する。
本要請は反駁ではなく、係争を機械検証可能な一点に絞り込んだ上での、 その一点についての情報提供の依頼である。

2. 論点の単離: ただ一つの入力
上記を全て投入すると、「Thm 3.11 ⟹ Cor 3.12 ⟹ 高さ不等式」の連鎖の検証は、 次の一命題の導出に正確に還元される(これが我々の主定理群の内容である):

(P) [IUTchIV] Thm 1.10 証明 Step (v) において、Θ-標対象の可能な像の合併 (indeterminacies (Ind1), (Ind2), (Ind3) 込み)が、v_j ∈ V^bad の成分で λ := ord(q^{j²}) とした容器 φ(p^λ·(R_I)~) ⊆ p^{⌊λ−d_I−a_I⌋}·log_p(R_I^×) に含まれる —— ここで体積は、[IUTchIII] Cor 3.12 証明 Step (xi-d)–(xi-f) で q-標対象の測定に用いられるものと同一の procession 正規化 mono-analytic 対数体積(受信側 (1,◦) の正規化)である
(P) を認めれば以降は全て機械的に従う(検証済み)。問題は (P) 自身の導出である
(引用終り)

https://github.com/Takkun-kohinata/IUT_LEAN
Opus4.8とFable5で作ったIUTの形式化

コピペ低学歴マジ知的障害だな

笹川も飽きた

同じことしか言えない。

コピペマンって代数幾何学の基礎知識もない、それどころか数学科1年レベルの微積分と線形代数も分かってないんでしょ?(´・ω・｀)
それなのに何でIUTが正しいかどうかにそんなに執着してるの？(´・ω・｀)

>>137
エセIUT工作の総本山じゃねーかw
バカかお前
これなかったら望月も川上も加藤もいきってねーでコソコソしてんよw

NPD障害者は数学分かってるフリをやめられない