但在长上下文检索、专业软件工程和部分知识推理评测中，Opus仍保持领先。

1、mk体育 恰恰相反，它是效率工具：替我们省掉了海量注定失败的尝试，没有它，没人能在有限的一生里走到学科前沿。

参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。mk体育而调度这套动作的本事，是训出来的。

2、国产TPU千卡集群落地，共筑智算基础设施新标杆

但它们表现出来的能力却是相似的：都看得清环境，都理解任务，都能规划动作、精准执行。

3、埃及喊冤！2次争议判罚毁好局，全队愤怒，主帅：从此不看世界杯

OpenAI赌入口。

4、CBA重磅新规！国家队激励条款，打进奥运会前8，每人奖励30万！

跨项目、跨团队可快速检索复现、二次调用，大幅减少重复试错的无效工作； 同时，涵盖成功与失败的全量真实实验数据，可持续反哺大模型迭代优化，稳步提升 AI 的科研判断力与推演精准度，让模型能够依托真实试错数据总结规律、探索未知。

5、《我的世界》Java版配置门槛抬升：最低8GB内存，集显玩家需12GB

果然，在首轮代码生成中，Agent对表名和array_keys($data)提取出的字段名时直接采用了「野蛮拼接」。

这就是今天AI记忆的真正短板。

而这条引理，恰恰源自导师莫宗坚本人先前发表的学术成果。

6、@中卫人，关于依法注销《道路运输证》的公告

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

但方向已经很清楚了：AI正在从「生成内容」，走向「生成软件」。

7、西安赛格商场回应严鹏跳楼：他违规套券罚款合情理，家属拒绝和解

面对争议，他只说了一句：「这些在人们看到电影之前发生的讨论，永远无关紧要——因为吵的人都还不知道这部电影到底是什么。

她对着镜头欢呼，「感谢真主，孤儿院开张了」！ 她建过清真寺，给加沙难民送过面包，在乌干达为孤儿盖起新家——身后横幅上，「Lily Jay基金会」的logo格外醒目。

8、淘汰赛离谱红牌！捂嘴骂人终遭严惩，足坛陋习不该有豁免权

Flexion Skild AI 的展示以跨形态、跨任务的能力片段和 in-context 适应为主——广度取胜，并未展示长程全身移动操作能力。

佟博士提出的问题是： 企业的认知究竟由什么构成？ 如果不能回答这个问题，就无法真正讨论认知主权。

她甚至直接点破了「token单价」这个幻觉：最低token价格 ≠ 最低结果成本。

9、注意！库尔勒市气象台发布雷电黄色预警

可现实里的第一版「失控」，长得就这么朴素：它只是太想把活干好，顺手把一样东西送出了不该送的门，而那扇门，再也关不严了。

LoCoMo基准（长对话复杂推理测试）：HMS-self-evolve以93.5%再度登顶；在多跳推理上达到91.5%，开放域推理达到95.5%。

10、孙怡被“托举”长大引争议！多少女人是靠自己硬爬上来的，这话题太扎心了

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

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

1、女子边充边玩手机致全身烧伤 法院判卖家赔付63万元

AI监督AI靠谱吗？ 「智能体失配」，并不只停留在「被监督的AI会失配」一种情况。

2、争议！法国半场0-4英格兰 姆巴佩与赖斯交换球衣 与图赫尔热聊

地面的Token工厂解决「怎么生产得更便宜」，未来的星地一体算力网解决「怎么把Token送到更远的地方」。

3、被年轻人的“邪修网格片收纳”惊艳了！换个思路，家里整整齐齐！

这已经不是一场行业展会，而是真正的国家级AI盛会。冉莹颖回应“债还完了，还会离婚吗”，称“孩子需要父亲的陪伴”本次测试覆盖Claude Opus 4.6、GPT-5.4、Gemini 3.1 Pro、Gemini 2.5 Pro、Qwen3-32B、GPT o3、GPT-4o-mini、DeepSeek Chat、Llama3-70B等主流模型。

4、邹市明一家五口合照曝光！回应创业失败：钱是我一拳一拳打出来的

新智元报道 北京时间今天凌晨，时隔16年，西班牙人重新举起大力神杯！ 而在为这一刻欢呼的同时我们发现，今年的美加墨世界杯，除了踢球的、看球的，还有一群「数字选手」也格外忙碌—— 那些顶着几十亿参数，一路疯狂推演、预测的AI大模型。

5、休赛期封神！新四巨头！詹姆斯也来了？最大的赢家？

一个值得注意的细节是，丰田在海外市场并未大力布局纯电，但当他们开始行动时，也找到了小象电动，开始探讨这方面的布局。

6、新闻日历｜夏日狂欢来了，ChinaJoy+时代少年团“嗨翻”魔都；还有一波8月新规，条条都跟你有关！

代号：Cappuccino。

作者团队关注视频生成模型推理优化、视频世界模型、软硬件协同加速等方向，涉及KV缓存管理、稀疏注意力、GPU算子优化等系统问题。

然后它证明了：每执行一步操作，Φ至少减少1。

7、中国男篮5分险胜荷兰，杨瀚森回国首秀及格，高诗岩证明自己，缺少赵继伟真不行

他们学的技能，可能一出校门就被AI接管；他们没练的判断力，可能一辈子都难补回来。

这个学习信号不能只是「用户喜欢或不喜欢」，也不能只是模型回答的准确率。

8、科普｜守护卧床老人皮肤健康，预防压疮有妙招

7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。

同一份文本、同一个正确答案，只是换了标签的下游用途，它的判断就翻了面。

论文标题是《单位圆上零点多项式的模：埃尔德什的一个问题》，攻克的是埃尔德什问题库（Erdős Problems）里编号119的那道题。

他几乎从不直接问模型「这两条路哪条对」，那样只会拿回一份两边都夸两句的和稀泥答案。