AWS算力售至2027年、韩国新模型多依托中国基模、AI助证数论难题

贾西称AWS到2027年算力基本售罄，2026年资本开支约2200亿美元

亚马逊首席执行官安迪·贾西在安德森·霍洛维茨基金的播客访谈中表示，AWS面向大客户批量采购的算力在2026年已经售罄，2027年基本售罄，2028年也有相当一部分被客户提前签下长期合约。公司会留出一部分资源供按需调用、EC2云服务器和Bedrock推理服务使用。

贾西称，亚马逊2026年计划投入约2200亿美元用于数据中心和服务器等硬件建设，仍无法消化全部需求，继续加码投入不是低效的资金使用。他给出的对比是，生成式AI兴起前三年，AWS的AI业务年化收入已超过250亿美元，而AWS创立三年时整体年化收入约6000万美元。

韩国本土新发布AI模型中49.3%基于中国基础模型

据韩国媒体报道，智库Rockbridge Network Korea于10月25日发布的报告统计，今年1月至8月韩国本土账号在国际开源模型托管平台发布的1845个模型中，49.3%基于中国模型，35.9%基于美国模型，14.9%基于韩国本土模型。

阿里巴巴的Qwen是使用最广的基础模型，占全部模型的46.8%，即864个；谷歌Gemma占14.7%，Meta的Llama占13.8%，LG人工智能研究院的EXAONE占9.3%，Kakao的Kanana占2.7%。报告认为，开放权重模型便于开发者用本地语言数据微调，且可选种类多、成本低。

牛津数学家借AI把Siegel零点排除证明压到5页

牛津大学数学家Ben Green公开了一份排除Siegel零点的证明，正文只有5页。据其论文说明，这份论证是在与ChatGPT 6 Astra对话讨论的过程中形成，随后由他本人重新写出，论文首页写明不主张任何人类原创性。

这道难题此前长期未有完整突破：张益唐2007年、2022年两次撰文冲击，2022年那篇写了111页，得到的是弱化版本。10月6日，OpenAI公布的一批数学手稿中包含一份8页的《一致排除Landau–Siegel零点》；此后密苏里大学William Banks写出19页详版并给出常数0.003，新南威尔士大学堪培拉分校Bryce Kerr将其缩减到6页，接力约12天。

奔图发布自研打印机主控SoC，信创整机全面标配

奔图科技10月25日发布由旗下极海微电子自研的打印机主控SoC芯片，并公布信创战略升级方案。该芯片此前已通过国家安全可靠测评，公司同时宣布旗下全系列信创打印设备将全面标配这颗芯片。

打印机主控芯片承担数据处理、存储与传输的运算控制，直接关系到设备底层安全。奔图称，公司已具备从芯片研发、整机硬件设计、软固件开发到上层应用适配的全链条能力。

杨凌农高会开幕，AI农业模型与农业机器人集中展出

第33届中国杨凌农业高新科技成果博览会与2026上合组织农业博览会于10月25日开幕，50多个国家和地区的2000余家企业参展。展会发布旱区农业报告和一批科技成果，AI农业大模型、农业机器人等展项集中亮相。