Lean

OpenAI据报公开722篇AI数学手稿，验证程度不一

动察 Beating AI 快讯称，OpenAI公开722篇由内部前沿模型产出的数学手稿，涵盖372组关联结果。报道称部分结果附有Lean形式化证明，但OpenAI及独立顾问组均未将全部结果视为已获背书的定论。