>>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日