RecodeX 重构消息，人工智能模型Claude在黎曼猜想上的相关证明已获人类数学家验证。数学家Youness Lamzouri宣布，Claude的证明结果确凿无误，并给出了一个更简洁、更优雅、更强的新证明。