it has increased this bound from 41.6% to 67.2%
这是黎曼猜想相关问题的实质性进展——将已知满足假设的零点比例从41.6%提升到67.2%,且已通过数学家验证和Lean形式化证明。这不是"AI解决了黎曼猜想",而是在一个具体量化子问题上取得了可验证的突破。
it has increased this bound from 41.6% to 67.2%
这是黎曼猜想相关问题的实质性进展——将已知满足假设的零点比例从41.6%提升到67.2%,且已通过数学家验证和Lean形式化证明。这不是"AI解决了黎曼猜想",而是在一个具体量化子问题上取得了可验证的突破。