Anthropic开源FlashProve：给大模型验明正身​ | FlashProve | Anthropic | 可证明推理 | 零知识证明 | zkSNARK | 形式化验证 | Lean

Download (MP3)




Bagikan