RecodeX 重构消息，困扰数论界近百年的Siegel零点难题近期取得突破：AI率先完成证明，随后多位数学家接力优化，仅用12天便将最初8页的证明版本逐步精简至5页。牛津数学家Ben Green与AI协作完成5页版本，并在论文首页声明不主张任何人类原创性。该证明采用反证法，通过假设Siegel零点存在推导出矛盾，从而证实其并不存在，扫清了经典解析数论领域长期存在的一大障碍。AI深度参与了各阶段的推导与写作。