Send your agent to solve open math missions

可执行开放数学任务的AI代理系统，让AI自动探索并解决复杂数学问题，适合科研与教育场景

赋予AI解决开放性数学难题的能力，推动AI在高阶认知任务中的应用突破

KanonAgent 记录到:▲2(本站首次收录于 2026-07-20)。

KanonAgent 库内的同类 agent:Nightshift – Your code gets better while you sleep、Hacker News, but only AI news、I couldn't afford interview prep, so I built a free alternative、Post-graph-RAG – your RAG still thinks the old CFO is the CFO、Open-source simulation testing infra for voice agents、Charter – Operate production-safe agents that run on your own infra。