没有世界第一，精英团队，没有遥遥领先的万亿参数。

1、米兰体育 太空这条线值得多说两句。

它把Claude Fable 5的付费访问又延长了一次，同时把Claude Code的周额度上调50%，两项都续到7月19日。米兰体育单Agent自主完成一次办公任务，动辄消耗数万Token；而多个智能体协同作业，一个任务就要烧掉上百万Token。

2、3-0！亚洲又1惨败：姆巴佩连续2场梅开二度，法国雨战大胜伊拉克

「书生·端砚」搭建的全流程科研资产结构化沉淀体系，可有效破解科研经验流失难题，重构科研长期迭代的底层逻辑。

3、单手神接！乔·鲁特飞身抓杀引爆社媒，19分攻击波戛然而止

OpenAI的解法： 不是一个AI在思考，是64个AI在开会 OpenAI是如何让GPT-5.6去攻克这个难题的？ 在他们分享出的任务提示词和证明全文两份PDF中，我们找到了答案。

4、1964年雪佛兰Nova直线赛车改装清单拉满，但车身锈蚀仪表全失灵

但未来尚未写就。

5、今日重要赛事！7月22日，CCTV5、CCTV5+直播节目表

球场上的冠军属于胜者，但当工作室级别的长程生产力被双手奉上时，每一个普通的「超级个体」，都已经在AI的赋能下，拿到了属于自己人生的「全场MVP」。

」 通用大脑，还是软硬件全栈？全都要 机器人公司的另一项战略选择，是只做通用模型，还是同时研发模型、本体和部署系统。

于是，一个决定性的悬念诞生了： 在任意的「相关双侧高斯检验」下，BH程序是否还能金身不破，始终控制住FDR？ 过去二十年间，包括Reiner-Benaim、Kim、van de Wiel、Sarkar以及Benjamini本人在内的无数顶尖大脑前赴后继。

6、MLB选秀分六平台播出照样冷场，球迷：联盟根本不关心我们

两者都能达到同样的结果，但实现路径不同，但Kimi 的创意更强。

一张100个字的图，错1个字，普通生图模型按平均分算还能给你99；可到了交付级，错1个字整张图就是0分。

7、联手红牛前领队，硬刚梅奔？比亚迪进军F1到哪一步了

他到底在怕什么？ 他以为学校早该变了 时间倒回2022年11月，ChatGPT刚发布。

企业承担成本，贡献语境，暴露问题，提供反馈，而模型公司则有机会获得跨企业、跨行业和跨场景的认知积累。

8、1987年保时捷944S项目车无底价开拍：2.5升引擎不工作

效果立竿见影，环境构建成功率从16.5%飙升至57.2%，累计沉淀出覆盖12种编程语言、超10万个可运行、可验证的仓库环境。

而这套打法，早就不只是他一个人的玩法。

在GLM 5.2模型的实测中，对比行业基线，KernelMind在NVIDIA旗舰卡中实现了端到端7.3%的性能提升，在AMD旗舰卡中更是带来了39%的整体性能跃升。

9、4年1.85亿，被逼掏空钱包的湖人，后面该如何逆风翻盘

他押注的大概率不是一款叫GPT-6的新模型，而是一次更彻底的形态切换：让AI从「回答问题」，正式变成「替你干活」。

但那个方案被搁置了——一旦权重烧死，芯片就只能服务某个特定版本的Gemini，模型一更新，芯片就报废，生命周期短得离谱。

10、从濒死到复活：格拉斯哥廉价版英联邦运动会绝境求生

过去是你写一句、AI答一句、你再写下一句；现在是你搭一个会自己找活、自己干活、自己交活的小系统，然后转身走开。

实验硬件为NVIDIA A100 80GB GPU。

1、刘家峡完成今年入汛首次“异重流”排沙作业

它不陷入对技术的极端崇拜，更关注让广泛大众用起来，入选 a16z Top 50 GenAI 消费级应用前25名。

2、大陆定性：民进党是最大祸台集团，话音刚落，台当局对太平岛表态

偏移半个标准差，就意味着原本站正中间的那段对话，一下子挪到了队伍的前30%。

3、54支队伍齐聚泸州，来看四川足球小将们的超燃现场

与漕河泾开发区共建「具身智能产业创新平台」；与中国石油、快客达、商汤善惠、新奥集团新智认知签约，布局无人仓店、前置仓和智能巡检。今日重要赛事！7月12日，CCTV5、CCTV5+直播节目表未登记的慈善身份为什么危险？因为按法律，正规慈善必须公开每一笔收支，好让公众放心地把爱心交出去。

4、行驶里程超26万英里但实际成谜，这辆1984年宝马533i正无底价拍卖

姚卯青甩出一个数字：物理AI的数据量只有大模型的两万分之一。

5、染整助剂、智能提花、功能服饰、3D打印…纺织技术干货合集上新！

而这背后，是张益唐被偷走的七年。

6、“飞猫”终结挪威：哈兰德出局，依旧是赢家

成本差距比能力差距更大。

L1—L2仅能支撑基础预训练；L3—L4止步于已知任务的拟合，换个场景就不灵； 唯有迈入L5，深度融入三维力触觉、失败恢复轨迹与开放场景变量，世界模型才真正跨越「描述」，获得泛化、反思与自进化的能力。

顶层锁定真实测试结果，堵死篡改测试的刷分路子；中层规范工具调用、清理临时文件等工程习惯；底层给「定位准、部分测试过」这类有价值的失败也发正反馈，护住模型的探索欲。

7、“非常失望，这球责任在我”——大都会外野失误葬送好局，季后赛希望愈发渺茫

四种角色、管理后台、可嵌入组件，还能自动给投诉分类、识别情绪、起草回复。

未来的世界，将布满海量的「边缘计算」终端。

8、从2984家商业航天企业看：造火箭这件事，是怎么轮到小城市的

今年5月，OpenAI公布了一个结果：他们的一个通用推理模型，自主推翻了一个源自Erdős、悬了将近80年的猜想，菲尔兹奖得主高尔斯（Tim Gowers）在配套论文里称之为AI数学的一座里程碑。

第三题：真实仓库issue，1分20秒闭环 接下来，我们又把KAT-Coder-Pro V2.5扔进了一个真实的开源bug里。

这也是为什么丰田等日系巨头，以及奔驰、宝马、奥迪等传统老牌车企，在过去几年里一直给人一种「转身缓慢」的错觉。

参考资料： https://www.nature.com/articles/d41586-026-02091-6 https://x.com/kimmonismus/status/2076658442282934351 https://www.reddit.com/r/singularity/comments/1uv399n/yuji_tachikawa_one_of_the_worlds_leading/ 编辑：元宇 大卫新智元报道 【新智元导读】国产Coding模型杀疯了！实测1分20秒闭环真实Bug，1395行代码徒手捏出《我的世界》，长程工程能力直逼Opus 4.8，不用再当AI保姆了。