数学家称 OpenAI 突然发布的近 400 项 AI 数学结果可能需数年消化

OpenAI 本周突然发布近 400 项 AI 生成的数学结果，数学家称消化这些成果可能需要数年。这些结果分布在 719 份手稿中，涵盖组合数学、数论、拓扑等学科，仅约 42% 已在 Lean 中形式化验证。