科技日志

一、AI 开始"证明"，而人类还在"理解" 这一周，最让我震动的一条新闻，是 Anthropic 的 Claude 模型攻克了渗流理论中的连续相变猜想。这个猜想在概率论圈子里被称为"圣杯"，悬了将近七十年，菲尔兹奖得主 Duminil-Copin 在上面倾注了数年心血也没能破解。而 Claude 给出的证明，通过了 Lean 形式化验证——机器检查过，逻辑上没有漏洞。 ...