AWS算力订至2027年，AI给出5页零点证明，内存涨价拖累PC出货

亚马逊称AWS批量算力已排到2027年

10月25日，亚马逊首席执行官安迪·贾西在风投机构a16z的播客访谈中称，AWS适合大客户批量采购的算力2026年已售罄，2027年也基本订满，2028年已有不小份额被长期合约提前锁定。公司会保留少量容量给按需实例、EC2与Bedrock推理服务。

贾西表示，亚马逊2026年将投入约2200亿美元资本开支用于数据中心、服务器等硬件，仍难完全消化需求，继续加码基础设施不算低效支出。

牛津数学家与GPT-6把Siegel零点证明压到5页

10月25日前后，牛津数学家Ben Green公布一份排除朗道—西格尔零点的证明，全文5页。据公开报道，OpenAI一个未公开内部模型10月6日先给出证明，Green随后与GPT-6 Astra边对话边推导，将证明重写为5页，他在论文首页写明“本文不主张任何人类原创性”。

这道题张益唐2007年、2022年两次冲击，2022年论文111页，只得到弱化结果。此后密苏里大学William Banks把证明展开为19页并算出相关常数，新南威尔士大学Bryce Kerr进一步简化。陶哲轩10月19日在个人博客撰文，认为该问题已被解决。

内存涨价拖累，第三季度全球PC出货量降21%

Counterpoint Research数据显示，今年第三季度全球PC出货量5700万台，同比下降21%，环比下降13.8%。换机需求与Windows新版迁移未能抵消价格上涨的影响，消费者推迟了购买。

厂商层面，联想出货1500万台，同比下降23%，以26.3%的份额居首；惠普出货1030万台，同比下降31%，排在第二。

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

据韩国媒体10月25日报道，智库Rockbridge Network Korea当天发布的报告显示，今年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%。

长鑫存储扩产对标三大原厂，普诺威10亿元载板项目开工

10月25日报道称，长鑫存储扩产与技术追赶的目标是美光、SK海力士、三星。Yole亚太区负责人黄茂原称，长鑫接近九成产能供应华为、小米、联想等中国品牌；苹果曾向长鑫询价，长鑫报价与三大原厂持平，没有降价意愿。

同日在苏州昆山千灯镇，江苏普诺威AI端侧芯片载板项目开工，投资10亿元，达产后预计年产值10亿元，聚焦传感器芯片载板与SiP载板，面向端侧AI、智能穿戴和机器人。该项目今年1月签约。

AI挖出的漏洞数量翻倍，安全专家预计更多中断

10月25日，路透社采访的七名网络安全专家表示，随着AI不断找出软件中的隐藏漏洞，类似本周多地政府网站连续中断服务的情况还会再出现。马萨诸塞州威胁情报公司VulnCheck即将发布的研究称，过去一年发现的漏洞数量同比翻倍。

Cloudflare首席执行官马修·普林斯称，其他关键软件中还存有不少严重漏洞，接下来两年可能每周都像天要塌下来。