数学を愛する会 retweeted
所谓优雅的数学结构,本质上是人类为了迁就自己那点可怜的脑容量,被迫发明出来的拐杖。
一个顶尖人类数学家的工作内存,撑死也就同时追踪五六个变量的交互。
当你在算一个偏微分方程或者组合不等式时,一旦展开到三阶以上,几十个交叉项涌出来,人脑就直接宕机了。
所以人类数学家极其厌恶展开高阶项,一旦看到高阶项发散,人类的本能反应是此路不通,赶紧退回来找对称性、找不变量、搞同调代数或者几何直观,试图不展开式子就把问题绕过去。
但 AI 没有这个生理缺陷。
对于上万个并发的 Agent 来说,同时追踪一万个五阶交叉项的系数变化,跟我们算 1+1 一样轻松。
在它的视野里,根本不需要什么几何直观,它直接站在高维的代数展开式里往下看,人类觉得像乱麻一样的百项高阶余项,在它眼里就是一张明明白白的线性方程组。
既然把式子硬展开到第七阶,再凑几个待定系数就能让所有讨厌的发散项精准归零,它为什么要费劲去帮你发明一个人类能看懂的新概念?
这 700 个结果背后最无奈的黑色幽默:我们终于拿到了上帝账本里的答案,却发现上帝算账根本不用微积分,他老人家是直接拿计算器硬按出来的。
数学を愛する会 retweeted
AIがもりもり証明できる時代になって、改めて「ゲーデルの不完全性定理」の重要性が光ってくるなあ…
「Lean は無矛盾である」という文はLeanの中で書けて、実際に書いた例もあります。
ですが第2不完全性定理より、Leanが本当に無矛盾なら、その文をLeanの中で証明することはできません。
ではLeanの正しさはどう保証されるのでしょうか。形式検証入門の2本目。
youtu.be/F6S22waRCbc?si=IaY8…
数学を愛する会 retweeted
素数ニュース!
素数ランキング 2 位の 2⁸²⁵⁸⁹⁹³³ - 1 (2486万2048桁) が、51番目のメルセンヌ素数であることが確定しました!!
(50番目の 2⁷⁷²³²⁹¹⁷ - 1 との間に 1 つもメルセンヌ素数が無いことが二重チェックされた)

ALT 50番目と、今回確定した51番目のメルセンヌ素数。 次は指数 82589933 ~ 136279841 の間にメルセンヌ素数が無いことが確認されれば 52番目のメルセンヌ素数が確定する。 (画像作成に用いたLaTeXコマンド。※直打ちメモ) \begin{align*} 50 \ 番目 &&2^{77232917}-1 \\ 51 \ 番目 &&2^{82589933}-1 \\ 52 \ 番目 &&2^{136279841}-1 \\ \end{align*} \\ ? \\ \color{Red}{\textbf{確定} \longrightarrow } \\ (23,249,425 \ 桁) \\ (24,862,048 \ 桁) \\ (41,024,320 \ 桁) \\
数学を愛する会 retweeted
Just to be clear, the Navier-Stokes blowup problem has no practical relevance whatsoever.
数学を愛する会 retweeted
I found a counter example to the Pythagorean theorem with the help of GPT Mythos.
Link to chat below.
今度は北京大の数学科卒の人(ただしプロ数学者ではない方)が、6つの未解決問題を解決したとツイート…ヤコビアン予想の反例の発見者は数学の博士号を持ったプロ数学者(なおかつAnthropic社員)だったことに注意。
I solved 6 open Erdős problems in 5 days, using @OpenAI GPT-5.6 Sol.
I have a math background, but the Codex workflow I used does not require deep mathematical knowledge.
Here’s exactly how I approached it, including my prompts 🧵
数学を愛する会 retweeted
Dinitz-Garg-Goemans conjecture is false. This graph theory problem was open for ~30 years.
The graph below has fractional flow cost 58. Any unsplittable flow (with capacity violation <=15) has cost at least 60.
Chat with GPT 5.6 Pro where this was found: chatgpt.com/share/6a60b2eb-0…
数学を愛する会 retweeted
すごい
これを教科書に書くべきよ
線形代数で、多くの理系大学生さんがつまずく
と思われる代表格の一つ「対角化」‼️
「計算はできるけど、その意味までは説明できない」
そんな方向けの、いつもより教科書よりな
#mathlog 記事を書きました✨️
「そもそも、なぜ行列の対角化といえば PDP⁻¹ なのか」
→ mathlog.info/articles/Z5FFng…
数学を愛する会 retweeted
線形代数で、多くの理系大学生さんがつまずく
と思われる代表格の一つ「対角化」‼️
「計算はできるけど、その意味までは説明できない」
そんな方向けの、いつもより教科書よりな
#mathlog 記事を書きました✨️
「そもそも、なぜ行列の対角化といえば PDP⁻¹ なのか」
→ mathlog.info/articles/Z5FFng…
































