本次事件由 PSI（Physical Superintelligence）发布，借助 Anthropic 未对外发布的 AI 模型，搭配 Lean 形式化证明校验工具，只用 浏览全文>>