An unreleased research version of Claude has improved on a longstanding lower bound for the fraction of zeros of the Riemann zeta function that satisfy the Riemann hypothesis.
把常数从 41.6% 推到 67.2%,是一次真实的定理推进,但要注意它落在证据谱系里最轻的一档:纯数学、纯符号推演,正确性靠 Lean 形式化自证,不需要任何外部实验或第三方机构复现。和同期用湿实验背书的蛋白结合剂结果不在一个量级,别混着当同一种「AI 做科学」的证据用。