返回每日动态行业数学家称消化 OpenAI 突然发布的近 400 项 AI 数学结果可能需要数年The Verge：AI（RSS）10月10日 03:09导读OpenAI 本周突然发布近 400 项 AI 生成的数学结果，分布在 719 份手稿中，涵盖组合数学、数论、拓扑等多个学科，其中仅约 42% 已在 Lean 中形式化验证。