探検


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

■ このスレッドは過去ログ倉庫に格納されています
1132人目の素数さん
垢版 |
2026/03/01(日) 08:38:29.95ID:3dmumsBe
前スレ:Inter-universal geometryとABC予想(シン応援スレ) 86
https://rio2016.5ch.net/test/read.cgi/math/1771501702/
詳しいテンプレは、下記旧スレへのリンク先ご参照
Inter-universal geometry と ABC予想 (応援スレ) 52
://rio2016.5ch.net/test/read.cgi/math/1613784152/1-13

(2030 ICM 日本開催に向け 力をためようということか)
https://www.mathunion.org/icm/icm-2026
ICM 2026
https://www.icm2026.org/event/ac193975-5d24-4628-8c30-ddb23de19a8b/catalog
Titles & Abstracts

https://ahgt.math.cnrs.fr/news/index.html
News of the AHGT project [Special year]2027-2028
Special year ``Arithmetic Homotopy Geometry'' at RIMS Kyoto, April 2027-March 2028.
Three Seasons: with main conferences, introductory lectures, and workshops

<2026年は 数学でもAIの時代になるかもです。そういう兆候が2025年から顕著になっていますですw (^^; >
<IUT最新文書>
・News – Ivan Fesenko https://ivanfesenko.org/?page_id=80
・望月新一@数理研 https://www.kurims.kyoto-u.ac.jp/~motizuki/
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
宇宙際タイヒミュラー理論 <新展開> 2025年5月、中国の若手数学者の周忠鵬はフェルマーの最終定理の一般化がIUT理論から得られると発表した
・日仏遠アーベル共同研究 Arithmetic & Homotopic Galois Theory IRN https://ahgt.math.cnrs.fr/activities/
<Grokipedia>
Inter-universal Teichmüller theory https://grokipedia.com/page/Inter-universal_Teichm%C3%BCller_theory
遠アーベル幾何学 https://grokipedia.com/page/Anabelian_geometry
アーベル圏 abelian category Grokipedia https://grokipedia.com/page/Abelian_category

https://zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介 2023年7月
審査の対象とする論文については、MathSciNetに載っていて、かつ、過去10年間に数論幾何の論文が10本以上掲載されている数学の専門誌に査読の上でアクセプトまたは掲載されたもの

://ahgt.math.cnrs.fr/activities/
Anabelian Geometry and Representations of Fundamental Groups. Oberwolfach workshop MFO-RIMS Sep. 29-Oct. 4, 2024
Org.: A. Cadoret, F. Pop, J. Stix, A.. Topaz (J. Stix IUT支持側へ)

://collas.perso.math.cnrs.fr/documents/Collas-Anabelian%20Arithmetic%20Geometry-IUT.pdf
“ANABELIAN ARITHMETIC GEOMETRY - A NEW GEOMETRY OF FORMS AND NUMBERS: Inter-universal Teichmüller theory or “beyond Grothendieck’s vision” Benjamin Collas Version 11/15/2023”

このスレの番号は前スレ43を継いでNo.44からの連番としています
(なお、このスレは本体IUTスレの43からの分裂スレですが、分裂したNo43スレの中では このスレ立ては最初だったのです!)
(余談)
Langlands program Geometric conjectures https://en.wikipedia.org/wiki/Langlands_program
つづく
2026/03/06(金) 03:06:10.38ID:KtUar2pS
無教養の話はツマラナイ
597132人目の素数さん
垢版 |
2026/03/06(金) 05:24:50.67ID:n4T4jAgt
>>591
>“big picture” Terence Tao、
>加藤文元 メンタルピクチャー
>これを鍛えるんだ!

>ある局面を見たとき急所はココという
>瞬時の閃きと感性が大事なんだよ

>局面を見たときに、着眼点が違うんだ

それ、論理ゼロの
「刺激に対する反射」
という動物的スキル
598132人目の素数さん
垢版 |
2026/03/06(金) 05:51:55.47ID:n4T4jAgt
>>591
>「正則行列くらい知っている」
>と平凡に答えずにひねって答えた
>「零因子行列のことだろ?知っているよ」

・・・といきがる動物1が
線形代数について知ってる
クラメルの公式(☆)

Adj(A) A = det(A) E (☆)

A   正方行列
Adj(A) Aの余因子行列
det(A) Aの行列式
E   単位行列

動物1の第一の反射

「任意の正方行列Aについて
その余因子行列Adj(A)を
行列式det(A)で割れば
Aの逆行列がAdj(A)/det(A)で
求まるじゃん I have a win!」

第一の反射の誤り
「det(A)が0だったら割れない」

はい、第一戦 動物1の一人負け(笑)

動物1の第二の反射

「てことはdet(A)=0なら
 Adj(A) Aは零行列O
 つまりAは零因子だ!」

第二の反射の誤り
「Aが零行列でなくても
 Adj(A)も必ず零行列になるとは限らない」
(Aは零因子になるが、BA=Oとなる
 行列BはAdj(A)では求まらない場合がある」

はい、第二戦 動物1の一人負け(笑)

上記 二回の敗戦の原因を考えると
「無条件で計算する誤り」
を犯していることがわかる

これが
rigorous訓練を経ない
pre-rigorous animal
の末路

rigorous訓練なしに
post-rigorous human
にはなれません

ざんねーん(笑)
599132人目の素数さん
垢版 |
2026/03/06(金) 06:37:39.04ID:n4T4jAgt
>>594
>数学研究においては AIやコンピューターは 禁止されていない!
>F1は レーシングカーでの競走で そこでは300km/時超えで 生身とは比較にならない速度
>AI時代の数学はあたかも F1 レーシングカーでの競走 みたくなるってことですね
>つまり、レーシングカーを操縦するテクニック + マシーンの性能 が問題になる
>それも マシーンがAI化されて 自律走行するかもだが ・・
>それでも 人間の数学者の役割は残る気がする。
>「こういう問題を解こうよ!」と 提案するのは 人間の数学者で AIと協力して解くのでは?

公式の係数を漫然と移すだけの
素人動物1の役割はないよ

>>595
>F1時代では なおさら Terence Tao の“big picture”が 重要になるでしょうね
>数学の厳密性の確保は大事だが

行列式が0かもしれないとか考えずに
漫然を割ればいいと脊髄反射し
Aが零行列でないから余因子行列も零でない筈
と何も考えずに脊髄反射する

そんな脊髄反射行動を全面正当化するために“big picture”が使われるのは
Terence Tao の意とするところではない
600132人目の素数さん
垢版 |
2026/03/06(金) 12:34:07.39ID:/BEXq1DC
>>595
なるほど
正方行列は正則行列とか言っちゃう人はbig pictureのスタート地点にすら立ててないってことですな
厳密な数学的思考にまったく慣れてない訳ですからね
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況