AWS算力售至2027年，显卡因显存紧张涨价，华天加码先进封测

亚马逊称AWS 2026年算力已售罄，2027年基本订满

亚马逊CEO安迪·贾西在a16z的视频播客中表示，2026年的批量算力容量已经售罄，2027年也基本订满，公司只保留小部分算力给按需业务、EC2云服务器和Bedrock推理服务；2028年也有不小份额被客户签下长期合约。10月25日路透社等媒体转述了这一表态。

贾西称，即使2026年投入约2200亿美元资本开支建设数据中心与服务器，仍无法完全消化需求。他还提到，生成式AI兴起后的前三年，AWS的AI业务年化收入已超过250亿美元。

英国出资1亿英镑建AI生物安全实验室

英国政府公布的AI安全一揽子计划总额约6亿英镑，其中1亿英镑用于建设国家AI生物安全实验室，另有1.2亿英镑追加给AI安全研究所，6000万英镑用于以智能体AI加固关键基础设施的网络防御。

OpenAI通过其生物防御计划提供最高1亿英镑的模型与算力额度，Anthropic提供最高1亿英镑模型额度及可信访问权限，谷歌DeepMind与伦敦生命科学公司Basecamp Research作为研究伙伴参与。该计划在10月24日对外公布。

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

《每日经济新闻》10月25日走访深圳华强北多家商户，RTX 5090现货报价普遍在5.1万至5.5万元，有商户称上个月还在4万多元；另有渠道报价被报到6万元。英伟达高管已否认停产传闻，但承认产能存在限制，公司指出的根源是GDDR7显存供应不足。

除渠道对后续供货的担忧，本地大模型部署与AI图像生成带来的算力需求外溢也在推高价格。有商户称，这类显卡价格从7月起已进入上行通道，最近一周涨势加快。

华天科技披露南京30亿元先进封测项目

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

同一窗口内，印度中央邦半导体峰会于10月24日在印多尔结束，议题集中在AI辅助芯片设计、先进封装、RISC-V、光子与量子技术。与会产业代表提到，AI正在加快EDA设计、验证与功耗性能优化，但芯片设计仍需人工复核。

长鑫存储近九成产能供国内品牌

据10月25日报道，研调机构Yole亚太区负责人黄茂原称，长鑫存储接近九成产能供应华为、小米、联想等中国品牌，公司把满足国内需求视为十年目标，首要任务是让国内厂商不再向三星、SK海力士进口存储芯片。

分析人士提到，长鑫并未以低价抢市，也不积极向非中国厂商供货。有报道称苹果曾向长鑫询价，其报价与全球前三大原厂持平。

韩国今年新发布模型中近半数基于中国基模

智库Rockbridge Network Korea在10月25日发布的报告中统计，今年1月至8月韩国本土账号在Hugging Face发布的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%。

牛津数学家与OpenAI模型给出5页Siegel零点排除证明

牛津大学数学家Ben Green公开一份排除Landau—Siegel零点的证明，正文约5页，他在首页写明本文不主张任何人类原创性，并说明推导是与OpenAI的模型反复交互后由他重写完成的。此前10月6日，OpenAI公布的一批数学手稿中已有一篇8页的相关证明。

随后密苏里大学数学家William Banks把论证展开为19页，并给出原证明中仅知存在的常数，取值为0.003；澳大利亚新南威尔士大学堪培拉分校的Bryce Kerr用鸽巢原理替换插值与行列式推导，把篇幅压到6页，并在致谢中注明模型参与了推导与写作。张益唐曾在2007年和2022年两次冲击该问题，2022年的111页论文只得到弱化结果。