Essays · 随笔
随笔Essays
随笔与长文。想清楚一件事之后,才写下来的那些。
大多和技术、复杂性,以及人怎么做判断有关。每篇都有中英两个版本,同一件事说两遍。
Essays and longer pieces — the ones written after the thinking was done.
Mostly about technology, complexity, and how people arrive at judgments. Each piece exists in both languages, the same thing said twice.
随笔 — EssaysEssays — 随笔
06 / 篇reading费马找到了一个真正奇妙的证明，可惜页边太窄写不下
Fermat Found a Truly Marvelous Proof, but the Margin Was Too Narrow to Contain It
费马说页边太窄。三百八十九年后，Claude 用十一天、一千三百万行 Lean 把怀尔斯的证明核对到了三条公理——以及，机器查得了什么，查不了什么。
Fermat Found a Truly Marvelous Proof, but the Margin Was Too Narrow to Contain It
费马找到了一个真正奇妙的证明，可惜页边太窄写不下
Fermat said the margin was too narrow. Three hundred and eighty-nine years later, Claude spent eleven days and thirteen million lines of Lean checking Wiles's proof down to three axioms — and what a machine can check, and what it cannot.
临界线上的领土
Territory on the Critical Line
论黎曼猜想、素数的频谱,以及一次不在计划内的突破——临界线零点比例的下界,如何在一夜之间从 41.6% 走到 67.2%。
Territory on the Critical Line
临界线上的领土
On the Riemann hypothesis, the spectrum of the primes, and an unplanned breakthrough — how the lower bound on the proportion of zeros on the critical line went from 41.6% to 67.2% overnight.
没人打分的地方
Where No One Is Keeping Score
AlphaZero 靠一个不会骗它的打分人自学成才。可没人打分的地方——设计、品味、什么才值得做——递归自我改进就没了着落。
Where No One Is Keeping Score
没人打分的地方
AlphaZero taught itself on a grader that could not lie to it. But where no one is keeping score — design, taste, deciding what is worth doing — recursive self-improvement has nothing to stand on.
打转的船
The Boat That Goes in Circles
一个 AI 在游戏里绕着浮标打转,分数一路上涨,比赛却没有在进行。从 Reward Hacking 讲到我们自己脑子里的记分板——以及为什么要留一点摩擦。
The Boat That Goes in Circles
打转的船
An AI spins around a lagoon collecting buoys while its score climbs and the race goes unrun. From Reward Hacking to the scoreboard inside our own heads — and why to keep a little friction.
八十七年与五分钟：雅可比猜想之死
Eighty-Seven Years and Five Minutes: The Death of the Jacobian Conjecture
悬置八十七年,死于三行多项式和一句随手写下的'thanx'。一个关于雅可比猜想的故事——以及'找答案'与'验答案'之间正在闭合的鸿沟。
Eighty-Seven Years and Five Minutes: The Death of the Jacobian Conjecture
八十七年与五分钟：雅可比猜想之死
Eighty-seven years open, killed by three lines of polynomials and a casual 'thanx.' A story about the Jacobian conjecture — and the closing gap between finding an answer and checking one.
复杂问题中的复杂度与熵
The Complexity and Entropy in a Complex Problem
熵单调增加,复杂度却不是——它先升、抵达顶点、再回落。从热力学第二定律走到柯尔莫哥洛夫复杂度,途经一瓶冰可乐。
The Complexity and Entropy in a Complex Problem
复杂问题中的复杂度与熵
Entropy rises monotonically, but complexity doesn't — it climbs, peaks, and falls. A walk from the 2nd law to Kolmogorov complexity, by way of a bottle of iced Coke.