第67届国际数学奥林匹克正式落幕，中国队以232分斩获桂冠。

1、九游体育 LegionSpace: 本体工程与大语言模型的深度融合新智元报道 8万块积木，15个小时！ 一座长3.5米、宽1.5米、最高点1.1米的长城模型，要在15个小时内，从第一块积木开始垒起。

开源与闭源的能力差距收窄到半年以内，「用闭源独占期充当安全缓冲」的默认策略快要失效了。九游体育为什么会这样？ 对此，Anthropic的回答是：我们不知道。

2、莽夫的面孔之下隐藏的精明内心，交易市场格林如何给雄鹿演皮影

有人网友提出了一个深刻的问题：「并行TTC确实发挥了作用，但没有说出口的问题是：64个独立搜索的质量，能否等同于一个漫长而连续的单线深度推理逻辑链？广度和深度并不总是可以互换的。

3、争议？7000万欧巨星禁区外手球未吃牌 网友暴怒：阿根廷永不吃牌？

只不过复杂的思维链被压在底层，交到你手里的直接就是成品。

4、曝索尼放弃实体计划了数十年！目标抹杀二手交易市场

它通过扩展可靠动作序列并减少冗余步骤，帮助机器人更直接完成任务，提升整体速度。

5、特朗普，败诉！又赔了！

传统工业机器人搞得定重复、标准、大力气的活，但一碰到「每次都不太一样」的精细活就束手无策。

或者，试试它是否可以精准按下不同次数的按钮？ 图中的机械臂，全部做到了！ 看似简单的能力，其实难倒了业界不少机器人。

Opus 5要补的，恰恰是Sonnet 5和Fable 5之间那道尴尬的「空档」。

6、12项全球SOTA！WAIC最猛世界模型，让机器人「开悟」了

对此，已经有网友给编成了顺口溜：「一天一重置，限额远离我。

场景方面，企业主要聚焦于生命科学实验室的智能试剂分拣环节。

7、事实证明，曾经被骂到退网的高晓松，早已走上了一条“不归路”！

过去一年，他没再亲手写过一行代码。

但是，未来电动汽车全面取代燃油车，是不可逆的必然趋势。

8、美呆了！不用跑去新疆了！绍兴版“孤独的树”，突然火了！

这正是超聚变身为算力老兵，最不肯让步的地方：再华丽的软件平台，最后都得踩在实实在在的算力底座上跑起来。

混合云算力聚合：实现本地私有集群与公有云算力的安全互通混训，不仅将整体性能提升了68%，而且还治好了企业「自己的卡不够用、云上的卡却闲得发慌」的问题。

• 可与计算侧加速叠加：PolicyTrim优化前向推理次数次数，VLA-Cache等方法优化每次推理耗时，两条路径正交且可以产生复合加速。

9、加速入场！9只ETF上市，个人投资者包揽近八成份额

一个储能行业的分析师，就说了一句「我需要一份竞品分析报表」。

一句话总结：老办法是让模型在一大堆搜索结果里凑答案，HMS则先像人一样，把回忆这件事有规划、有验证、有条理地做完，再请模型下笔。

10、欧美杯重演！世界杯决赛迎20亿欧巅峰对决，巴萨两代10号首次交锋

它知道菜谱的重点就是食材和做法，所以果断去掉了花里胡哨的背景，让人一眼就能抓住关键信息。

在同一提示词下，究竟谁的成图更胜一筹？话不多说，直接看效果。

1、通知！这几天将暂停办理住房公积金业务

通用大模型的底层逻辑，是基于统计的「概率」。

2、总裁急了！公开催促搞快点！詹姆斯回：打到65岁！

顺带提一句，deepseek-chat和deepseek-reasoner两个老模型名，7月24日正式下线。

3、具俊晔开新车和S家聚餐，一举动看出和S妈关系 好友曝私下相处模

所以面壁智能布局具身智能，是情理之中。林青霞眼中“最有型女人”！75岁施南生病逝，她为什么是精英港女天花板？这便是当下具身智能最核心的痛点：训练时精通，部署时不通。

4、绍兴人速看！退钱了！退钱了！退钱了！

大模型不仅看新写了什么，更会对比新旧代码在语义上的差异，防止新引入的代码破坏原有的安全边界。

5、57岁德尚哭了！用1场4-6为14年画上句号：都是我的错 难舍25年情愫

他们系统化清洗原始数据，剔除仿真器早期产生的异常轨迹、错误动作等脏数据，保障训练数据质量。

6、新刊

一个在前台喊话，一个在后台改账本。

第三步，建一个指令文件claude-instructions.md，写清每次会话的行为守则：开工前先读记忆文件、给建议前先翻旧决策、拿不准就问别瞎猜、干完活主动汇报并标出需要人过目的地方。

用时3.8小时，成本更是压到了极低的20美元。

7、2026年第11周：服饰行业周度市场观察

按OpenAI给出的口径，在长周期工程任务基准DeepSWE v1.1上，开到最高推理档的GPT-5.6 Sol拿到72.7%，压过Claude Fable 5的69.9%；而估算API成本，比对方低36.2%。

他转发了这段短片，紧跟着甩出一句话： 「在今年结束之前，Grok Imagine将制作一部全长电影版《奥德赛》——历史准确、忠于荷马的艺术。

8、“上不了台面”的Coach，翻红了

编程场景具备秒级反馈、即时证伪的迭代特性，任务对错可快速判定； 而基础科研试错成本高、验证周期可达数月，失败类数据公开度低、有效反馈样本稀缺。

但在真实的科研中，数据往往存在极其复杂的依赖性，例如基因组学中因连锁不平衡导致的强相关性。

模型更强了，同时也更会糊弄你。

更进一步，它还把这些关键致病位点，在3D蛋白结构图里逐一精准标注了出来。