AGI Hunt· AlexKontorovich·· 4 小时前AI 评分73
SAIR foundation 开源 Open Math Harness，用开源模型 agent 开展日常数学研究
Open Math Harness 开源:用 open 模型 agent 做日常数学研究
AI 导读
SAIR foundation 发布开源项目 Open Math Harness，以 Rust 编写并采用 Apache-2.0 协议，GitHub 上线后获得约 105 star。
来源：AGI Hunt · agihunt.info