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
つづく

>>288
>ゲームとしての視点で見た数学は？
>数学AIがやっていることは、
>過去の数学文献を大量に仕入れて 盤上ゲームの局地戦に持ち込むこと
>局地戦に持ち込むことができれば、計算力パワー勝負して いまや人間の及ぶところではない

>では、ゲームとして見た数学が
>AIで全て尽くされるのか？
>答えは明確にNo！ だろう

そもそも、数学を
「定理を証明するゲーム」
としか見ない時点で
AIで全て尽くされる

しかし数学はそんなゲームではない
AIで尽くされない場所はあるが
そこがどこか見間違ってるので無意味

囲碁将棋マニアにはそれが見えない
囲碁将棋は人間の頭を悪くする

>（昔 シャンクスが円周率πを 20年かけて700桁計算した。
>いまなら 安物のPCで1日かからないだろう）

πの計算はもはや数学としては大した意味がない
数学を計算術としか見ない人は数学が分かってない

計算機の出現で
「数学は計算じゃない。証明だ」
と言った人類は、AI出現で
「数学は証明じゃない。〇〇だ」
と嘯くとき、〇〇に何を入れるか

大学から数学教授がいなくなり
中学・高校から数学教師がいなくなって、
ＡＩが数学を教えるとしても、別に構わないが
ヒトが数学を学ぶ意義がないかといえば
そんなことはないだろう　なぜそう思うか
それこそが数学がＡＩで尽くされない理由

数学を計算術、証明ゲームとしか思えない人は
数学の理解を放擲してるから
数学に価値を感じてない？