Anthropic的Fermat项目采用神经符号AI

Anthropic的Fermat项目首次运行失败，原因是数十个Claude代理失去了共享项目状态。项目在采用Prove2Me的陈述和证明DAG后成功。大规模AI系统中，记忆必须是外部结构化基础设施，而非仅依赖提示。