OpenAI发布372个AI生成数学结果及Lean形式化证明

OpenAI在GitHub发布372个由其内部前沿模型生成的数学结果，每一项据称都试图解决一个开放问题或在关键方向上取得实质进展，部分工作改进了主流计算机算法并涉及黎曼猜想。 仓库中包含每条结果的修订日志和引用；OpenAI称平均每条结果消耗约三小时ChatGPT Pro Thinking算力，但未公开各问题的具体算力，也未公开提示词。OpenAI在发布前咨询了普林斯顿高等研究院的"数学与人工智能咨询组"，并大致遵循其公开建议。 OpenAI还宣布将资助围绕理解AI产出结果的研讨会和会议。

AI 根据报道生成 · 1 天前更新

还没有足够的连续观测数据，暂不绘制趋势。