开源评测】openai/math 深度拆解：722 份 AI 数学手稿与 Lean 形式化的工程真相

点击“跳转原文网站”，继续查看这篇内容。