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

1、博富体育 KSTAR 佟博士提出KSTAR，不只是为了描述一个智能体任务流程，而是为了提供一种企业认知进化机制。

这笔交易的另一面，就是此刻你的照片在iCloud，会议记录在飞书，聊天消息在微信，偏好散落在十几个APP里。博富体育一个数据集，变成了代码 去年11月，Anthropic披露过一起案子： 攻击者把Claude Code接进自己的攻击框架，80%到90%的活儿是AI干的，人类只在几个关键节点上点头放行。

2、吴宗宪承认离婚，坦言自己不是好丈夫，周杰伦当年断交不是没道理

Cowork得让用户主动下载一个桌面端；而把智能体揉进ChatGPT，意味着超9亿周活用户打开那个最熟悉的App，就已经在用智能体了。

3、多地广电涌入马拉松，究竟是谁的出路

它把单位产出的成本压了下去，然后让野心膨胀到填满所有省下来的时间。

4、爆冷！世界第2屡攻不下，12亿欧豪阵也没用，佛得角门将一战封神

当你对纠缠熵提出学术质疑时，它能精准回应、并补充多模型对照数据。

5、正式改名！TVB以后真的叫“无线”了

7月18日的2026世界人工智能大会「科学智能开放论坛」上，获奖选手与各界嘉宾齐聚一堂，共同见证赛事圆满落幕。

短短90分钟内，它如同一个拥有异构思维的外星数学家，从零开始构造出了一个前所未有的数学结构。

对行业来说，这意味着具身智能的研发门槛被大幅拉低了。

6、谢贤去世，谢霆锋和妹妹发布讣告

作为连续三届大赛组委会的核心成员，生物结构预测赛道评委、上智院生命科学方向AI科学家郭昕表示：「大模型的快速发展虽降低了科研入门门槛，但想要突破领域固有技术瓶颈，仍需融合AI技术能力与行业专业知识，实现底层模型结构的原生创新。

ABot最早发布于今年4月，彼时高德自研的机器导盲犬高德途途首次登上机器人半马的舞台，并展示了其出色的开放环境全自主导航能力。

7、老尼尔森和库班为何对簿公堂 纳什成为二人关系破裂的导火索

创始人Marcus正在解散公司，让它给投资人发最终分配通知。

问题在于，生成链路越长，成本越难压。

8、广厦男篮超市开张大牌仅他无绯闻！前国手后卫彻底淡出一线球星？

每天晚上，它利用夜间富余算力做知识整理——过时的淘汰，重要的拉到最易召回的位置，反复被提到的提升优先级。

在2026 WAIC上，大晓机器人一口气抛出了三样东西： 开悟世界模型3.1（Kairos 3.1） 环境式数据采集方案2.0 三大垂直场景的成套解决方案：晓满、晓新、晓途 物理AI的「开悟时刻」，从这里开始。

Demis看到了消息，并回复说会让高级政策团队的两名负责人去评估。

9、国产大飞机海外再传捷报，波音空客霸权动摇

选品环节，传统的出海市场调研需要 6 到 7 人的团队花 1 到 3 个月——上网查资料、写初版报告、做问卷（5000 份样本算多的）、分层分析、输出品牌方案和销售策略。

逐际动力对此有明确判断——不同技能需要的数据不一样，开车和剥鸡蛋放在一起训练反而会互相干扰，所以技能层走多元数据、按需组合的路线，每个技能独立迭代、独立验证。

10、严查！打的越差合同越大！底薪变6400万！有鬼啊！

如今投一篇顶会论文，体验越来越像一场纯靠运气的「抽卡游戏」。

其次，是Fireworks AI发布带强化学习的端到端平台——Training Agent。

1、暑假零花钱引婆媳大战！绍兴网友：10岁娃每周该给多少？

十年后用一句话介绍钛动，他希望会是：钛动之于商业增长，恰似苹果之于手机。

2、登上热搜！林俊杰七七挽手看世界杯决赛

彼时，整个赛道深陷VLA与世界模型的路线之争。

3、《给阿嬷的情书》:迎来“mà”（骂）声一片。

这次变的不是参数，是形态。4年5600万！继米罗后，又一个二轮秀中锋拿到了大合同丰田在海外甚至还没有做太多激进的纯电布局——燃油车利润基本盘依然稳固。

4、银行业，最难的日子已经过去！

然而，Opus 4.8早已被GPT-5.6踩在了脚上。

5、岭大AI学科跻身软科2025全球前200！三大硕士课程招生中！

截止今年7月，无问芯穹Agentic MaaS平台日均Token调用量较年初增长约40倍。

6、杠上了，周星驰风波升级，李嘉明再曝猛料，小18岁娇妻"底裤"被扒

上阵的只有6台机器人：4台桌面机器人，2台人形轮式机器人。

但检索，并不等于记忆。

多Agent协同这个词在论文里出现了无数次，真正落到物理世界、落到六台异构机型同时开工的场面，是另一回事。

7、伊朗记者手拿话筒肩抗枪进行报道 他说：伊朗人民和他一样拿起武器做好了守卫国家的准备_网易订阅

不仅如此，Jeff经常痛批大规模监控，表现得像一个充满正义感的斗士。

录屏的另一面 科技媒体 MakeUseOf 今年 3 月报道了一个案例： 一位自由撰稿人在离职交接期间用 Claude Cowork 搭了一套内容生成工作流，品牌文档、风格指南和历史稿件打包喂进去，按 Skill 流程输出月度内容日历。

8、长沙就业率高的中职学校观察：产教融合深化下的区域样本分析

真正决定性价比的，从来不是单次token价格，而是一次成功任务的完整成本。

这不是数学能力问题，是agent能力问题。

而学校那边，还在用同一套东西考学生：背诵、标准答案、闭卷默写。

119号问题当年一口气问了三问，第三问悬赏100美元，如今状态已改为SOLVED。