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

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