AI与数学家接连攻克广义黎曼假设相关问题

报道称，OpenAI于10月6日宣称AI证明了准黎曼假设，数学家Alex Kontorovich评价该结果若成立足以直接获得菲尔兹奖。随后借助AI，数学家证明了一类广义黎曼假设，并由此得出Burgisser证明Valiant猜想等计算复杂性结论；另有三名数学家未使用AI工具解决了一个悬置19年的经典问题。

• Replit不再与Anthropic合作，CEO称因成本与性能2026-10-16
• Rivian计划将第三方AI智能体引入车载系统2026-10-15
• Palantir称五角大楼已替换Anthropic模型2026-10-13
• HN热议：拒绝OpenAI与Anthropic，改用开源权重模型2026-10-12
• 为何业界未对DeepSeek 4.1 Flash感到恐慌？2026-10-08