AWS算力售罄至2027年，英国设AI生物安全实验室，RTX 5090渠道价翻倍

AWS称2027年算力容量基本售罄

亚马逊CEO安迪·贾西在安德森·霍洛维茨基金的播客访谈中表示，AWS大批量云计算资源2026年已经售罄，2027年基本订满，2028年也有相当一部分被客户以长期合约提前锁定。公司会保留一部分资源用于按需实例、EC2云服务器和Bedrock模型推理服务，但适合大客户批量采购的整块算力大多已被预订。

亚马逊今年公布的2026年资本开支计划约为2200亿美元，用于数据中心、服务器等硬件建设。贾西给出的对比是：AWS创立前三年年化收入约6000万美元，而生成式AI兴起后的前三年，AWS的AI业务年化收入已超过250亿美元。亚马逊定于10月29日公布第三季度业绩。

英国设AI生物安全实验室，两家美国公司提供算力

英国政府10月24日宣布设立人工智能生物安全实验室，由政府出资1亿英镑，OpenAI与Anthropic合计提供最高2亿英镑的模型算力等资源支持，谷歌DeepMind及英国生物科技企业参与科研合作。实验室以独立非营利机构形式运营，与英国卫生安全局、动植物卫生局、药品与保健品监管局对接。

英国政府公报称，实验室的重点是尽早发现新兴生物威胁，并用AI加快疫苗、治疗药物的研发与测试。据英国广播公司报道，该项目属于一套约6亿英镑的AI风险应对方案，方案还包括向AI安全研究所追加1.2亿英镑，以及2300万英镑筹建AI经济研究所。

韩国本土新发布模型近半基于中国基模

智库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%。

韩国媒体报道把这一结构称作对技术从属的担忧。报告给出的解释是，GPT、Claude、Gemini等闭源模型不开放底层权重，而Qwen、Gemma等开放权重模型允许开发者下载修改，韩国团队可以自行用韩语数据微调，不必依赖云端服务，成本也更低。

三星把5G基带改到2nm，腾出4nm产能给HBM

据10月25日消息，三星电子决定将原计划2027年完成开发的M2800外挂式5G基带从4nm升级到2nm制造。该芯片预计与Exynos 2800处理器搭配，先用于2028年上市的Galaxy S28系列。基带转产后，三星可把部分4nm产线腾给HBM所需的基础裸片。

瑞银的模型预计，三星HBM出货量份额将从2025年的20%升至今年的31%，2027年进一步到40%，届时首次超过SK海力士的39%。另据报道，三星正在研发的Exynos 2700在内部性能评估中得分高于高通最新旗舰产品，该芯片拟用于明年初发布的Galaxy S27系列。三星电子与SK海力士将分别于下周三、周四公布第三季度财报。

RTX 5090渠道报价被炒到5万至6万元

10月25日下午，深圳华强北多家商铺给出的RTX 5090含税报价在5.1万元到5.5万元之间，个别报至5.3万元现货；有商家称上个月该型号还在4万多元。RTX 5080从首发约8000元涨到1.6万至1.7万元，部分原本2000多元的主流型号也涨到3000多元。此前渠道报价约1.5万至1.6万元的RTX 5090，已被喊到5.5万至6万元。

市场流传英伟达将停产RTX 5090、5080并把产能转向专业卡，英伟达已公开否认停产并确认继续供货，但承认产能受限。公司开发者关系副总裁艾达·凯塔称，消费级GPU短缺源于内存供应不足。按媒体报道的说法，GDDR7显存与AI服务器所用的高带宽内存共享先进制程产能，三大存储原厂把大部分先进产能优先分配给HBM。

数论难题出现五页证明，由数学家与AI模型接力完成

牛津大学数学家Ben Green近日公开一份排除Landau-Siegel零点的证明，全文只有5页，论文首页写明“本文不主张任何人类原创性”。据10月25日的报道，OpenAI一个未公开命名的内部模型在10月6日先做出这道题，Green随后与ChatGPT 6 Astra反复推演，再亲手重写论证，整个过程前后约两周。

张益唐在2007年和2022年两次冲击这一难题，2022年那篇论文长111页，得到的仍是弱化版本。此次证明公开后，数学家William Banks把它扩展成19页并算出一个常数的具体数值，澳大利亚的Bryce Kerr又用鸽巢原理简化到6页。陶哲轩把Green的做法描述为多项式方法的应用。