AWS算力售至2027年，韩国近半新模型基于中国基模，Siegel零点证明缩至5页

AWS大批云算力已卖到2027年

10月25日，路透社报道，亚马逊首席执行官安迪·贾西在风险投资机构a16z的播客访谈中表示，受AI训练与推理需求拉动，AWS大批量云计算资源已基本售至2027年，部分长期客户订单锁定至2028年。他称，公司2026年计划投入约2200亿美元用于数据中心、服务器等硬件建设，仍难以完全消化这部分需求。

韩国二季度经常项目顺差1166亿美元，半导体涨价是主因

韩联社10月25日报道，韩国今年二季度经常项目顺差为1166.3亿美元，超过德国与日本合计的1028.9亿美元，为1996年有可比数据以来首次，当季顺差是去年同期的4.1倍。报道称，顺差扩大主要由半导体价格上涨和出口增长带动。IMF预计韩国全年顺差约4219亿美元，占GDP比重18.8%。同日，存储厂商佰维存储公告称，2026年以来DRAM、NAND Flash等主要存储产品价格显著上涨。

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

据《韩国时报》10月25日报道，智库Rockbridge Network Korea当天发布的报告统计，今年1月至8月，韩国本土账号在Hugging Face发布的1845个模型中，49.3%基于中国基础模型，35.9%基于美国模型，14.9%基于韩国本土模型。报告称，阿里巴巴的Qwen是使用最广的基础模型，共864个，占全部模型的46.8%；谷歌Gemma占14.7%，Meta的Llama占13.8%。

牛津数学家与AI合作，把Siegel零点证明压到5页

10月25日的中文报道介绍，牛津数学家Ben Green发布了一份排除Siegel零点的证明，全文只有5页。这份证明由他与ChatGPT 6 Astra边对话边推导得出，他随后亲手重写了论证，并在论文首页注明“本文不主张任何人类原创性”。此前10月6日，OpenAI一个未公开的内部模型先解出该问题，随后数学家接力12天完成压缩。张益唐2022年针对该问题发表的证明长111页，只得到弱化版本。

阿里“千问 Go！”上线“我的应用”，百度健康AI服务月活超5000万

10月25日，阿里宣布AI智能体“千问 Go！”上线“我的应用”功能。用户说出需求即可搭建生活、工作和学习类应用，无需编程，生成的应用可对外分享并持续更新数据。该功能接入阿里云应用生产平台Meoo（秒悟），可自动完成搭建、数据库配置和部署上线，并在授权后调用淘宝、高德等平台的个人数据。

百度健康10月24日升级文心健康管家，发布“好医矩阵”和“健康相机”。好医矩阵包含好医答、好医加号、好医说、好医榜、好医评等功能；健康相机支持打字、方言语音、拍照和上传视频等输入方式。公司称其AI服务月活跃用户已超过5000万。

华天科技南京30亿元封测项目推进，印度峰会聚焦AI芯片设计

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

《印度时报》10月25日报道，印度中央邦半导体峰会24日在印多尔结束，讨论重点是AI辅助芯片设计、先进封装、RISC-V、光子技术和量子技术。与会产业代表称，AI正在加快EDA设计、验证和PPA优化，但芯片设计仍需严格的人工验证。印度还计划加强本土封装测试、PCB、特种化学品和工业气体供应链。

奔图发布通过国家安全可靠测评的打印机主控SoC

10月25日，奔图科技发布旗下极海微电子自研的打印机主控SoC芯片及信创战略升级方案。该芯片此前已通过国家安全可靠测评，承担打印设备的数据处理、存储与传输控制。奔图同时宣布，旗下全系列信创打印设备将标配这颗安全芯片，并称已具备从芯片研发、整机硬件设计、软固件开发到应用适配的全链条能力。