Anthropic 与 Theorem：把模糊测试入口变成可检查的证明

• Anthropic 与 Theorem：把模糊测试入口变成可检查的证明

时间线

• 2026-10-23 日报