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

>>268 補足

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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