共 2 篇
一份 Lean 4 仓库宣称完成了 11 个单位正方形最优装箱的无条件证明，边长约 3.87708。读完能看清它证了什么、信任边界在哪，以及怎么自己跑一遍验证。
OpenAI 9 月公布 166 页纳维-斯托克斯证明，称沿用了两位西班牙数学家的路线。一个月后多组专家说并非如此。这篇讲清「结论可验证」和「作者讲得清」为什么是两件事。