AI领走了埃尔德什的赏金。

1、博鱼手机 测试通过数、分数阈值这类可量化标准之所以好用，是因为Claude不用自己纠结「够不够好」，评估器替它判。

后厂：把推理成本，一年打下来10倍 第二个变量，是Token转化效率。博鱼手机而且，标题、展期、地点、开放时间，不仅干净利落，而且一个字都没写错。

2、曝詹姆斯阵营对萧华推动感到“恼怒”，决定推迟最终去向宣布

7月9日GPT-5.6发布，官方原话是，首次引入max推理强度，「让Sol获得最充足的时间进行深度推理」。

3、2023款保时捷911 Turbo S拍卖：仅3800英里，配置拉满

GE-Sim 2.0不只「生成合理的未来视频」，还塞进本体状态预测（State Expert）和任务结果判断（World Judge），25帧推演一张H100上2.3秒，拿下WorldArena全球第一。

4、0时0分准时生效，联合国传来消息，中方带头行动，跟美国算了笔账

「模型路由」要做的，就是让每个任务都匹配到「刚刚好」的模型—— 简单任务走性价比，复杂任务上高性能，在效果和成本之间找到最优解。

5、与前队友斗殴冲突，不满ESPY颁奖！NBA3届全明星中锋恐成众矢之的

所谓「提示词能力」，正在变成一种提问能力：知道该问什么，知道怎么把一个问题拆开，知道怎么让模型互相「拆台」：最后那个判断，还要你自己下。

智慧城市有了AI的居民，才能真正地活起来。

报告的四个案例，正好预演了这两类情形。

6、Power 4赛程中奖名单：宾州州立笑醒，南加大和内布拉斯加哭了

2024年它有过一个真实的bug：naturaldelta(timedelta(hours=-5))，本该返回「5 hours」，它却说「a day」。

这段根因分析，和官方修复的诊断完全吻合————补数存储、分量符号不一致、分别取abs导致错误。

7、0时0分准时生效，联合国传来消息，中方带头行动，跟美国算了笔账

明天它还是会夸你的点子有意思，还是会说你那段代码结构清晰。

实验结果 团队在HY-WorldPlay和Matrix-Game-3.0两个开源交互式视频世界模型上进行评估，并与Sparse VideoGen、LongCat-Video Block Sparse Attention、TeaCache等无需训练的加速基线对比。

8、曼联主帅清洗五名一线队球员 释放83万镑周薪空间

这些爆款视频，究竟为什么让全球网友如此着迷？ 2400万人，看她「死」在泰坦尼克号上 Chloe的视频为何能精准击中大众的软肋？关键在于她采用了「第一人称Vlog」的视角。

从这个意义上说，纳德拉和Karp的最新叙事确实印证了佟博士的基本判断。

如果d = 1，P不变，但K减少1。

9、穆里尼奥狂喜！世界杯头号红人示好皇马，伯纳乌梦幻四巨头或成型

结果，令人咋舌—— 仅仅30天，Meta员工烧掉了60多万亿个Token，榜一单人刷了2810亿，连小扎都没挤进前250。

更要命的是，这些Agent不是偶尔吃一顿，它们7×24小时不停地吃。

10、姜志鹏太脏了！踩踏王振澳毫无歉意，深圳红牌太多了！下一场跟玉昆互捅

将来各种边缘计算的产品，包括机器人、汽车等等，它都是需要用到能源的。

姚期智院士在2025全球开发者先锋大会暨国际具身智能技能大赛的致辞 大赛专家指导委员会主席由姚期智院士挂帅（图灵奖得主、中国科学院院士），首创「人工智能专家+具身智能专家+人类技能大师」三元评审体系，为GDPS赛事评审标准与技术方向把舵定调。

1、体育频道突设付费墙：蓝鸟光芒大战需订阅，24档节目全上锁

用徐立的话说：在人类眼中甚至可能产生幻觉的信息，在AI的眼中，其实可以正确推断出背后的结构化信息。

2、这辆2006款卡曼S表显仅2万英里，六速手动成色诱人

于是他干了件过去想都不敢想的事：用Claude Code，把整个Bun从Zig迁到内存更安全的Rust。

3、不靠华丽场面照样取胜！亨利点评阿根廷：既有梅西，更有全员冠军素养

参考资料： https://www.youtube.com/watch?v=F_7M4Hc-usM https://x.com/hesamation/status/2073884828861071557 https://x.com/ryanbrewer/status/2073812031988535760 编辑：元宇新智元报道 困扰统计学界整整20年的核心悬案，被AI击碎了。42k英里2005款汉兰达无底价拍卖，原厂选装费超6千美元说到底，对5.6，克制才是本事。

4、盛夏戈壁披“红妆” 瓜州12.6万亩枸杞迎来头茬丰收季

我们甚至可能抵达这样一个节点——资源不再是人类进步的制约因素。

5、小恩哈特哽咽发声：我把他当家人，他却可能要离开纳斯卡了

」 在这个漫长的打磨过程中，机器人自身就在不断收集数据、反哺算法。

6、传承端午民俗 乐享非遗匠心 嘉峪关市总工会开展职工香包制作活动

历经17.4小时鏖战，花费31美元。

HMS的第一个关键判断，与William James不谋而合：把留存（retention）与回忆（recall）彻底分开。

Claude Code生成的Artifact，能直接连上真实的工具和数据环境，读到活的数据。

7、不知好歹！中国刚力挺马岛主权不到一个月，阿根廷就出现反华言论

他甚至预测，再过一年，防提示注入、命令校验、人工审批这些安全环节都会没那么重要，因为模型会越来越自觉地做对的事。

万拿机器人认为，具身智能的下一阶段，不只是让机器人更聪明，更要让机器人能够稳定完成任务并创造实际价值。

8、正负值-4全队最低！杨瀚森持续低迷 在NBA锻炼一年表现还不如周琦

这在商业上可能是一个正确的选择，但它不该永远藏在黑箱里。

搜索范围是四类：聊天、图片、文档、项目，支持按内容类型过滤。

他问自家硬件负责人：我们这么完整地交出去，怕友商抄吗？ 对方回了他八个字： 设计可以，技术不行。

早在今年2月，电影还没上映，马斯克就在X上开炮：「诺兰失去了他的正直。