Взгляд, конечно, очень варварский
所谓优雅的数学结构,本质上是人类为了迁就自己那点可怜的脑容量,被迫发明出来的拐杖。
一个顶尖人类数学家的工作内存,撑死也就同时追踪五六个变量的交互。
当你在算一个偏微分方程或者组合不等式时,一旦展开到三阶以上,几十个交叉项涌出来,人脑就直接宕机了。
所以人类数学家极其厌恶展开高阶项,一旦看到高阶项发散,人类的本能反应是此路不通,赶紧退回来找对称性、找不变量、搞同调代数或者几何直观,试图不展开式子就把问题绕过去。
但 AI 没有这个生理缺陷。
对于上万个并发的 Agent 来说,同时追踪一万个五阶交叉项的系数变化,跟我们算 1+1 一样轻松。
在它的视野里,根本不需要什么几何直观,它直接站在高维的代数展开式里往下看,人类觉得像乱麻一样的百项高阶余项,在它眼里就是一张明明白白的线性方程组。
既然把式子硬展开到第七阶,再凑几个待定系数就能让所有讨厌的发散项精准归零,它为什么要费劲去帮你发明一个人类能看懂的新概念?
这 700 个结果背后最无奈的黑色幽默:我们终于拿到了上帝账本里的答案,却发现上帝算账根本不用微积分,他老人家是直接拿计算器硬按出来的。
I resigned from my quant hedge fund today.
I enjoyed my work and loved the people, but there's already too much money in the world.
It’s crazy that all this could have been prevented if Leo simply had read this little book
Breaking News: The SEC is investigating last month’s near-implosion of the A.I. hedge fund Situational Awareness. nyti.ms/4xdCUt6
Mitch Hedberg was talking about the big Hobbit debate when he said: “Every book is a children’s book if the kid can read”
I got an early sense that "Galois' Dream : Group Theory and Differential Equations" was written in a somewhat whimsical (but delightful) style but nothing prepared me for page 53
But sometimes they do arxiv.org/pdf/2011.00412
This is big. Cauchy did NOT claim that an obviously wrong statement is true. He only claimed that a statement easily seen to be equivalent to an obviously wrong one is true.
A good reference to Cauchy's 1821 blunder that the limit of continuous functions is continuous is the easily readable paper -> blog.plover.com/math/Cauchy.…
This gatekeeping won't stand!
Lev Landau did not just teach theoretical physics. He built a gate.
His famous Theoretical Minimum was an exam system so brutal that between 1934 and 1961 only 43 people passed. The name sounds gentle, but the idea was severe, before entering Landau’s school, you had to know mechanics, quantum theory, statistical physics, electrodynamics, relativity, and mathematics at a level most students would call impossible.
I need some way to disable memory in Gemini - no matter what I ask now it finds a way to tie it back to homological algebra.























