OpenAI 这次不是发模型，是直接掏了三张数学物理的底牌： 1991 年的局部光滑猜想全维度证明、被几百篇论文当公理用的指数时间假设被证伪、沾边千禧年难题… · @ai_fengshou · TwKit

@ai_fengshou

OpenAI 这次不是发模型，是直接掏了三张数学物理的底牌： 1991 年的局部光滑猜想全维度证明、被几百篇论文当公理用的指数时间假设被证伪、沾边千禧年难题的杨-米尔斯存在性证明。 前两项 Lean 机验证已过，第三项材料还没放出来，诺奖得主 Gross 正带着组自己写——先别急着喊数学已死，Lean 过关不等于数学家点头。 但有一点是实的：前沿模型的战场，已经从跑分卷到了谁先证出真定理。 https://openai.com/index/building-scientific-understanding-with-academic-communities/

曝光 129 · 评论 3 · 点赞 2 · 书签 0