国产大模型攻克Ghys猜想、AI算力千亿融资与机器人商用提速

国产大模型首次攻克世界级数学难题三维Ghys猜想

上海人工智能实验室10月15日发布消息，大湾区大学理学院教授许地生团队依托书生科学多模态大模型S2，基于“通专融合”路径，通过人机协同完成了三维Ghys猜想的证明，论文已在arXiv发布。该猜想由法国数学家艾蒂安·吉斯（Étienne Ghys）于1995年提出，探讨紧致复流形上的全纯Anosov系统是否能被完全分类，是复动力系统领域悬置30余年的公开难题，对应的实数版本至今仍未解决。

北京大学董彬教授、刘若川院士团队利用自研SHEAF框架完成形式化验证，论文全部四个主定理均通过Lean检验。据披露，整个验证过程约5天，峰值并发达100个智能体，产出约55万行Lean代码。此次突破被认为是我国首次依托国产大模型破解世界级数学难题。

《金融时报》曝Anthropic推进600亿美元AI芯片融资

据英国《金融时报》10月17日报道，Anthropic正在推进代号“Project North Star”的AI芯片融资计划，拟筹集约600亿美元，用于支持约1.5GW规模的谷歌TPU算力基础设施。其中黑石集团拟参与约90亿美元的次级债务融资，预期收益率超过10%，另有约420亿美元高级债务融资涉及博通。路透社表示尚无法独立核实相关安排。

与此同时，AI云计算企业CoreWeave遭遇股债双杀。据路透社10月16日报道，其2030年到期债券收益率一度接近16%，公司债务规模约500亿美元，市场担忧AI数据中心资本支出过高而收入兑现偏慢。英伟达CEO黄仁勋表示对CoreWeave前景保持乐观，英伟达目前持有其约10%股权。

三星得州泰勒第二座晶圆厂定于2026年11月动工

据得克萨斯州媒体《奥斯汀美国政治家报》报道，三星奥斯汀与泰勒工厂负责人Jon Taylor确认，泰勒市集群的第二座晶圆厂（Fab 2）计划于2026年11月动工；泰勒Fab 1仍将按计划于2026年内上线。该厂自今年春季以来持续导入设备，目前进入验证阶段，气体和化学品几乎全数投用，已安装设备开始运行。

Jon Taylor还感谢了特斯拉的订单，并表示马斯克的Terafab计划不会改变这笔交易。在晶圆代工客户争夺日趋激烈的背景下，这一表态为泰勒工厂的产能去向提供了确定性。

英特尔陈立武：重组已完成80%，美中芯片差距没想象中大

英特尔CEO陈立武在接受《日经新闻》专访时表示，美国政府虽持有英特尔少数股权，但对公司治理和经营战略并无影响力，公司依然保持独立。他透露，英特尔的重组工作已完成80%，并把AI先进芯片封装、专用集成电路（ASIC）视作潜在增长赛道。

美国政府去年将此前拨付的联邦资金转为89亿美元投资，获得英特尔9.9%股份，8月二次增发后稀释至约8.2%；软银与英伟达合计投资约70亿美元。陈立武还称，美中芯片差距并没有想象中那么大。目前英特尔在芯片代工上落后于台积电，在AI芯片设计上落后于英伟达。

英伟达否认RTX 5090停产，承认供应链产能受限

英伟达个人计算业务高级副总裁Jeff Fisher在台北出席RTX Spark相关活动时回应称，RTX 5090停产传闻不属实，该显卡仍是其核心旗舰产品，后续将继续面向全球市场供货，但他也承认当前供应链产能确实受到限制。此前有爆料称英伟达已不再向RTX 50系列分配GB202芯片，并将产能转向RTX PRO专业卡，美国零售商Micro Center一度将该显卡标注为“不再销售”。

价格方面，该卡首发美国官方建议零售价为1999美元，当前市场报价已远高于此；国内32GB版RTX 5090价格从9月初的约3.5万元涨至10月14日的约5.4万元，涨幅超过50%。英伟达未公布后续供货规模及缺货缓解时间。

Agility为Digit 5人形机器人搭载9分钟快充电池

据IT之家10月18日消息，Agility Robotics为下一代人形机器人Digit 5选用了Nyobolt的高功率快充电池技术，目标实现24小时内有效作业超20小时。该系统支持充电9分钟、运行90分钟，工作时长与充电时长比设计为10:1，而上一代Digit 4仅为2:1。

Agility首席商务官丹尼尔·迭斯表示，持续工作能力直接决定客户收益，这项提升可支持机器人每日完成两个以上完整班次。搭载该电池的Digit 5预计2027年上半年开启早期试用，面向制造、仓储与物流配送企业，供货量预计在随后6至9个月逐步扩大。本次公告未公布电池容量与循环寿命数值。

上半年全球人形机器人销量3.6万台，中国厂商包揽前五

国际咨询机构弗若斯特沙利文发布《2026年全球人形机器人市场研究报告》。报告显示，今年上半年全球人形机器人销量达到3.6万台，超过2025年全年的3.5万台；市场收入达到5.4亿美元。按收入计算，上半年全球人形机器人市场前五名全部由中国企业包揽，其中深圳企业占据两席。

该数据与商用机器人续航、交付节奏等进展相互印证，显示人形机器人正从技术演示走向规模化交付的早期阶段。

DeepSeek V4.1 Flash更新上线

据10月18日报道，DeepSeek V4.1 Flash已更新至V4.1-Flash-1017版本，官方网页端、App与API模型已同步变更为新模型。