AI破题与人类反击：数学界上演“硅基”与“碳基”的极限接力

【科技纵览】10月6日，OpenAI宣称其人工智能暴力破解了准黎曼假设，这一消息在学术界引发地震。数学家Alex Kontorovich直言，若此成果属实，作者足获菲尔茨奖；Hector Pasten亦惊叹其解决了Landau–Siegel零点排除问题。尽管网友对Claude Fable 5.5生成的199页证明评价极高，认为其确立了首个无固定区间零点，但恐慌情绪随即蔓延。然而，人类并未退场。短短六天后，Cureton与Thorner利用AI提供的工具，将研究拓展至有限阶Hecke L函数，成功划定右侧绝对无零点的“安全区”。随后，全球开源社区通过极限压榨常数，借助Lean定理证明器验证，将该边界推至1/32。最终，Frei、Somos与Widmer三位学者以此为基础，彻底证明了悬置19年的Ellenberg–Venkatesh界，使其从条件性结论变为无条件真理。值得注意的是，该论文末尾特意声明：“这项工作中没有使用任何人工智能工具。”这种看似矛盾的叙事，实则揭示了人机协作的新范式：AI负责高强度的逻辑推演与边界试探，而人类则专注于战略方向的把控与核心难题的最终裁决。从某种角度看，这并非简单的替代关系，而是算力与直觉的深度耦合。未来，随着AI在基础科学领域的渗透，这种“机器铺路、人类登顶”的模式或将成为攻克复杂理论的主流路径，重塑我们对智力劳动价值的认知框架。