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

>>287
>M月は関係なくなった？
https://rio2016.5ch.io/test/read.cgi/math/1767004988/710
2026/10/15(木) 06:52:33.70ID:NnIQw9ft
AIに乱獲された中には入っていない
(引用終り)

両者は関連していると思うが
１）囲碁将棋AIのように、限定された局地戦（盤面が囲碁19^2、将棋9^2内）では、すでにAIが人より上です
２）だが、限定された局地戦（盤面が囲碁19^2、将棋9^2内）でさえ 完全解析は未完です
　つまりは、将棋では先手必勝手順があり、囲碁でもコミ無しなら必勝だろう
３）将棋AI界で有名な”やねうら王”の記事を二つご紹介（下記）
　将棋という 数学から見ると ごく狭い世界でも 新しい手法が出た話が一つと
　一方で 将棋は先手必勝が確立されつつあるという話（未完です）
　囲碁は、コミが使えるから 対人ゲームの寿命は 将棋より長いだろう
４）では ゲームとしての視点で見た数学は？
　数学AIがやっていることは、過去の数学文献を大量に仕入れて 盤上ゲームの局地戦に持ち込むこと
　局地戦に持ち込むことができれば、計算力パワー勝負して いまや人間の及ぶところではない
　（昔 シャンクスが円周率πを 20年かけて700桁計算した。いまなら 安物のPCで1日かからないだろう）
５）では、ゲームとして見た数学がAIで全て尽くされるのか？
　答えは明確にNo！ だろう
６）さて abc予想は数学AIが局地戦に持ち込むネタが圧倒的に足りないのだろう
　M月さんのやったことは
　abc予想→楕円曲線に持ち込む→p進解析もどき独自のIUT理論（環構造を模したモノイドでの圏論的幾何？でしたっけ）→望月遠アーベル理論
　この連鎖のどこかで LEANで繋がらない部分があるという中間報告だった
　（可能性としては、LEANのライブラリーを追加して救えるかどうか？ or 救えないので路線変更するかどうか？）

期待も込めて 私見では『LEANのライブラリーを追加して救える』可能性はあると見ています（＾＾

(参考)
https://yaneuraou.yaneu.com/2026/08/11/finny-tables-implemented-in-yaneuraou/
やねうら王
finny tables、やねうら王に実装される
投稿日時: 2026年8月11日
将棋AI界に激震が走った。finny tablesという発明が将棋AIに持ち込まれた。詳しいことは下記のページを見てほしい
略す

https://yaneuraou.yaneu.com/2026/07/23/shogi-ai-black-win-rate-94-percent/
やねうら王
将棋AIの大会、ついに先手勝率94%になる
投稿日時: 2026年7月23日

言語障害朝鮮人がLLM濫用してもなんの意味もない
ただの公害

さつ伐としてきたな

数学自身が
AIの影響で（＾＾；

フィールズ賞受賞者がAIのせいで仕事がなくなったと泣いたらしい
もう人間の数学者はオワコンなんだろう

中身ねーなw
北朝鮮風味の空虚な擁護ww


@math_jin
望月新一氏の凄さ。 関わる人すべてが「あの人は天才だ」「あの人の数学には敵わない」と同音異口に言う。 それを「信者」と評する者もいるが、私の知る関係者は彼の言動や性格はきちんと批判しながらも、数学の能力は孤高の領域に達していると明言する。 それが、ただの心酔する信者とは違う証左だ。

https://note.com/katobungen/n/n20ae018293e6?sub_rt=share_pb
OpenAIの数学リポジトリにLANA-agentsが現れた日
加藤文元
2026年10月16日

2026年10月6日、OpenAIが、未公開の社内AIモデルによって生成された700本を超える数学の原稿を、関連するLeanコードなどとともにGitHub上に公開した。その内容に数学者たちの関心が集まる中、我々LANAのメンバーは、公開されたopenai/mathのlean/lakefile.leanというLeanコードに、「lana-agents」という文字列が11件あることに気づいた。我々がIUT理論の形式化のために設けたGitHub上の名前が、OpenAIの研究環境にも現れていたのである。

このことから、IUT理論の検証はAIによって可能なのか、そしてOpenAIをはじめとした世界の動きはどうなっているのか、といったことについて、いくつか新しい視点を得ることができたので、ここに少し打ち明けようと思う。

ここから先は
3,581語

>>295
金取るのか…

生活がかかっているんだろうな

将棋と違って、数学者でAI禁止なんて言ってる人はいない

何百ものAIによる論文が大量に投稿されて、そもそも人間の投稿者が分かってないような論文の正しさを見極める負担を査読者に丸投げするなという話

Human variations on AI mathematics
という題の論文がarXivに出た

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

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

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

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

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

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

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

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

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

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

Human variationsの意味するところは
端倪すべからざるものがある

数学の大衆化が始まるかもしれんね
数学は音楽や美術と同じ扱いになる

それはそれで別に構わない
数学に権威は必要ない
やりたいやつだけやればいい
興味ないやつは失せればいい

従来の数学　：人間による陸上競技
AI以降の数学：カーレース（笑）

カーレーサーは足が速い必要はないが
誰でも「世界一速い男」になれるか
といえば答えは否

まあ、別に世界一速い男になる必要もないが
誰でも車に乗るだろう　それで結構

AI望遠鏡説

数学は難しいので大衆化しないでしょう
AIに問題を解かせるにも大学数学科レベルの数学知識が必要なので

カズレーザー

焼酎二階堂ふみ

これからはAIの解答を解説するのが数学の勉強になるかな

>>301-302
ゲームで基礎づけると
直接的にネットでの認証に転用できる。
アリスとボブの通信プロトコルに言い換えられると本来のアラン・ケイが提唱した思想のメッセージ指向なオブジェクト指向らしい疎結合な記述にもできようというもの。