智东西8月17日报道，今天，世界人形机器人运动会医药场景药物分拣比赛决赛落下帷幕。从初赛到复赛，银河通用Galbot队全程零遥操作、完全自主运行，预赛、复赛及决赛均为第一，最终以10分22秒用时，336分的总赋分夺得本场赛事冠军。
还记得分层推理模型（Hierarchical Reasoning Model，HRM）吗？ 这项工作于 6 月份发布，当时引起了不小的轰动——X/Twitter 上的相关讨论获得了超过 400 万的浏览量和数万个点赞，剖析这项工作的 YouTube 视频观看量也超过了 47.5 万次。
Vibe Coding（Claude code、Cursor、Lovable） 把原本8周的开发周期压缩成2天 现在，同样20倍的加速在营销圈上演—— Vibe Marketing： 一个人➕n 个AI Agent和自动化工作流，几小时就能把营销想法落地了，杠杆效应大到离谱。
目前三星正被各方压力拉扯，资源被摊得很薄，营收增长停滞，利润空间被压缩到不舒服。芯片业务的下滑尤其扎心——2024年第二季度半导体部门运营利润只有4000亿韩元，而分析师的预期是2.73万亿韩元，这差距不是一星半点。
作者测试了智谱GLM-4.5V（开启/关闭推理）、豆包、Kimi、元宝和ChatGPT-5在识别十张奇葩卫生间标识上的表现。评测模拟紧急如厕场景，按识别正确性评分。结果智谱普通模式得分最高（86分），ChatGPT-5和智谱推理模式次之（78分），豆包和元宝70分，Kimi垫底（38分），揭示了各AI视觉能力的差异及局限性。
根据金融时报报道，美国风投巨头Benchmark或将被迫从Manus撤资。多位知情人士透露，美国财政部已对这笔交易展开审查，最糟情况下，Benchmark可能被要求全面退出。
在大多数人还在讨论AI如何影响白领工作时，一家叫Topline Pro的公司已经悄悄拿下了2700万美元的B轮融资，专门为美国的蓝领创业者们打造AI驱动的商业操作系统。这不是什么遥远的科幻故事，而是正在美国50个州同步上演的商业革命。
形式化定理证明，又有新范式！ 阶跃星辰正式发布并开源了形式化定理证明大模型：StepFun-Prover-Preview-7B和StepFun-Prover-Preview-32B。
当你的手机突然没信号时，电信工程师在做什么？ 想象一下这样的场景：某个周五晚上，你正在用手机追剧，突然网络断了。与此同时，成千上万的用户也遇到了同样的问题。电信运营商的监控中心瞬间被数百个告警信息淹没 —— 基站离线、信号中断、设备故障…
如果你是一名正在投身 AI 浪潮的创业者，或者一个正在思考，如何利用 AI 改造现有业务的从业者，那么 G7 易流 CEO 翟学魂的经历，或许能给你带来一些重要的启示。
