Valiant

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

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