OpenAI公布数学新成果并开源证明形式化
热点事件持续更新
OpenAI公布数学新成果并开源证明形式化
2 篇报道2 个报道来源3 小时前更新
先了解这件事
AI 综述
OpenAI于10月6日公布内部前沿模型在开放数学问题上的新结果，并在GitHub公开Lean证明形式化与研究细节。次日，OpenAI经GitHub发布722篇数学手稿，覆盖372个结果族，据称解决数百个开放问题；OpenAI称结果来自未发布的前沿模型，平均每个结果的计算量相当于ChatGPT Pro思考三小时。 数学与人工智能顾问组（AGMAI）呼吁OpenAI通过学术渠道发布并披露模型与算力，避免把数学结果当营销。
AI 根据报道生成 · 2 小时前更新
最新进展10月7日 07:26
OpenAI 再发一批数学突破成果，722 篇手稿据称覆盖数百个开放问题报道时间线
沿着报道，了解事件的不同侧面。
10月7日
- The Verge · AIOpenAI 再发一批数学突破成果，722 篇手稿据称覆盖数百个开放问题
OpenAI 经 GitHub 发布 722 篇数学手稿、372 个结果族，据称解决数百个开放问题，结果来自未发布的前沿模型。OpenAI 声称平均每个结果的计算量相当于 ChatGPT Pro 思考三小时。数学与人工智能顾问组（AGMAI）呼吁通过学术渠道发布、披露模型与算力，避免把数学结果当营销。
10月6日
- OpenAI NewsOpenAI 发布数学开放问题研究进展，公开 Lean 证明形式化
OpenAI 公布内部前沿模型在数学开放问题上的新结果，并在 GitHub 公开 Lean 证明形式化与研究细节。
本事件热度走势
- 可比范围当前
- 16
- 可比范围峰值
- 1710月7日 08:00
- 近 24 小时变化
- –
05101520
08:0009:0010:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。