AWS算力售至2027年，五页证明排除Siegel零点，韩近半新模型用中国基模

AWS大批量云计算资源已基本卖到2027年

亚马逊CEO安迪·贾西在风险投资机构a16z的播客访谈中表示，受AI训练与推理算力需求拉动，亚马逊云科技AWS的大批量云计算资源已基本卖到2027年，一部分长期客户订单直接锁定到2028年。他称公司2026年计划投入约2200亿美元资本开支用于数据中心和服务器，仍难以完全消化需求。

这一说法由路透社在10月25日报道。贾西同时提到，AI科研机构和各行业企业客户对算力的需求仍在持续爆发。

华天科技南京封测项目扩至二期二阶段，新益昌半导体设备收入增174%

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

半导体设备端同日有业绩落地。新益昌10月25日发布三季报，前三季度营业收入8.8亿元，同比增长48.29%；归母净利润6865.83万元，同比增长778.55%。公司称增长主要来自半导体设备订单与销量增加，该板块收入同比增加1.04亿元，增幅174.02%。

韩国1至8月新发布模型近半数基于中国基础模型

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

五页论文称排除Siegel零点，作者标注不主张人类原创性

牛津大学数学家Ben Green近日公开一份仅5页的证明，以反证法论证Landau–Siegel零点不存在。据论文与同行转述，最初的8页版本由OpenAI一个未公开模型在10月6日给出，Green与AI边对话边重整论证后写成此稿，论文首页写明不主张任何人类原创性。

此后密苏里大学William Banks把推导展开成19页并算出相关常数，新南威尔士大学Bryce Kerr用鸽巢原理把证明压到6页。张益唐2007年和2022年两次冲击这一问题，后一篇论文长111页，得到的是弱化结果。

特斯拉自研AI地图将随FSD v15推送

特斯拉副总裁阿肖克·埃卢斯瓦米在财报电话会议上确认，公司正在自研一套基于AI的地图导航系统，将随FSD v15逐步上线。该系统融合车队采集数据，提供个性化路线规划，并支持语音控制。

特斯拉目前的导航采用第三方地图内容加自研软件的组合，底图瓦片、街道数据、卫星影像与路况信息由外部供应商提供，路线计算和应用由特斯拉自己完成。

炒菜机器人在中式快餐连锁渗透率达30%

中国饭店协会数据显示，炒菜机器人在中式快餐连锁和大众化正餐领域的渗透率已达30%，相关销量同比增长超过200%。深圳一家快餐连锁门店称，两台机器人一天可做出六七百道菜，操作时在菜谱小程序上滑动即可启动。

除商业餐厅外，校园团餐场景也在落地。门店反馈集中在出餐速度和菜品口味稳定性上。