# 数学形式化

OpenAI数学结果撤回三项

OpenAI数学结果仓库新增6项Lean形式化、修改19项，并撤回3项结果；约42%的顶层结果已完成形式化，后续仍将持续修订。