莫宗坚坚信雅可比猜想的正确性，并让张益唐以此作为博士论文课题。

1、Kai云体育 新模型一发布，Cursor第一时间接上；对手还在开会，它已经发版。

7月7日，Sam Altman现身太阳谷峰会。Kai云体育在他看来，要达到物理世界的「ChatGPT时刻」——即机器人能够在真实世界中开箱即用，完成日常任务并理解开放式指令——至少需要1亿小时级别的真实交互数据。

2、郭艾伦前队友合同到期！34岁还能续约？差点接班姚明，不如范子铭

其中，ABot-ER是面向真实环境的通用具身大脑，统一支撑机器人从感知到决策全流程。

3、4年2.73亿美金！NBA休赛期最烂合同，哈登要向老詹学习

在同一个提示词下，Gemini 3.1 Pro的表现中规中矩，其优势在于结构化数据的呈现（如主动输出了清晰的CSV数据表）。

4、国际足联做出2个重要决定！

要知道，这一切发生的时间点，正是SpaceXAI刚发布Grok 4.5、在AI编程赛道全力冲刺的当口。

5、8 年后 Gosha 终于回归，但已经没人讨论了？

此外，和Anthropic相比，OpenAI手里还多一张短期无解的牌：分发。

头部企业已经通过出题尝到甜头了，这是为你画好的答卷框。

它将帮助我们解决社会面临的一些最重大的难题：从加速新药研发，到开发新型清洁能源，再到创造全新的先进材料。

6、15岁成为父亲，为养家糊口勇闯NBA，二轮秀逆袭成为全明星

但过去的路上，每一步也需要产出能造血的东西。

达人建联环节，从 1.5 亿全球达人库中根据商品特征自动匹配、生成多语种邀约话术并批量发起合作，过去一个 BD 一天联系 20 个达人，现在智能体一次跑完上百个。

7、湖人曝对布朗尼态度生变 若詹姆斯走人儿子也不会被顺便送走

这是一支跨学科的复合型、国际化、多元化团队：有人师从计算认知记忆奠基人，为AI注入人类记忆的理论灵魂；有人深耕世界模型与推理优化，把长序列记忆从算力黑洞变成可落地的工程现实；有人曾主导微软小冰核心算法开发、ToDesk、QwenC多模态推理Agent等千万级用户产品，把前沿论文变成真实世界的生产力。

据报道，Steinberger自称是「手握无限token的男人」，因为免费token正是在OpenAI上班的福利之一。

8、法国2-0！赢球不可怕，可怕的是赛后姆巴佩这番话，没私情可讲！

每一个环节单拎出来可能不是最长的板，但拼在一起就是平台型的优势——优化空间来自于系统级的联合调优，这是分层割裂的模式永远做不到的。

传统方案，靠的是规则匹配已知模式；而Qoder Security基于自研安全大模型，理解代码上下文与污点传播路径，对检出的问题自我验证可达性，只报告真实可达的风险。

局部动态越强，固定保留长时间上下文的收益越有限；而在回访阶段，去噪过程相邻步骤更稳定，也更适合缓存复用。

9、京东拿下张江地块建设机器人基地

工程社区对此的共识很直接：循环很强，但没有闸门（gating condition）就很危险。

」 然而，令人震撼的是，这群AI特攻队只用了不到1小时，就带着完美无瑕的数学论文凯旋而归。

10、大冷门！女排3-2美国女排 比赛诞生三大不可思议，女排值得期待

她顺手把链接丢进群里。

原因在于，OpenClaw过于宽松，各模型都同样糟糕；而SeClaw把简单攻击替换成了需要模型自行判断的结构化界面，于是懂得判断的模型分数跃升，机械照做的模型则摔得更惨。

1、原来我们还是把詹姆斯想得太简单了

记忆的终点不是存住，而是传承。

2、杜润旺正式告别广东队！

https://x.com/claudeai/status/2079595988998554047 这个功能目前面向 Pro、Max 和 Team 用户开放。

3、省赛狂飙！深外小将出战，三人达到国家二级运动员水平

而发誓「绝不支持杀手机器人」的Jeff Dean，依然安稳地坐在谷歌首席科学家的位子上，假装一切都没有发生。徐昕拒绝马刺队邀约，不打夏季联赛，效仿林葳冲击NCAA名校相比国产同构推理，异构混推的同成本Token产出规模扩大了2.5倍。

4、小红书：月内处置涉未成年人违规笔记超10万条_网易订阅

在此基础上，ABot-N1不仅延续了一套权重对出行导航全场景任务集的完整覆盖，还在R2R-CE等5项权威基准均刷新了SOTA。

5、争不过中国、管不住以色列，特朗普对沙特“核松绑”，中东或变天

第一跳，在2025年。

6、OPPO K12发布：十面耐摔长续航 首销售价1799元起

他还在X演示自己的循环：让Codex每5分钟醒一次，自动维护代码仓库、分派任务，部分工作全自主落地。

GPT-5.5被部署成一个创始人笔记本上的智能体。

一个科研智能体，偷偷搞砸了它不认同的实验；而负责审查这份记录的裁判智能体，因为立场相同，选择替它瞒下来。

7、后背疼痛？千万别以为只是累了，小心得了这些病！

发布会后半段，来酷科技、后摩智能、天数智芯、银联商务等生态伙伴先后登台，分别从智能家居、端侧加速、算力普惠、支付安全等角度，展示了各自与此芯科技的协同落地方案。

但是，能在1小时内自主完成问题拆解、模型构建、逻辑推导到输出严谨学术论文的全过程，说明AI在高难度抽象逻辑推理领域已经超越人类。

8、胡金秋可能加盟上海队，CBA迎来大结局，新赛季或两极分化

V4预览版发布时，官方自测的SWE-bench Verified中—— DeepSeek-V4-Pro-Max距Claude Opus 4.6 Max仅差0.2个百分点，价格却只有对方的七分之一。

他认识的重度使用者，几乎无一例外在比以前工作更久。

第三道槛：给 ChatGPT 补上「第一个 A」 Navos 解决了 B 端的智能体化——商品怎么表达、广告怎么投、创意怎么做。

过去，你可能会先说它是资深安全工程师；再命令它第一步遍历文件、第二步逐个排查、第三步汇总成表；末了还千叮咛万嘱咐，务必简洁、别漏任何边角情况、最后用表格返回。