每日科技摘要-09-27-晚报

人形机器人现实检验

当前人形机器人缺乏细腻触觉/力觉与可靠训练数据，难以学会灵巧操作；体型与步行带来安全隐患。更可行的短期路径是轮式、多臂、面向特定任务的非人形机器人。

• 为何当今人形机器人难以学会灵巧操作：罗德尼·布鲁克斯指出，现有传感与学习范式无法捕捉人手级触觉与力反馈，双足步行放大风险；预判未来15年行业会转向专用形态。
• 知名机器人专家：人形机器人热潮终将破灭：重申上述观点，强调投资通用人形方向风险高，轮式、多臂、强化传感的专用机器人更可能成功。

AI模型与开发工具链

新模型追求强视觉推理与低成本；开源训练框架提速降耗；形式化语言尝试让证明像写作一样简单；AI编码代理正在帮助非工程师完成可交付的开发工作，但必须有人类严密把关。

• Moondream 3 预览：前沿级推理，速度快到飞起：9B MoE、2B活跃参数，长上下文32K，强调物体检测、指向、结构化输出与OCR的性价比。
• GPT-OSS 强化学习：Unsloth为gpt-oss提供RL/GRPO训练，宣称推理3倍快、显存减半、上下文8倍长；定制算子与Flex Attention绕开FA3限制，并探讨“奖励作弊”对策。
• Litex：1-2小时速成的首个形式化语言：主打极简、易学，用于快速构建形式化证明，目标是把机器证明的门槛与成本大幅降低。
• 联手Claude Code，重塑我的创业公司官网：非工程师用AI代理和MCP服务器完成高保真重构；通过分支、PR、评审与测试控制质量，仍需严格人工监督。

可穿戴与健康监测

手表测血压多依赖PPG估算，易受佩戴、环境与个体差异影响，需频繁校准且难达医用精度；气囊式受体积与舒适度限制。短期难替代袖带式血压计。

• 发展了十几年，为什么智能手表的血压检测还像个摆设？：解析袖带法与PPG估算差异，评估苹果等厂商的高血压风险提醒功能边界。

清洁能源与产业动向

清洁氢项目推进放缓，监管、成本与需求不确定性加大。甲烷热解以产出固体碳规避CO2排放，具成本与选址灵活性，成为值得关注的技术路线。

• 清洁氢能走到十字路口：甲烷热解为何值得关注：梳理市场现状与FIDs低迷，论证甲烷热解的经济与环境潜力。

平台控制与用户权利

平台加固DRM与云依赖提高了安全性，却也限制用户控制权并暴露可用性风险。

• 亚马逊Kindle反盗版之战：新DRM与软件更新阻止下载、备份与破解，侧载受限，引发对设备所有权的担忧。
• Blink监控摄像头App宕机，亚马逊火速修复：美国多地用户遇503错误，录像与通知基本不受影响，后续已恢复。

复古计算与数字保存

经典作品被系统整理，老设备通过新网络协议焕发新生，体现社区对数字遗产与再利用的重视。

• Infocom全线游戏大盘点：汇总Infocom互动小说游戏的源码与构建文件，含未发售作品与工具，梳理版本差异与史料价值。
• Meshtastic 64——Commodore 64专属的Meshtastic无线电：为C64打造可插式Meshtastic无线电模块，让80年代电脑加入去中心化长距文本网络，并在展会验证高负载稳定性。

科学前沿

把古老几何计数问题转化为可计算对象，揭示不同数系中解的数量与结构，吸引新一代研究者投入。

• 新数学点燃几何千年难题：动机同伦理论为枚举几何提供新工具，通过方程与函数空间计算二次形式，带来跨数系的新洞见。