OpenAI 公开内部模型数学成果论文:722 篇手稿覆盖 372 项结果
OpenAI published the full papers behind its open-problems claim: 722 manuscripts covering 372 math results.
AI 导读OpenAI 在 GitHub 公开发布内部前沿模型产出的数学论文与证明材料,共 722 篇手稿,整理为 372 个结果族。测试时模型被喂入约 4K 个研究问题,每项结果平均使用相当于 3 小时 ChatGPT Pro 思考的算力;部分结果尚无 Lean 形式化,可能存在问题,仓库将持续更新。
另有 15 家信源报道
- OpenAI 公布 700 多份数学研究文稿,数学界反应分化并担忧合作传统受损IT之家·人工智能 · 5 天前
- 数学家称消化 OpenAI 突然发布的近 400 项 AI 数学结果可能需要数年The Verge:AI · 5 天前
- OpenAI 发布 722 份数学手稿后,卡兹克长文解读 AI 如何改变数学研究卡兹克 · 7 天前
- OpenAI 在 GitHub 发布 openai/math 仓库,722 份数学手稿引发数学界震荡公众号:数字生命卡兹克 · 7 天前
- OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明结果The Decoder:AI News · 7 天前
- OpenAI 发布内部模型数学成果Nathan Lambert · 8 天前
- OpenAI 发布内部前沿模型产出的多项数学新结果Greg Brockman · 8 天前
- OpenAI 通过 GitHub 发布 722 份数学论文手稿,称含数百个公开问题解答The Verge:AI · 8 天前
- OpenAI 发布 722 篇 AI 生成的数学证明论文Rohan Paul · 8 天前
- OpenAI 公布未发布前沿模型解决的数百个数学难题研究成果IT之家·人工智能 · 8 天前
- OpenAI 发布内部前沿模型产出的新数学结果Thomas Wolf · 8 天前
- OpenAI 发布内部前沿模型产出的数学研究成果OpenAI:官网动态 · 8 天前
- OpenAI 模型解决重要数学问题Tibo · 8 天前
- OpenAI 发布仓库,公开其未发布前沿模型求解的一系列数学新结果Testing Catalog · 8 天前
- OpenAI 发布内部前沿模型产出的新数学成果OpenAI · 8 天前
来源:Rohan Paul · x.com
事件后续1
查看事件全部- OpenAI 发布内部前沿模型产出的数学研究成果OpenAI:官网动态 · 8 天前