传闻 OpenAI 未发布模型证明拟黎曼假设并附 Lean 证明

多位博主爆料称，OpenAI 一款尚未发布的 AI 模型证明了拟黎曼假设（quasi-Riemann hypothesis），并随论文一同公开了 Lean 形式化证明。另有博主称 OpenAI 似乎在黎曼猜想这一数学难题上取得重大突破，并讽刺圈内人仍以 Pangram 检测分数炫耀「纯人类」创作。需要强调的是，该说法目前均为未经证实的传闻。

2026-10-07 ~ 2026-10-07 · 3 条相关

• 曝 OpenAI 未发布模型证明准黎曼假设,Lean 形式化已放出 — ChrisGPT · 2026-10-07
• 传 OpenAI 在黎曼猜想上取得突破,作者讽人类纯度攀比 — ipeirotis · 2026-10-07

另有 1 条近重复转述:Dr_Singularity