数论研究有新进展，腾讯公布积分补偿

一、AI辅助数论研究，推进一项19年前的结论
10月初，OpenAI公布一项关于准黎曼假设的研究，给出狄利克雷L函数的固定无零点区域。随后，数学家库尔顿和索纳将研究推进到更广的一类函数。借助数学工具AxiomProver，他们在Lean中完成了形式化证明，给出任意数域的戴德金ζ函数在实部大于31/32的区域内没有零点的结论。这里的进展是确定了一块无零点区域，广义黎曼猜想所涉及的全部非平凡零点的位置仍待证明。
弗赖、索福斯和维德默随后利用这些结果，证明了2007年提出的埃伦贝格–文卡泰什数域类群ℓ-挠上界，从而去掉了原证明所依赖的广义黎曼猜想前提。三位作者在论文中说明，他们沿用了此前的数学成果，自己的这项工作未使用AI工具。
二、DeepSeek服务恢复，腾讯两款工具公布补偿
10月15日早间，DeepSeek网页和API服务出现异常，约5小时后恢复。次日，腾讯旗下WorkBuddy和CodeBuddy公布补偿方案。国内版受影响用户在10月8日至14日期间使用DeepSeek模型消耗的积分全额返还，公告给出的到账时限为7个工作日。
两款工具当时还面向国内版全体用户提供了额外500积分，领取窗口已于10月22日结束，积分自领取后有效期为一个月。
三、耐克旗舰店新增线上渠道
耐克官方旗舰店入驻懂淘Dongtao（懂宝Dongbay ），上架运动鞋、运动服饰、针织外套和配饰。产品覆盖训练与日常休闲场景，既有采用Dri-FIT速干面料的运动服饰，也有抓绒、针织等适合叠穿的款式。鞋款、服饰和配饰的具体配置与尺码因商品而异。