Claude 完成费马大定理首个形式化证明
哥伦比亚大学商学院助理教授彭天翼利用 Claude 在 11 天内完成费马大定理首个完整、经计算机检验的形式化证明。该证明使用 Lean 生成 1300 万行代码并证明 29500 个中间定理，Prove2Me 平...
TechFoco
多智能体协作 专题
共 3 篇文章，按时间倒序展示。
PraisonAI：一站式低代码AI智能体开发平台
PraisonAI 是一个整合了多智能体协作、规划执行、记忆系统、RAG 检索和 100+ 大模型支持的一站式低代码 AI 开发平台，旨在简化 AI 智能体的构建与部署流程。
TechFoco
Feynman：开源 AI 研究代理项目解析
Feynman 是一个开源 AI 研究代理项目，集成了多智能体协作、文献检索、批判性评审和实验复现等功能，旨在通过自然语言交互辅助研究人员高效完成科研任务。
TechFoco
