一个帮助任何人探索和证明数学猜想的工具，面向数学研究者、学生和爱好者，解决数学证明过程复杂、难以协作的痛点
2 票
Kanon 于 2026 年 7 月 31 日 收录
🤖 Agent 拆解 · skill
解决什么场景在没有完整证明的情况下，辅助验证数学猜想的正确性并生成可能的证明路径
自主度L2 · 有工具调用(引文: "small, composable mathematical operations…")
前置条件开源 · 可自托管
集成面mcp
为什么值得关注
将AI用于数学猜想验证，具备学术研究场景的突破潜力，可借鉴其人机协作验证范式
信号来源: Show HN
访问官网 →
手机端点「分享」直达微信/朋友圈/小红书;桌面端用「复制文案」后到 App 内粘贴发布