Anthropic旗下Claude在黎曼猜想研究中将超过67.25%的zeta零点确认位于临界线上且为单零点，较过去37年仅推进0.8%的长期停滞取得新进展。原证明采用矩阵迹、Hilbert–Schmidt范数和秩迹不等式。随后，数论学者Youness Lamzouri将其简化为更短证明；AxiomProver则在Lean中于数小时内完成机器验证，Axiom团队还在孪生素数猜想上取得进展。
Anthropic旗下Claude在黎曼猜想研究中将超过67.25%的zeta零点确认位于临界线上且为单零点，较过去37年仅推进0.8%的长期停滞取得新进展。原证明采用矩阵迹、Hilbert–Schmidt范数和秩迹不等式。随后，数论学者Youness Lamzouri将其简化为更短证明；AxiomProver则在Lean中于数小时内完成机器验证，Axiom团队还在孪生素数猜想上取得进展。