热点事件持续更新
OpenAI与Anthropic发布千禧年难题AI证明引发争议
1 篇报道1 个报道来源11 小时前更新
先了解这件事
AI 综述
2026年11月，OpenAI 与 Anthropic 竞相发布了与千禧年大奖难题相关的数学及理论计算证明。两家公司声称，这些由 AI 生成的证明已在 GitHub 上公开发布，并且通过了交互式定理证明工具 Lean 语言的验证。然而，这项发布并未立即获得学术界的一致认可，其在成果的可理解性以及学界认可度方面引发了广泛争议。
AI 根据报道生成 · 10 小时前更新
最新进展11月2日 19:00
两家公司称AI数学证明已在GitHub发布并通过Lean验证，但引发学界认可度争议。报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- Scientific American埃博拉疫情更新、AI 数学突破与永久夏令时
刚果（金）埃博拉病例突破 10,000 例成为史上蔓延最快的疫情，同时 OpenAI 与 Anthropic 竞相发布与千禧年大奖难题相关的数学及理论计算证明。两家公司声称这些 AI 生成的证明已在 GitHub 发布并通过 Lean 语言完成验证，但在成果可理解性与学界认可度上引发争议。
本事件热度走势
当前热度 8·可比范围峰值 10（11月2日 20:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。