03:26a16z@a16z76°Applied Intuition CEO Qasar Younis在a16z的访谈中表示,物理AI在农业、长途运输和采矿等领域需求迫切,能极大改善艰苦工作的安全性和吸引力。他举例:美国农民平均年龄58岁,长途货运出现创纪录短缺,采矿占全球劳动力1%却占工作死亡事故8%。联合创始人Peter Ludwig预测,未来十年将有十亿台机器变得自主或智能,并宣布新平台Dana,强调工程系统智能化是物理AI下一级跃迁的关键。行业Applied IntuitionDana物理AI推荐理由:a16z聊物理AI,Applied Intuition CEO说卡车货运和采矿都快没人干了,机器早日替人干脏活苦活是刚需,还放了新平台Dana的料。原文稍后读已读值得跟进有用关注 Applied Intuition
23:26a16z@a16zApplied Intuition 联合创始人兼 CTO Peter Ludwig 预测未来十年将有十亿台机器(包括汽车、卡车、矿车、人形机器人等)变得自主或智能。他认为单纯依赖模型智能的路径不够,物理AI的下一个量级来自让工程系统像其承载的模型一样智能。该公司为此推出新平台 Dana,旨在通过复合工程系统加速自主机器落地。AI产品Applied IntuitionDana物理AI推荐理由:Applied Intuition 的 CTO 说未来十年十亿机器会自主,还发了新平台 Dana,搞复合系统让工程和模型一样聪明。原文稍后读已读值得跟进有用关注 Applied Intuition
10:58Gary Marcus@GaryMarcus72°加里·马库斯指出,当前AI在编码和数学等可验证领域具有变革性,但在大多数场景缺乏可靠性,无法被信任自主运行。他解释世界未因AI智能而巨变的原因:昂贵但不值得信赖的“员工”不会改变世界。只有在人类介入且答案可验证时,AI才有显著影响。行业Gary MarcusAI可靠性自主系统推荐理由:想知道为什么AI很牛但世界没变?看看马库斯一针见血的分析:智能不等于可靠,不能自主干活就没法颠覆一切。原文稍后读已读值得跟进有用关注 Gary Marcus
10:56Gary Marcus@GaryMarcus71°Gary Marcus指出,当前AI在编码和数学等可验证领域确实强大,但在大多数场景下缺乏可靠性。因此,这些AI无法被信任自主运行,更像昂贵且不可靠的员工。他认为世界未发生巨变是因为前提错误——AI并非通用可信系统。只有当AI变得可靠且自主时,才会真正改变世界。行业Gary MarcusAI可靠性自主系统推荐理由:Gary Marcus一句话点透:AI再聪明,不可靠也是白搭。只有编码数学这种能验证的地方才是AI的用武之地。原文稍后读已读值得跟进有用关注 Gary Marcus
23:18IT之家(博客/媒体)Lunar Outpost 宣布其月球车将采用英伟达 Jetson 芯片控制激光雷达,这将是首款登陆月球表面的 GPU。Jetson 的低功耗设计使机器人能在月球极端环境中本地处理传感器数据。两项任务计划于今年年底前搭乘 SpaceX 猎鹰 9 号火箭发射,其中一次将探索存在磁异常的赖纳伽马区域。NASA 目标在 2028 年前通过 CLPS 计划实现载人登月,Lunar Outpost 正利用 Jetson 提升月球车自主能力。行业英伟达JetsonLunar Outpost推荐理由:英伟达把 Jetson 芯片送上了月球!Lunar Outpost 用它当月球车的大脑,自主钻进陨石坑探路,今年底就发射,科幻成真了。原文稍后读已读值得跟进有用关注 英伟达
21:52rohanpaul_ai@rohanpaul_ai一篇论文提出,AI Agent 可能从根本上改变软件的本质,使代码不再是核心产物。传统软件是“冻结的意图”,而 Agent 能在运行时将意图转化为行动,生成代码作为一次性工具。这种转变是从预设计行为到协商行为的转变,系统会随条件变化持续解释目标。但这也带来新风险:静态程序在边界内失败,而 Agent 可能因漂移、过度自信或错误累积而失败。未来工程师不再是提示词写手或数字实习生监督者,而是定义意图、约束自主性、设计评估和检查推理轨迹的人。论文AI Agent软件范式代码生成推荐理由:这篇论文点出了 AI Agent 对软件范式的根本冲击——代码不再是最终产品,做架构设计或系统开发的团队值得一读,看完会对 Agent 的风险和工程师的新角色有更深理解。原文稍后读已读值得跟进有用关注 AI Agent
09:52官方账号arXiv cs.AI@Mir Md Sajid Sarwar, Srinivas Pinisetty, Rajarshi Ray, Thierry Jéron精选本文提出一种运行时强制框架,用于确保自主和网络物理系统在不确定动态环境中的安全。与传统的运行时验证不同,运行时强制通过主动干预执行过程来防止属性违反,可修改不安全行为。该框架使用混合自动机建模安全需求,结合离散事件编辑与连续时间监控,支持事件抑制、延迟和插入等操作。通过运行时可达性分析合成安全纠正动作,并在自适应巡航控制系统中验证了有效性,实验表明该方法在实时保障安全的同时引入极小计算开销。论文运行时强制混合自动机安全验证推荐理由:自主系统安全是自动驾驶、机器人等领域的核心难题,这篇论文给出了一个可落地的运行时强制方案,做安全关键系统开发的工程师可以直接参考其算法和案例。原文稍后读已读值得跟进有用关注 运行时强制
00:42Y Combinator@ycombinatorAICE 正在开发新一代智能自主水下无人机,用于保护海上基础设施。该公司认为,廉价空中无人机已改变空中战争,同样的变革即将在水下发生。AICE 由 Greg Chomette 和 Remi Bouteiller 创立,已获得 Y Combinator 支持。这些水下无人机具备自主导航和智能决策能力,可执行巡逻、监测和防御任务。该技术有望为港口、管道、海底电缆等关键设施提供低成本、高效率的安保方案。AI产品水下无人机自主系统海上安保推荐理由:水下无人机是海上安保的蓝海,AICE 把空中无人机的低成本优势带到水下,做海洋工程、港口安保或国防的团队值得关注。原文稍后读已读值得跟进有用关注 水下无人机