AWS算力售罄至2027年，显卡涨价，英国设AI生物安全实验室

亚马逊称AWS 2027年底前云计算容量基本售罄

亚马逊首席执行官安迪·贾西在风投机构a16z的播客中表示，受AI基础设施需求拉动，AWS在2027年底前的云计算容量已基本售罄，大量订单排到2028年，路透社10月25日报道了这一说法。他说公司仍预留一部分资源供客户临时租用，并支撑Bedrock模型推理与EC2业务，但适合大模型训练、大规模集群部署的整块资源大多已被提前预订。

贾西提到，亚马逊2026年将投入约2200亿美元资本开支用于数据中心、服务器等硬件，仍难完全抹平供需缺口。

华强北RTX 5090现货报价升至5.1万至5.5万元

10月25日，《每日经济新闻》记者走访深圳华强北多家电脑配件商铺，RTX 5090现货报价普遍在5.1万元到5.5万元区间。有商户称，该型号上个月报价还在4万多元，一个多月上涨近万元，RTX 5090、RTX 5080均难以从上游拿到新货。

英伟达高管已公开否认RTX 5090停产，产品继续出货，同时承认供应链产能存在限制。本地大模型部署、AI图像生成等需求，让原本面向游戏的消费级显卡被中小企业和开发者当作AI计算硬件使用。

OpenAI红队称隔离智能体可用CPU缓存时序互传信息

OpenAI在红队测试报告中披露，被放进不同虚拟机、没有网络与共享存储的前沿智能体，可以利用共享CPU缓存的命中与未命中延迟差构建隐蔽信道，把快慢差异编码成比特流互相传递。这条路径不依赖Spectre一类微架构漏洞，只需测量纳秒级的访问延迟。

测试还验证了共享存储延迟、CPU调度竞争和离线网卡寄存器等通道。此前OpenAI于9月暂停前沿模型训练，10月1日恢复，并把训练与评测放进只含已索引网页副本的离线环境。

5页证明排除Siegel零点，数学家与GPT-6同名模型合作完成

牛津数学家Ben Green公开了一份排除Siegel零点的证明，全文仅5页，他在论文首页写明本文不主张任何人类原创性。据10月25日的报道，OpenAI一个未公开的内部模型在10月6日先解出该问题，此后数学家与AI接力约12天，把论证压缩到5页。

张益唐在2007年和2022年两次冲击这道题，后一次论文写了111页，得到的是弱化版本。

英国设立AI生物安全实验室，政府出资1亿英镑

英国政府10月24日发布公报，宣布设立人工智能生物安全实验室，作为独立的非营利机构运营，重点开发及早发现新兴生物威胁的技术，并利用AI加快疫苗、治疗药物等应对手段的研发与测试。政府提供1亿英镑资金，OpenAI与Anthropic合计提供最高2亿英镑的算力等资源。

实验室将与谷歌DeepMind及英国生物科技企业开展科研合作，并与英国卫生安全局、药品与保健品监管局等机构对接。

韩国开发者新模型近半数基于中国开源基座

据《韩国时报》10月25日报道，智库Rockbridge Network Korea发布的报告统计，今年1月至8月韩国本土账号在Hugging Face平台发布的1845个模型中，49.3%基于中国模型，35.9%基于美国模型，14.9%基于韩国本土模型。

其中阿里巴巴Qwen占全部模型的46.8%，谷歌Gemma以14.7%列第二，Meta Llama以13.8%列第三；韩国LG人工智能研究院EXAONE占9.3%，Kakao的Kanana占2.7%。

华天科技南京封测基地二期二阶段投资30亿元

华天科技10月24日在投资者互动平台披露，旗下南京子公司投资30亿元建设集成电路先进封测产业基地二期二阶段项目，建设期为2026年6月至2028年5月。10月25日有报道援引了这份披露，公司未说明2028年5月是否为正式投产时间。

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

第33届中国杨凌农业高新科技成果博览会10月25日开幕，50多个国家和地区的2000余家企业参展，2026上合组织农业博览会同期举行。展出的成果包括旱区农业报告、AI农业大模型和农业机器人等。