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

>>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の解答を解説するのが数学の勉強になるかな