热点事件持续更新
OpenAI公开模型生成的数学研究成果库
2 篇报道2 个报道来源1 小时前更新
先了解这件事
AI 综述
10月6日，OpenAI宣布在GitHub公开内部前沿模型产出的数学结果，附有论文修订与引用协议、许多证明的Lean形式化及10份模型推理摘要；按ChatGPT Pro用量估算，每个结果平均消耗约三小时思考算力。OpenAI还表示，正与高等研究院数学与人工智能咨询组合作制定发布规范，并将资助相关研讨会与会议。10月7日，Hacker News首页报道进一步披露，仓库收录722篇手稿，分为372个研究系列，模型在评估期间接受约4,000个问题。各项形式化验证进度不一，未形式化结果可能存在问题；仓库将持续补充验证材料并保留修订历史。
AI 根据报道生成 · 19 分钟前更新
最新进展10月7日 06:22
新增一手报道披露，OpenAI正合作制定发布规范，并将资助相关研讨会与会议。报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- Hacker News 首页精选OpenAI 数学研究仓库收录模型生成的 722 篇手稿及配套验证材料
OpenAI 的数学研究仓库收录了内部未发布模型生成的 722 篇手稿，按相关结果分为 372 个研究系列。评估期间模型接受了约 4,000 个问题，绝大多数结果采用同一流程生成，每项结果平均使用该模型 3 小时的 ChatGPT Pro 思考计算资源。许多手稿已有 Lean 形式化验证，但验证进度各异，尚未形式化的结果可能存在问题；仓库将持续补充形式化材料，并保留修订历史。
10月6日
- OpenAI NewsOpenAI 发布内部前沿模型产出的数学成果
OpenAI 发布了一批由内部前沿模型产出的数学结果，并在 GitHub 仓库中公开，同时附上论文修订与引用协议。仓库还包含许多证明的 Lean 形式化、10 份模型推理摘要，以及以 ChatGPT Pro 用量估算的算力消耗，平均每个结果约相当于三小时 ChatGPT Pro 思考。OpenAI 表示正与高等研究院数学与人工智能咨询组合作制定发布规范，并将资助相关研讨会与会议。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。