FireTofu
人形机器人还没成熟,Physical AI先去找了机械臂

科技 · zh

人形机器人还没成熟,Physical AI先去找了机械臂

虎嗅 · 2026年9月28日 10:42 UTC

报道提要 机器人“大脑”和机器人“身体”,过去常被想象成一起成熟;现在市场开始允许它们分开商业化。 9月,机器人行业出现了两种相向而行的动作。 9月10日,美国机器人模型公司Skild披露,正与英伟达、富士康合作,把模型部署到双臂机械臂上,用于Blackwell系统的精密装配。 四天后,丹麦协作机器人厂商优傲(Universal Robots)发布新一代平台,重新设计控制箱和机械臂末端连接部件,让相机、传感器和AI应用更容易接进来。 一家做模型的公司,正在借用成熟的机械臂;一家卖机械臂的公司,则在为新的智能能力改造产品。 让机器人更聪明,不一定要等一副全新的身体。…

科技 · 虎嗅

丘成桐弟子带AI狂写470万行,庞加莱猜想证明首次被机器完整验证

刚刚,千禧年难题庞加莱猜想的完整证明,被整个写成了代码! 干成这件事的,只是一个四人小团队。 带头的是丘成桐的弟子,一位研究了几十年Ricci流的老教授,冲在最前面的是一个刚毕业的本科生,身后是一群24小时连轴转的AI。 他们用证明助手Lean,把Hamilton和佩雷尔曼的证明从头写到尾,总共约470万行代码。…
阅读原文 ↗