数学家或需数年消化 OpenAI 本周公布的近 400 项 AI 数学成果

OpenAI 本周公布近 400 项 AI 生成的数学成果，分布于逾 700 篇文稿中，受访数学家估计理解这些成果可能需要数年。OpenAI 表示，719 篇文稿中的 300 项主要结果已形式化，报道给出的比例约为 42%；即使附有 Lean 证明，研究者仍需核查其是否对应文稿中的主张。