← 返回精选
VeryMath · GitHub精选AI 评分  84

Co-Mathematician 0.3.0 发布本地数学研究工作台,把材料、对话、研究状态与外部 coding agents 接入同一项目

VeryMath 在 9 月 26 日合并 Co-Mathematician 0.3.0,加入本地 Web workbench、项目与文件夹浏览、多模型服务配置、流式对话、PDF 原页阅读、公式预览、研究笔记和 VeryMath Skills。项目把长期数学研究状态保存在本地文件/仓库中,而真正的计算、证明和独立 review 仍由外部 coding agents 驱动。

推荐理由:这是面向 AI-assisted mathematical research 的完整 workspace 形态,而不是一次性 prompt demo:它把材料、研究目标、会话与可持续项目状态组织在一起,同时明确把执行和验证留给外部 agents,代表一种值得跟踪的 AI4Math research-environment 设计。
阅读原始来源 ↗