Open Math Harness 开源:用 open 模型 agent 做日常数学研究
AlexKontorovich · x · 2026-10-24
SAIR foundation 发布开源项目 Open Math Harness,GitHub 上线即获约 105 star,Apache-2.0 协议,核心用 Rust 编写。定位是「Open Math OS / Math 2.0」的运行时,面向日常数学研究:在开源模型上运行配备数学与科学计算工具的 agent,支持在 Ultramath 中并行探索,以及 Lean 形式化自动证明(autoformalization)。仓库包含 kernel、services、agents、SDK、prompts 与工具等模块。
「研究」频道最新
- DISARM 论文:披露操纵策略后,有害 LLM 说服力从 15.3 降至 3.3 — MaartenSap · 2026-10-24
- 8GB 显卡从零训一个月:mini-AGI 持续学习模型跑分超 GPT-2 — Another__one · 2026-10-24
- Cisco 推出 Agentic FAITH：一个工作流评测网络安全智能体 — aminkarbasi · 2026-10-24
- 1979 论文断言形式验证难成气候，2026 预言它将像 fuzzing 一样普及 — danbri · 2026-10-24
- NVIDIA 携手华盛顿大学发布 RFD4-Proteina,蛋白质设计再进一步 — AllThingsApx · 2026-10-24
- T²Quant：按任务与去噪步动态分配精度，量化扩散语言模型 — Ofek Avivi · 2026-10-24