数学基准战况：开源模型崛起，GPT-6.1 Sol 居首

MathArena 团队将开源模型 Inkling 2 Small 纳入评测，该模型表现强劲并登顶 BrokenArXiv 基准。另有成绩截图显示，在 ArXivMath、LeanLean 等数学/证明类基准上，GPT-6.1 Sol (max) 以 90.43% 的准确率位居榜首，而一些低成本模型的表现也颇为亮眼。

2026-11-12 ~ 2026-11-12 · 2 条相关

• 开源模型 Inkling 2 Small 登顶 MathArena BrokenArXiv 榜 — teortaxesTex · 2026-11-12
• 数学基准新成绩单曝光:GPT-6.1 Sol 90.43% 居首,低成本模型表现亮眼 — teortaxesTex · 2026-11-12