OpenAI在GitHub发布AI生成的372个数学结果
先了解这件事
OpenAI 在 GitHub 仓库发布了 722 份由其未发布前沿模型生成的数学论文，覆盖 372 个结果族，据独立顾问组织 AGMAI 称其中包含对数百个开放问题的解答，涉及计算机算法改进和与黎曼猜想相关的进展。许多证明附有 Lean 形式化验证，OpenAI 称平均每个结果消耗约三小时 ChatGPT Pro Thinking 算力。 结果未通过学术期刊发表，OpenAI 表示正致力于以负责任的方式发布该模型。数学界反应分化，25 位菲尔兹奖得主在公开信中警告，大规模产出真命题可能损害数学的概念理解与洞察，AI 实验室处理成果发布的方式也引发了关于研究伦理和署名的争论。
AI 根据报道生成 · 1 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The DecoderOpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果
OpenAI 发布由内部前沿模型生成的 372 个数学结果，每个结果被认为解决或实质性推进一个开放问题，内容包括计算机算法改进和与黎曼猜想相关的进展。结果以 Lean 形式化验证发布在 GitHub 而非学术期刊，平均每个结果消耗约三小时 ChatGPT Pro Thinking 算力；数学界反应分化，25 位 Fields 得主在公开信中警告大规模产出真命题可能损害数学的概念理解与洞察。
- Latent SpaceOpenAI 发布内部模型产出的 722 篇数学论文，含准黎曼猜想结果
Latent Space AINews 汇总：OpenAI 公布内部前沿模型产出的 722 篇数学论文（372 个结果族），覆盖约 4000 个研究问题，平均每个结果约 3 小时 ChatGPT Pro 算力，其中准黎曼猜想（Result 003）被数学家 Levent Alpöge 称为数学史上最重要时刻，结果尚未经独立验证。
- The Verge · AI精选OpenAI 发布 722 份数学论文，称解决数百个开放问题
OpenAI 在 GitHub 仓库发布 722 份由未发布前沿模型产出的数学论文，覆盖 372 个结果族，据独立顾问组织 AGMAI 称包含对数百个开放问题的解答。发布内容含模型推理摘要、算力估算和尝试题目统计，OpenAI 称平均每个结果相当于三小时 ChatGPT Pro 思考量；此前 AI 实验室处理成果发布的方式已引发关于研究伦理和署名的激烈争论。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。