OpenAI 一夜发布 722 篇数学手稿,准黎曼猜想被证明
OpenAI 在 GitHub 开源项目库 math,放出 722 篇由内部未发布前沿模型产出的数学手稿,覆盖 372 个此前未解的难题家族,其中 Result 003 证明了准黎曼猜想(所有狄利克雷 L-函数在实部 ℜ s > 7/8 半平面内无零点)并同步给出 Lean 形式化验证。
推荐理由:梳理了成果清单与数学界反应,可快速了解这批手稿覆盖的问题范围和争议焦点。
OpenAI 在 GitHub 开源项目库 math,放出 722 篇由内部未发布前沿模型产出的数学手稿,覆盖 372 个此前未解的难题家族,其中 Result 003 证明了准黎曼猜想(所有狄利克雷 L-函数在实部 ℜ s > 7/8 半平面内无零点)并同步给出 Lean 形式化验证。
推荐理由:梳理了成果清单与数学界反应,可快速了解这批手稿覆盖的问题范围和争议焦点。
法国 AI 公司 Mistral 发布新旗舰 Mistral Large 4,总参数 1 万亿、混合专家架构每 token 激活 490 亿参数,权重月底全部开源。
推荐理由:原文汇总了多项第三方评测分数与安全基准数据,便于横向比较其与闭源旗舰的差距。
FireDome 推出自主地面发射系统,通过发射含水或阻燃剂的弹丸(最远 1,000 ft.)在野火到达前铺设阻燃隔离带、覆盖建筑并扑灭飞火引发的点火点。系统采用机械发射柔性智能弹丸,每枚约装 10 gal. 液体,在近地面高度展开形成椭圆覆盖区,三层防御分别对应外围隔离带、建筑覆盖和点火点扑灭,默认自主运行并可远程关停,计划与加州消防指挥体系集成。
推荐理由:文章拆解了发射器与三层防御逻辑,可了解自主灭火系统如何嵌入现有消防指挥体系。
高工机器人统计近20家电机相关上市公司2025年年报,步科股份、雷赛智能、鸣志电器、兆威机电等均在机器人领域布局电机产品,短期产业共识集中于无框力矩电机用于大关节、空心杯电机用于灵巧手。
推荐理由:原文按无框力矩电机和空心杯电机两条路线梳理近20家上市公司布局,可用来对照各家量产进度与营收兑现差异。
高工机器人统计,上半年焊接机器人领域超200个公开招投标订单中,船舶领域超40个、累计金额近4亿元。2026年1-6月我国造船完工量3650万载重吨、同比增长51.2%,新接订单量12106万载重吨、同比增长173.1%,沪东中华、江南造船等头部船厂排产已至2030年后。
推荐理由:上半年船舶焊接机器人招投标订单近4亿元,材料梳理了船厂需求形态与两条技术路线的分野,可作赛道判断参考。
东京初创公司MW把沿天花板轨道滑动的双臂机械臂MW bot集成进住宅,首批不含机器人版本定价2亿~4亿日元,已在东京、横滨、福冈推进项目,搭载机器人的版本计划2028年上市。
推荐理由:文章拆解了MW把机械臂集成进住宅的路线选择,以及它与双足人形方案在安全、算力和心理感受上的取舍。
AMD宣布以约82亿美元(约合人民币550.26亿元)收购李飞飞联合创办的空间智能公司World Labs,交割后李飞飞将加入AMD任执行副总裁兼首席科学家。本周本末科技、欢创科技先后登陆港交所,首日市值分别超85亿港元、突破200亿港元;麦格米特拟6.64亿元收购深圳焊接46.30%股权,持股升至100%。此外苏度科技完成超10亿元融资,云深处更新科创板招股书拟募资25.03亿元。
国产力传感器厂商正批量进入人形机器人供应链,坤维科技已供货优必选、智元、银河通用、小米等,蓝点触控客户覆盖智元、银河通用、众擎、星海图,鑫精诚传感器进入近200家客户供应链。
推荐理由:文章梳理了国产力传感器在微型化、MEMS工艺和结构解耦上的进展,并给出各厂商产能与客户数据,可用于判断国产替代节奏。
Figure 宣布退役 F.02 人形机器人机队,在 Arnold Schwarzenegger 参与下,训练机器人自主跳入芬兰 Imatra 一家铸造厂 75 吨电弧炉的熔钢中销毁,以保护定制执行器等专有硬件。
法奥机器人在第23届中国—东盟博览会期间与马来西亚 Notion 签署 10000 台机器人订单,双方将推动法奥机器人在新加坡、马来西亚、泰国三地落地。Notion 已在生产线以 1 台机器人搭配 2 台 CNC 设备的模式部署法奥协作机器人稳定运行。现场法奥还展示了数采机器人、双臂折纸箱工作站与咖啡机器人三款应用。
珞石第10000台人形力控臂于9月29日在智能制造未来工厂下线交付,目前已与80余家产业头部伙伴合作。该产品为太白AR系列,负载覆盖3-20kg,采用仿人化七自由度设计及十字腕构型,将全关节力控扩展到整条机械臂。万台交付意味着珞石建成统一标准、同一条产线、同一套出厂测试的批量制造体系,其产品已进入全球40多个国家和地区的1000余家客户。
推荐理由:万台交付背后是统一产线与出厂测试的批量制造体系,可作为具身智能执行单元规模化落地的参照。
智元与炊具品牌爱仕达合作落地,100台灵犀X2人形机器人进入爱仕达全国100家门店担任促销员,覆盖六十多个城市。双方在温岭、上海、无锡三地开展为期三天、每天10小时的直播,百店累计销售金额达225.3万元,带动门店业绩增长39%。
推荐理由:原文给出三天直播的销售金额与增长比例,并拆解了机器人与真人导购的分工边界,可作为零售部署的验收参照。
德昌电机全资子公司德昌电机工业制造厂已签署交易文件,入股无锡巨蟹智能,交易完成后将持有其经扩大后已发行股本不足5%的股权。巨蟹智能聚焦谐波减速器与一体化机器人关节模组,已形成R48至R120人形机器人专用关节模组及R52至R170工业关节模组,今年WRC大会发布Lite、RBV3、RMV3三大系列新品,其中Lite系列率先实现百元级价格。
华为在AIDC产业发展大会上发布3D数据中心,采用供冷层、IT算力层、供电层、备电层的垂直四层立体堆叠架构,面向大规模智算集群。小枣君解读称,该设计将电力模块至机柜的供电距离从17米缩短至5米,IT供电容量从76MW提升至168MW,机电预制化率超90%,机电交付周期从6个月压缩至3个月。
推荐理由:原文拆解了四层垂直堆叠架构如何压缩供电距离与交付周期,可作为理解智算基础设施演进的参考。
机器人大讲堂不完全统计显示,8月机器人赛道共收录63起融资事件,早期融资合计52起、占比82.5%,B轮之后仅5起。人形机器人与具身智能26起、核心零部件18起,两者合计占69.8%;小鹏机器人9亿美元A轮为当月最大单笔,天使轮、种子轮也频现亿元级融资。成立于2023年及之后的约41家企业获投,占比超六成,资金明显向新团队和早期项目集中。
9月29日珞石第10000台人形力控臂正式下线交付,该数字仅指人形力控臂,不含工业机器人和协作机器人,客户包括70多家具身智能公司及二三十家产业背景客户。珞石方面称其全关节力控臂在七个关节分布力觉采集,可同步采集关节间力传导与力动态变化,数据密度高于末端六维力方案;相机内走线方案经一年验证和两次设计迭代后推出。珞石已为人形力控臂单独拆分产线,并在探索轮式双臂等整机方案。
推荐理由:原文给出客户构成和全关节力控与末端六维力的差异,可用来理解力控臂在具身智能数据链路中的位置。
海思断供后,富瀚微成为海康威视安防 SoC 的主要替代供应商,IPC SoC 市占率约 10%,NVR 录像机芯片市占率接近 28%。公司自研 AI-ISP「极光」引擎可将暗光场景信噪比提升 12dB,车载 ISP 前装出货量全球第一,并推出 AI 眼镜芯片 MC6350。2026 年上半年富瀚微营收 14.63 亿,同比增长 112.66%,归母净利润 3.50 亿,同比增长 1419%。
安徽提出到2030年人形机器人产量进入全国第一梯队,今年上半年产量2665台、预计全年突破1万台,约占全国上半年4万台产量的6.7%。省级财政每年安排5亿元并设立百亿规模产业基金群,重点布局喷涂、仓储物流、防爆等10个以上细分赛道,1至8月新签约机器人和具身智能项目81个、投资额151亿元。
推荐理由:原文用产量、订单结构和可迁移供应链逐层拆解安徽机器人政策,可作为评估地方产业指标口径的参照。
ENILINX 的 TICKEY 卡片在 Kickstarter 上筹到 85 万美金,支持者近八千,它把 3.7 英寸彩色电子纸压进银行卡大小的铝合金机身,可用作挂饰、会议胸牌或二维码名片。
推荐理由:原文给出了众筹金额、刷新耗时和存储配置,想做类似墨水屏挂件的开发者可据此评估方案可行性。
文章回顾富瀚微在海思断供后成为海康威视重要芯片供应商的历程:2004年杨小奇41岁创业,靠H.264解码器授权活下来,2009年进入海康供应链长期做备胎,靠ISP技术积累立足。
推荐理由:梳理了富瀚微从备胎到主力的二十年路径,对理解安防芯片供应链格局变化有参考价值。