#AI数学

OpenAI公开722篇AI数学手稿，验证成新瓶颈

OpenAI公开未发布模型撰写的722篇数学手稿，横跨17个领域。成果从8月约10项增至10月722篇，每月增长约10倍。准黎曼猜想0.875边界等局部进展，不涉及千禧年大奖。能评审的数学家仅几百到上千人，验证跟不上产出。关注数学界验证后成立的证明比例。