Luke Bailey 团队发布 OpenAI 数学题库伪形式化版本及证明验证新基准

Luke Bailey 团队更新 Pseudo-Formalization 论文，并发布面向前沿模型数学证明验证能力的新基准，包含 OpenAI 数学题库（OAI math dump）中部分证明的伪形式化版本。伪形式化介于自然语言与 Lean 等形式语言之间，旨在让人们以另一种方式阅读和核查 AI 生成证明，兼顾可验证性与可读性。