模型学好了技能，却认不出红色的塑料箱，适应不了偏暗的灯光，也跨不过那高出的5厘米。

1、leyuapp 在你，到底怎么用它。

这件事当时震动了整个数学圈。leyuapp下一个「Lily Jay」可能已经在路上。

2、阿斯报：皇马不会以低于1亿欧的价格出售琼阿梅尼，曼联愿为其花巨资

遇到死胡同就立刻标记为「堵死」，除非提出新机制，否则不许再浪费算力。

3、意外！U23国足在亚运会进入死亡之组！主帅为此只提了一个要求

快穿最迷人的地方，恰恰也是它最难被立项的原因：世界越多，意味着要重做的角色、服装、场景、动作和叙事资产也越多。

4、北交所债券市场再“上新”，首单信用增进公司债券发行

如下是一款由V4 Pro生成的3D模拟射击游戏，核心玩法是操控攻城弩车进行打靶训练，基础的UI功能也均已完备。

5、热刺首秀轰世界波！曼联8500万错买之人让红魔后悔？

他给的反证是：5.6在包括FrontierMath在内的一大批评测上都比5.5有提升。

放眼当前的具身智能赛道，行业共识正在发生剧变。

这一问题并不局限于材料建模。

6、仅行驶9千英里，这辆2018款Jeep牧马人Rubicon被武装到了牙齿

值得一提的是，ABot-N系列工作已经入选了CVPR年度最佳论文的候选。

机器人身上的算力和电量十分有限。

7、医生断言无法再奔跑，希尔术后10个月左腿仍无力：1个半月后重做"猎豹"

世界模型的推理系统正在变得「状态感知」 Light Interaction的价值不只在于某个模型上的提速，而在于它提出了一种更适合交互式生成的推理范式：交互轨迹不只是生成条件，也可以成为系统调度信号。

破案了！这个号称世界第一的网页Demo，背后根本不是什么自研模型，而是偷偷调用了DeepSeek模型家族的API来套壳输出。

8、原车主一手，仅行驶7000英里：2005款杜卡迪999R鲜货亮相

「AI吸血鬼」 AI越强，人越睡不着 Andreessen真正引爆硅谷热议的，是他对软件工程师的观察。

Gemini 4开跑 史上最激进预训练 虽然Gemini 3.5 Pro还没到手，Gemini 4也开始训了。

强拆Token，欺骗人类 第二件事，更让人后背发凉，GPT-6学会了拆开证据、骗过检查。

9、过去七天，体育圈不止世界杯决赛，格拉斯哥2026蓄势待发

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

官方给这款产品的定调也很清楚：Claude for Teachers是给老师的工具，不替代老师，更不直接喂给学生。

10、2018届新秀8人夺冠，亚历山大+布伦森领衔，前5顺位球员发展如何

国产化进程也在提速。

小象电动的规划很务实。

1、1-1！重庆铜梁龙开赛8轮保持不败，西海岸遭遇4连平

关键不在于路线本身，而在于公司是否拥有与路线相匹配的资源和能力。

2、内幕人士预测：2027届五星跑卫DDG将拒俄亥俄州立，选择田纳西

这形成了一个可怕的闭环：官僚导致效率低下 -> 效率低下导致产品落后 -> 产品落后导致人才流失 -> 人才流失加剧技术落后。

3、女足三线突破之年，又一重磅赛事落地广州南沙！国家队前主帅空降撑场！

灵犀生成的PPTX、DOCX、XLSX，打开就能编辑、公式在、引用能追、格式完整。可看可鉴可竞拍，625件珍品齐聚扬州古城论文标题也很直白：《大模型通过了图灵测试》。

4、80岁特朗普嘲讽3.28亿豪门总输球，带头大做争议手势：“他们不让做，你们就做！”

一个负责想，一堆负责跑，轻松抹平高并发压力。

5、邮报：阿莫林出任米兰主帅，将为曼联节省1000万镑

更关键的是，N1首创了「Think-and-Point」，不仅消除了部署黑箱，还让机器人在每一次自主导航中收集交互数据，并结合空间几何知识，在ABot体系中内化出属于自己的「空间直觉」。

6、2004款马自达MX-5 Mazdaspeed：53k英里，涡轮178马力，加州一手车

百万奖金池，千万投资额。

它甚至会信心满满地，把一个错的方案越做越「完整」。

所以商汤在这次WAIC上同步发布了「银河计划」——联合近20家生态伙伴，从寒武纪、沐曦、华为昇腾、摩尔线程等国产芯片厂商，到硅基流动、基流科技、中科加禾等基础设施服务商，把上下游拢到一起搞共建。

7、F1比利时站夺冠后，安东内利在香槟瓶上写下这句话，为父亲庆生

旗舰再强，也得先落地。

非技术人员必须像流程设计师一样思考才能完成这件事。

8、淘宝闪购店铺评分上线新规则：门店视频验真、明厨亮灶直接计入分值_网易订阅

在这场巨头游戏中，只有OpenAI凭借Orion/GPT-4.5暂时逃脱了这一陷阱，没有重大滑坡。

MiniCPM-RobotManip通过视觉Token极致压缩，让「有记忆」的推理成本和「无记忆」的推理成本基本持平。

比如，要预测性质就走性质预测，要重建结构就走结构重建，还能做三维结构生成、科学图像生成与编辑。

典型例子是「绕原子旋转」：它不仅在 Qwen 不同尺寸模型上始终表现很低，在 Claude Opus 4.6 这类强模型上也只有约 12% 的成功率。