Lean

AI 开始证明量子猜想，科研效率提升不再只是口号

Physical Superintelligence 用非公开的 Anthropic 模型证明开放了 16 年的量子计算猜想，并通过 Lean 验证。Meta 则研发触觉手套，补足机器人操作数据。两条进展指向同一件事：AI 正从辅助工具走向科研与现实执行。