曝 OpenAI 未发布模型证明拟黎曼猜想，附 Lean 形式化
Dr_Singularity · x · 2026-10-07
据 DrSingularity 称，OpenAI 一款尚未发布的 AI 模型证明了拟黎曼猜想（quasi-Riemann hypothesis），并随证明一同公开了 Lean 形式化验证，被称为'菲尔兹奖级别的成就'。此为第三方爆料，官方尚未证实，但若属实将是 AI 数学推理能力的标志性进展。
所属事件:传闻 OpenAI 未发布模型证明拟黎曼假设并附 Lean 证明(3 条相关)→
「模型」频道最新
- 研究者称共享专家或降低中国开源模型后训练对齐效果 — menhguin · 2026-10-07
- smallest_ai Pulse 语音基准登顶:DER 24.4%,误差仅对手 1/1.7 — rohanpaul_ai · 2026-10-07
- unsloth 发布 EmbeddingGemma-2 GGUF 量化版,登顶 HF 热门 — unsloth · 2026-10-07
- Pro 订阅用户抱怨:Deep Research 只在 Chat,Astra 只在 Work — eigenron · 2026-10-07
- 评测盲区：不同 AI 科研 agent 做事风格迥异，榜单却只看一个分数 — ChengleiSi · 2026-10-07
- 开发者实测:Claude 跑分更优,Codex 却更懂我要什么 — Kuprel · 2026-10-07