OpenAI发布内部前沿模型产出的722篇数学手稿,涵盖372个成果族和17个方向,涉及准黎曼猜想、四维挂谷猜想等重大问题,其中235族附带Lean形式化说明。部分成果尚未形式化,可能存在问题,仍需数学家审查验证。
来源:腾讯新闻
本站内容来自 Telegram 频道,实时更新
订阅频道