突发！OpenAI一次放出722篇数学成果，准黎曼猜想、4D挂谷都在列

OpenAI发布内部前沿模型产出的722篇数学手稿，涵盖372个成果族和17个方向，涉及准黎曼猜想、四维挂谷猜想等重大问题，其中235族附带Lean形式化说明。部分成果尚未形式化，可能存在问题，仍需数学家审查验证。

来源：腾讯新闻