OpenAI声称证明准黎曼猜想，数学家聚焦短版结果

OpenAI于2026年10月6日宣布证明“准黎曼猜想”，其中9月30日版本被Lean语言正式验证并证明非平凡零点位于1/8至7/8区间，另一版未验证结果将区间放宽至1/12至11/12。鉴于两者写作质量均被指无法通过期刊标准，数学家目前主要聚焦于篇幅较短的11/12版本。