Ramanujan – Multi-Model Agent for Research in Computational Maths 是一个「research」类 AI agent,解决:在计算数学领域自动完成定理推导、公式验证与文献检索等复杂研究任务。定价:产品页未标明。截至 2026-09-10,KanonAgent 记录到 5 票。本站首次收录于 2026-09-06。
面向计算数学研究的多模型AI代理，能自主执行复杂数学推理与验证任务
5 票
Kanon 于 2026 年 9 月 6 日 收录
还没有信号事件 —— 状态是未知,不是「平静」。
📈 时间线什么时候变了什么
- 首次观测 Kanon 开始为它保留永久历史
🔎 已知 / 未知
23 个字段里 9 个未知
| 可机器调用 | — | 未知 | — |
| 开源 | 1 | 推断 | 1 条引文 |
| 可自托管 | 1 | 推断 | 1 条引文 |
| 需自带 key | 1 | 推断 | — |
| 自主度 | 2 | 推断 | 2 条引文 |
| 计费模式 | free | 推断 | 3 条引文 |
| 集成面 | — | 未知 | — |
「未知」= 我们没核实过,**不等于「否」**。硬性筛选永远不会把未知当成否。
🤖 Agent 拆解 · research
解决什么场景在计算数学领域自动完成定理推导、公式验证与文献检索等复杂研究任务
自主度L2 · 有工具调用(引文: "mix any OpenAI-compatible providers, multi-pick models, save…")
前置条件开源 · 可自托管 · 需自带 API key
真实成本free tool
牵引 · 为什么在涨3 PH votes
为什么值得关注
在专业科研领域构建AI代理工作流，具备可扩展的学术研究自动化潜力
证据引文判定所依据的原文 · 逐字引用
“public GitHub repository (README fetched)”— structural
“Everything runs locally and every verdict is computed deterministically.”— readme
“mix any OpenAI-compatible providers, multi-pick models, save them as presets.”— readme
“each run gets its own worktree with local journal, budgets, and stall detection.”— readme
“It is a free tool to help with research in maths.”— readme
“mix any OpenAI-compatible providers, multi-pick models”— readme
信号来源: Show HN
访问官网 →
📛 官方徽章挂到官网 / README
你是 Ramanujan 的作者?上面选样式,嵌入代码实时更新;要贴合站点配色可在 URL 上加 bg= / fg= / accent=(十六进制色)。徽章链回本页。
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布
常见问题
Ramanujan 是什么?
面向计算数学研究的多模型AI代理，能自主执行复杂数学推理与验证任务
Ramanujan 解决什么问题?
在计算数学领域自动完成定理推导、公式验证与文献检索等复杂研究任务
Ramanujan 为什么值得关注?
在专业科研领域构建AI代理工作流，具备可扩展的学术研究自动化潜力
Ramanujan 是开源的吗?
是。Ramanujan 为开源项目。
Ramanujan 能自托管吗?
可以。Ramanujan 支持自托管部署。
Ramanujan 有多少人在用?
KanonAgent 记录到:5 票(本站首次收录于 2026-09-06)。
Ramanujan 有什么替代品?
KanonAgent 库内的同类 agent:Winninghunter、Stealth Venture、Hidden Business、Dropkiller、DataExpert / TechCreator、RankAI。