ゆます🌗

数学、特に数論幾何に興味があります

[ナオト博士｜地球科学x AI @nimmr2]

「AIが難問を解きまくってる今、博士に進んで大丈夫なんか」

3Blue1Brownが、まさにこの質問に40分かけて答えた動画を出してた（公開4日で200万再生超）。全部見たので、要点を日本語でまとめておく。

結論から言うと、動画の答えは「今ほど数学に進むのに良い時はない」。ただ理由が意外だった。

1. 数学者の仕事は「証明」だけじゃない。問いを選ぶ、理論を作る、応用する、人に伝える。価値もお金の流れも、実は証明以外のところが大きい（お金の最大の出どころは授業！）

2. AIの見方：「その時点の到達点は過大評価されがち。でも進む速度は過大評価さ��てない」

3. 仮にAIの方が証明が上手くなっても、自分で証明する訓練の価値は消えない。機械の方が重いものを持ち上げられても、筋トレに意味があるのと同じ

4. いちばんの��心。これまでは「証明できた＝理解した」だった。これからは、証明は数値計算と同じ「生データ」になる。目標は、そこから理論を構築すること

5. 機械が説明まで上手くなっても、人が口で伝える力の価値はむしろ上がる。人は説明の分かりやすさより「本気で好きな人」を見て学ぶ気になるから。これはYoutubeで人が熱心に説明する動画に需要があるのと同じ

6. 今が一番いい時なのは、AIで新しいことができるからじゃない。分野全体が「変わらなあかん」と分かっていて、新しく入ってくる人の声を聞く準備ができてるというのもある

7. 明日やることは「ノートPCを閉じて、仲間と長い散歩をして、自分は数学の何が好きか話すこと」

大学に所属せずに独立研究者してる身として、一番いいなと思ったのは4と5。

論文を毎日1本読んでポッド��ャス���で話してるけど、もちろんAIに要約させたらそれで良いじゃんという人もいる。私がそれでも続けてるのは、自分が面白がって話すことに意味があると思ってるから。あと単純に自分が楽しんでいるからというのもある。

AIに奪われない研究の仕事は「解く」ことより、「面白がって、人に渡す」ことなのかもしれん。これは数学だけじゃなく、地球科学でも科学一般でも同じ。
https://t.co/6lGF2NVc49

[ゆます🌗 @AgYwst]

と思ったが循環してるかも、、、残念

[ゆます🌗 @AgYwst]

取り組んでた問題の簡単な証明おもいついた！

[ゆます🌗 @AgYwst]

今のAIによる数学の進歩は普通にモデルが賢くなってきた飲もあるけど、強化学習(PPOとかなのかな？)による方策獲得+大量リソース(サブAgent)+Leanによる形式化によるステップ担保が噛み合わさってここまでになってるというのもありそう。あと各社抱えてる数学者とかもいるのかな

[ゆます🌗 @AgYwst]

色��追いたいけど明日の仕事の諸々が終わってからか

[ゆます🌗 @AgYwst]

セクション予想マジかすごい

[OpenAI @OpenAI]

We’re releasing a broad range of new mathematical results produced by an internal frontier model.

We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.

https://t.co/7N6TPlft1P

[ゆます🌗 @AgYwst]

少し前だけど論文投稿、混標数局所体kについてOut(G_k)のquasi-geometric subgroupに関する話

[Number Theory Papers @PQBW]

Finite subgroups of outer automorphism groups of the absolute Galois groups of mixed-characteristic local fields

Yu Nishio
https://t.co/95KzckQZRp [𝚖𝚊𝚝𝚑.𝙽𝚃]

[ゆます🌗 @AgYwst]

Leanぜんぜん分からないけど色々キャッチアップした���

[GengaQ SurvivoR @kyow_QQ]

ここ少なくとも十年以上の期間に渡って教えられてる大学数学の難解さって、

「証明を学ばねば定理を理解したことにはならぬ」

という暗黙の掟を守るために相当程度に難解になってる思うんだよね

やめたらいいよ そんなの 大事だけど
全てじゃないよね

言葉じゃなくて、見て触ってわかってもいい

[ゆます🌗 @AgYwst]

今書いてる2本位の論文がAIじゃない論文の境界になるかも。この後は色々AI使わないとorAIでしかみつけられなかったとかも絶対増えてくる

[リラックマごゆるりサイト公式 @rilakkuma_gyr]

新宿にて「コリラックマうさぎPOP-UP SHOP」開催✨

＜開催期間＞
2026年10月1日(木)～10月14日(水)
＜会場＞
ルミネエスト新宿 B1F JR中央東口改札外 青山フラワーマーケット前
＜営業時間＞
平日11:00～21:00／土日祝10:30～21:00

詳しくは🔽
https://t.co/xGS9boooqC
※入場にチケット予約が必要となりま��。

[ゆます🌗 @AgYwst]

Astra賢い、解析数論系というかそっちでとかせてみたい問題あるから試してみるか

[ゆます🌗 @AgYwst]

Anabelian geometry Yokohama聞きに行きたいけれど、仕事の報告会が9月は多く厳しい、、、

[Mark6 @Mathrk623]

一点 blow up は射影空間との連結和に等しいという図 ( Bl₀(D) = D # ℙ̅ⁿ )
どっちの操作も、円盤から原点まわりを取り除いて、代わりに薄緑部分を付け足す操作になっている
お絵描きしてみるとたしかにそうなってお��、面白いが、不思議だ......

[渡邉究/数学科教員/KADOKAWAより「すごすぎる数の図鑑」発売中/YouTube @Kiwamu_Watanabe]

具体的に構造や計算方法が知られている図形（たとえば、等質多様体やトーリック多様体、低次元の多様体）に対しては、その上のベクトル束の計算などはして���れる。「未解決問題」といっても様々な種類があり、複雑な計算だけで何とかなるような問題は解けるかも���れない。一方で、幾何学的直感などには非常に弱いように感じる。

現時点で数学者は終わりと言ってる人たちは、さすがに数学を舐めすぎてる。

[ゆます🌗 @AgYwst]

避けたい証明の議論(文書が長くなりすぎる)を避ける方法以外身近にあった

[ゆます🌗 @AgYwst]

層係数コホモロジーに初めて触れたの実はHarではなくて廣中・森 代数幾何本だった気がする。今は多分記号に馴染めなくて逆に読めない気がするけどなんかそのときは読みやすい気がしてた記憶がある

[ゆます🌗 @AgYwst]

会社でClaude code使えるようになったけど、使って無さすぎて使い方分からない。skillsとか色々数学用のカスタムとかのオススメあるのかな。

[arXiv math.NT Number Theory @mathNTb]

Franz Lemmermeyer: Vieta jumping and small norms in quadratic number fields https://t.co/ceotXf8dwd https://t.co/RfammyvzFC https://t.co/MpR6bCqzf6