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

（関連）
GPT-5.6の参戦と 𝜏 圏
そしてFableはサイズが 𝑁 −3 の証明に苦戦していた。彼の試行錯誤は、Auslander-Reiten箙上の何らかの組合せ論を行っているように見えた。これに見覚えがあった私は、元指導教官の伊山修先生の𝜏 圏の理論の論文をFableとGPT-5.6の2人に渡し、𝜏 圏の組合せ論とこの予想が関連するのでは、という私の漠然とした直感を述べた：

それと、いわゆる 𝜏 のAR組合せ論について考えている。私の（元）指導教員が、たとえばAR箙だけから dim Hom(X,Y) を計算する方法などについて書いていた。君の言う「flow」の直感は、それに少し似た風味のものに見える：AR箙上の、何か組合せ論的な力学系だ。[...] これはゲームチェンジャーになり得る。

参考文献
[Iy]
O. Iyama,
τ-categories I: Ladders, Algebras and Representation Theory 8 (2005), 297–321;
https://doi.org/10.1007/s10468-005-0968-5
τ-categories II: Nakayama pairs and rejective subcategories, 同誌 8 (2005), 449–477.
https://doi.org/10.1007/s10468-005-0969-4

https://ja.wikipedia.org/wiki/%E4%BC%8A%E5%B1%B1%E4%BF%AE
伊山 修（いやま おさむ）は、日本の数学者。東京大学大学院数理科学研究科教授。 専門は表現論、とくに整環の表現論。博士課程の指導教員は土方弘明[2]で、日本の表現論の草分け的存在である岩堀長慶の孫弟子にあたる。

人物
1991年札幌北高校を卒業して京都大学理学部に進学。京都大学大学院理学研究科に進み、
1998年3月に博士号[1]を取得。姫路工業大学(兵庫県立大学)助手、同 講師を経て、
2005年名古屋大学多元数理科学研究科助教授、
2009年には30代半ばで教授となっている。
2020年 東京大学数理科学研究科教授。 多元環および整環の表現論の研究から出発して、Cohen–Macaulay加群の表現論の分野において斬新なアイデアを適用し、多くの未解決問題を解決した[3]。
高校生の頃から数学の才能を発揮。高校3年夏の1990年に国際数学オリンピック第31回中国大会に出場して銅メダルを受賞。2001年には若手数学研究者を対象とする日本数学会賞建部賢弘奨励賞を、2007年8月に第12回「多元環の表現論国際会議」で，年齢35歳以下の研究者を対象とする第1回 ICRA Award を受賞している[4]。

https://www.ms.u-tokyo.ac.jp/~iyama/index.html
Osamu Iyama

>>268 補足

論文斜め読みしてみた
細かい内容は 理解できないので 横に置いて（＾＾

おおまかには この榎本悠久さんの 複数の召使いのAIを
手足のように使う数学の力量が
良い結果を出せたポイントだと思った

些末だが、
数学AIが手放しの全自動で
未解決問題を解くのは まだまだ という印象です

比較で 盤上ゲーム
チェス、将棋、囲碁がある

チェスは ゲームの複雑さレベルが一番低く
IBMが人間のチャンピオンに勝ったのは 数十年前
（当時 盤上の手を全部しらみつぶしに計算したとか）

将棋は それより遅くて
変化も多いので モンテカルロ法を取り入れて
計算負荷を減らした
（ディープラーニングは まだ使われていなかった）

その後
囲碁では、ディープラーニング系の考えが
取り入れられた

さて、言いたいことは
チェス、将棋、囲碁
この3つとも 数学に比べれば その複雑さは
おもちゃレベルだが
どれも完全解析（つまりは先手必勝法）には
至っていないのが実情だってこと

なので 高等数学の研究が
プロ数学研究者の手をかりずに
進められる時代には まだ至ってないと
いって過言でないだろう

一方で、いまや プロ数学研究者も
AIを活用する時代が来たってことは
確実でしょう

>>269　AIも使えない素人には無関係だけどね

>>270
>AIも使えない素人には無関係だけどね

数学研究と
数学応用（実用）と
二つに分けると

数学研究より
数学応用（実用）の方が
圧倒的に裾野は広い

数学応用（実用）の方では
数学研究より 浅いレベルで済むことも多いだろう

ザコの多くは、いらなくなったってことかも
以前は 数学科出ましただけで 一目置かれていたかもだが

数学AI時代では、
それだけでは無価値かもねｗ

対人インターフェース
重要かもしれない

https://youtu.be/4JPLTOYoqXI?si=wo1Z_joispUSOCrb

>>271
AI時代でAIに質問する文章すら書けん奴は人間失格
動物として生きるしかない

まあ、動物のほうが幸せかもな　考えなくていいから