就在今天，10 个 Claude Sonnet 5.5 通宵 15 个小时，互发 1270 条消息，写出 17895 行 Lean 代码，自己建群、自己吵架、自己选算法、自己合并代码。Claude 用了一个 5 次三点半定规划边界，配合内核可直接检验的精确整数数据，证明该区域内任何构型的能量都高于五角双锥至少 3×10⁻⁴。
就在今天，10 个 Claude Sonnet 5.5 通宵 15 个小时，互发 1270 条消息，写出 17895 行 Lean 代码，自己建群、自己吵架、自己选算法、自己合并代码。Claude 用了一个 5 次三点半定规划边界，配合内核可直接检验的精确整数数据，证明该区域内任何构型的能量都高于五角双锥至少 3×10⁻⁴。