有向无环图专题

共 2 篇文章，按时间倒序展示。

Claude 完成费马大定理首个形式化证明

哥伦比亚大学商学院助理教授彭天翼利用 Claude 在 11 天内完成费马大定理首个完整、经计算机检验的形式化证明。该证明使用 Lean 生成 1300 万行代码并证明 29500 个中间定理，Prove2Me 平...

2026年09月05日TechFoco

Lossless Claw 是一个为 OpenClaw 设计的开源插件，它采用有向无环图和智能摘要技术管理对话上下文，旨在突破大语言模型的上下文窗口限制，实现消息的无损存储与高效回溯。

2026年03月19日TechFoco