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

OpenAI 本周突然发布近 400 项 AI 生成的数学结果，分布在 719 份手稿中，涵盖组合数学、数论、拓扑等多个学科，其中仅约 42% 已在 Lean 中形式化验证。