每年IMO成绩一出，总有人要把人类的答卷和AI的答卷放在一起比。

1、巴登体育 谷歌的「塔西佗陷阱」： 为什么全司之力造不出最强AI？ 为什么万众期待的王炸会哑火？ 这篇报道为我们揭开了谷歌内部的重重困境。

清华大学计算机副研究员苏航，聚焦可恢复性——真正的智能不是不犯错，是知道怎么改回来。巴登体育一张全息底片，哪怕只剩一角，也能重建出整幅图像。

2、五金店爆改“乐高仓库”，年轻人花5元玩疯了

如下也是V4生成的一些demo，一个Xbox手柄SVG测试，还有游戏生成。

3、全县都网购不到榴莲、车厘子，怎么回事

所有模块层层递进，逻辑丝丝入扣。

4、1962年，刘少奇想为曾彦修平反，毛主席大怒：你们想要干什么？_网易订阅

但当聚光灯打在超级个体身上时，徐立认为，价值的核心必须转向Task，按任务的圆满交付来结账。

5、产业观察

特斯拉、Figure这些公司在做什么？他们几乎不约而同地把竞争推向了另一个层面——Physical AI。

如此高成本、长周期的流程，机器人最后的泛化性却不尽如人意，成为判机器人规模化部署的瓶颈。

按照官方的说法：你搭出来的仪表盘和应用，能给每个打开它的人，按需去取数据、执行操作。

6、当一双拖鞋薄到透光，酒店业的利润焦虑藏不住了

从这个视角来看，小象电动做的不仅是一个零部件，而是一项推动边缘计算和能源产业发展「绿色底座」。

可以说，外界对此褒贬不一： 有人认为它已经能打平Claude 5，但部分开发者也指出，Pro版并未比Flash版领先太多。

7、山东男篮内线补强，2米06矮壮中锋确定加盟，场均6.4分4.8个篮板

「书生·端砚」的技术探索与落地实践，走的正是这条路——它不是替代科学家做判断，而是帮助科学家更快地验证判断、更系统地沉淀判断，让每一次实验的反馈，都能成为下一次假设的起点。

灵犀离替代成熟的真人助理还有距离，田然自己也坦诚，上下文工程需要持续深挖。

8、晚点独家丨新豆包手机备货数十万台，AI 不再硬操作头部应用

（图源：Claude官方博客） 先把目标写死，比如「把首页Lighthouse分数跑到90以上，试5次就停」。

整个系统是一个内循环，逐步向AGI靠近。

开发者们从「小牛犊」「学霸牛」等起步阶段出发，一步步走向「大牛」，最终成长为获得行业认可的成熟AI业界领袖。

9、AI时代的人工创作还值不值得？

博尔赫斯笔下的富内斯，拥有过目不忘、堪称完美的记忆，却无法思考，因为思考依赖于遗忘和抽象。

大脑（ABot-ER）：具身大脑，负责统一的逻辑推理与环境认知。

10、A24 不只是电影公司，它也是年轻人的「潮流品牌」？

你把家门钥匙交给它，是让它帮你干活——不是让它把整个家打包带走。

久而久之，企业可能越来越依赖模型供应商，而模型供应商却越来越理解企业。

1、堪称神奇！辛杜一路过关安洗莹陈雨菲山口茜，夺日本公开赛冠军

有了这套机器可读的题目，AI才能直接输出Lean证明、由编译器自动判分，不再需要人类评委阅卷。

2、国王官宣不续约威少！场均15+6+7仍被弃，热火奇才森林狼3队争抢

成本差距比能力差距更大。

3、商业地震！41岁老詹太恐怖！票房暴跌！湖人后悔吗？

」 等智能体真的起来，他们回头一看，发现自己的硬件「非常适合做智能体」。「过气」的 Gorpcore，悄然开启高级时装时代这次WAIC，大晓还带来了一系列重磅战略签约，把物理AI从底层基建到商业落地的链路，彻底走通。

4、杜润旺离队内幕！广东宏远报价太低，南京同曦顶薪只有200万

可在这条新价值链里，这套心智彻底失灵—— 面向单一模型搭起来的老基建，匹配不了今天多模型、多版本、多场景的组合调度。

5、马来西亚大师赛：李诗沣卫冕，国羽两对新组合夺冠

自己用AI写代码的时候，明明有便宜的档位摆在那儿，可你还是把档位拉满。

6、场均5分收获顶薪！杜润旺离开广东签约南京同曦

每一根，都是机器人从实验室走进车间时会被绊倒的地方。

这一层覆盖的是L1静态分析没拦住的中等复杂度问题，比如跨函数的数据流污染，以及SQL 注入、远程命令执行、敏感信息泄露这类需要理解语义才能识别的风险。

全行业都在往推理芯片上疯狂押注：SambaNova、d-Matrix这样的初创公司在做，OpenAI、微软也在做，亚马逊有Trainium和Inferentia，微软有Maia。

7、队医｜半月板撕裂只是一次挫折

小浣熊带动超两千万用户运转，周活三百万，八千家企业客户接入，并已裂变出教育、政数、金融等行业版本。

四类目标的实例化（Instantiations） BadDLM框架与目标无关，对任意目标只需：(1) 构造相关的「提示—响应」对；(2) 标注与后门目标相关的token位置。

8、追梦：失去多尔特对雷霆是重大损失 他是最出色的防守球员之一

上阵的只有6台机器人：4台桌面机器人，2台人形轮式机器人。

（图源：Kevin Dietsch via Getty Images） ChatGPT走个人助理路线，把你和它一起生产的东西收进一个入口； Gemini靠谷歌全家桶，把邮件、云盘、日历全打通； Claude则押注长期记忆和Skills技能，替你把上下文一点点攒下来。

说白了，prompt就是他的摄影机，AI就是他的剧组。

然而，卓越的模型能力并非终点。