openai/math

• 类型：github
• 标识：openai/math
• 链接：https://github.com/openai/math
• 主分类：evaluation
• 形态：benchmark
• 分类：trending
• Stars：10294
• 周增：+0
• 语言：Lean
• 许可：Apache-2.0
• 最近提交：2026-10-08
• 上次采集：2026-10-08
• 首次采集：2026-10-08
• 待LLM分类：否
• 成熟度：production
• 场景：数学、推理
• 来源文件：
• [GitHub Search]