Archē 智能体：能自主写 Lean4 证明与研究报告
wavefnx · x · 2026-08-19
Archē 是一个自我改进系统，可完全自主地执行多项任务：使用 Lean4 编写并评估数学证明、从多源（含离线）研究探索、生成报告与研究论文。系统在后台并行构建多个子系统，且无需压缩上下文。
「编程与Agent」频道最新
- 最佳模型路由应由团队自建智能体实现 — hwchase17 · 2026-08-19
- 开发者盛赞Codex：最好用的应用，唯一喜欢对话的模型 — jdjohnson · 2026-08-19
- Qwen3.8-27B在16GB显存跑出50tok/s，附详细配置 — brainExploded99 · 2026-08-19
- Finance Skills：用 Agent 自动生成 DCF 估值与财报分析 — tom_doerr · 2026-08-19
- Google 公开 AVDH 框架：智能体自动化挖掘代码漏洞 — rseroter · 2026-08-19
- 开发者反馈循环决定成败：差则拖累，优则起飞 — DavidWells · 2026-08-19