Open GGOOAI 开源项目
Danus
Agent编程
项目解读
AI 解读 · 1 个月前更新这个项目是什么？
Danus 像一个数学研究团队：主代理分派任务，多个 Codex 工作者推理，再由验证器检查结果，并把事实记进图谱。
解决了什么问题？
数学推理常要反复分工、核验和整理结果；Danus 把这些环节串起来，汇总已验证事实，生成进展报告或 LaTeX 论文。
可以用来做什么？
可以拿来协作探索数学问题并整理研究产出；比如让多个代理分头推理，核验后汇成进展报告或可发布的 LaTeX 论文。
README 已更新，当前暂时展示上一版摘要。
正在读取最新信息…
正在读取评论…
