团队发布数学证明伪形式化版本与验证基准

Luke Bailey 团队更新 Pseudo-Formalization 论文，并发布面向前沿模型数学证明验证能力的新基准，同时公开 OpenAI 数学题库（OAI math dump）中部分证明的伪形式化版本。 伪形式化介于自然语言与 Lean 等形式语言之间，目标是让研究者既能核查 AI 生成的数学证明，也保留比纯形式化证明更高的可读性。现有报道未给出模型在该基准上的具体验证成绩或最终排名。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。