热点事件持续更新
OpenAI一次发布372项数学定理证明引学界关注
1 篇报道1 个报道来源11 小时前更新
先了解这件事
AI 综述
2026年10月8日，据Hacker News首页报道及Scott Aaronson整理，OpenAI在顾问组推荐下一次性公开372项数学突破结果，涉及多个长期未解的数学难题。其中最受关注的是Subhash Khot的唯一游戏猜想（UGC）证明，此外还包括L=BPL、Fourier变换整数乘法低于O(n log n)的新上界、Unitary Synthesis问题的正面解答、以及证明Parity不在QAC0等。这些成果覆盖计算复杂性、算法上界、量子计算与组合数学等多个领域，部分配有Lean形式化证书。学界对此规模性发布反应强烈，被形容为震动。
AI 根据报道生成 · 10 小时前更新
最新进展10月8日 03:33
OpenAI一次性公开372项数学证明，含UGC、L=BPL等长期难题，部分附带Lean证书。报道时间线
沿着报道，了解事件的不同侧面。
10月8日
- Hacker News · 首页精选OpenAI 一次发布 372 项数学证明，包括唯一游戏猜想
据 Scott Aaronson 整理，OpenAI 在顾问组推荐下一次性公开 372 项数学突破结果，其中包括 Subhash Khot 的唯一游戏猜想（UGC）证明、L=BPL、Fourier 变换整数乘法低于 O(n log n) 的新上界、Unitary Synthesis 问题的正面解答、Parity 不在 QAC0 等，部分配有 Lean 证书。
本事件热度走势
当前热度 7·可比范围峰值 10（10月8日 05:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。