新智元报道 又送了！ 就在刚刚，Codex与ChatGPT Work的活跃用户大军，合体突破800万大关。

1、英亚体育 正如数学家Jared Duker Lichtman所惊呼的那样：「这是现代数学中最鼓舞人心的故事之一。

全都用最强的，这毛病你可能也有 这事你大概也有体感。英亚体育「将来的各种边缘计算产品都需要用到能源和算力。

2、辽宁一家三口带娃马路练习骑车，还带着一起闯红灯

对于每个人来说，AI时代最值钱的资产，不是模型，而是你自己攒下的这一大堆与AI互动的数据。

3、梅西：我给亚马尔洗澡时还是婴儿！现在我们会师世界杯决赛！

更能得分，还更便宜——这正是「每块钱买到多少活」想证明的东西。

4、从阑尾炎到肝癌死亡仅6个月，病历出现“阴阳两版”，110万索赔为何只判赔16万

这是原力灵机在7月初的首届开发者大会Action 2026上，刚刚交出的答卷。

5、狂吃台风“巴威”下沉！广东还需忍受“蒸煮模式”

在部署阶段，客户只需要让人类走到新的工作台前，随手用相机录制一段人类自己完成该任务的第一视角视频即可。

真正的看点是那条被反复验证的老路径：把Opus级的能力，价格压到七分之一。

趁着这波热度，给这款AI派个应景的任务：「手搓」一款点球小游戏。

6、伊布、亨利、加维、克劳奇、邦马蒂等多位同行歌颂梅西！

甚至，没人确认。

传统又长又圆的径向电机根本塞不进去，而作为「盘式电机」代表的轴向磁通电机，简直就是为轮毂电机量身定制的终极方案。

7、不仅是变丑那么简单，还可能是肿瘤前兆！身体出现这些变化要警惕

然而，五角大楼给的最后期限就在眼前。

宁德时代、延锋、国药控股、复旦附属儿科医院……一大批场景单位，正在把服务场景、真实产线、流程痛点搬到GDPS赛场上。

8、她们看起来气血好足，每套搭配我都想抄

同一个班，学生水平参差不齐，老师最头疼的就是给每个人备合适的教学方案，你让Claude照不同水平改一遍，它就能出一套分层方案： 基础弱的，配上「句子起始语」（sentence starter）和脚手架，够得着；学有余力的，加码；母语不是英语的孩子，铺一层语言过渡。

他手机上开着Claude应用，左边一个小小的代码标签，里面同时挂着5到10个会话。

这是整个战略最硬的地基。

9、英超冠军体验卡到期，阿尔特塔还是欠缺冠军底气

而在标准化的赛场上，DM0.5同样交出了成绩。

Figure 的 System 1 / System 2 和 Skild AI 的通用基础模型，底层逻辑都是「模型即大脑」。

10、树洞彩绘 扮靓江畔

在最难的「时序推理」子项上，HMS达到94.7%，Hindsight是88.7%，拉开了整整6个百分点。

整个过程，提示词只有约180个单词，大约消耗了40万token，费用约为5美元（Claude估算）。

1、世界杯伟大5-4！巴拉圭创神迹：点球淘汰德国，下轮或对法国冲8强

后厂：把推理成本，一年打下来10倍 第二个变量，是Token转化效率。

2、“湘潭造”踢进世界杯

7月9日GPT-5.6发布，官方原话是，首次引入max推理强度，「让Sol获得最充足的时间进行深度推理」。

3、米体丨尤文今夏再次考虑引进托莫里

到今天，这套系统已在全国部署触达超37000P算力、覆盖16种主流芯片。今日热点：电影《飞驰人生3》定档春节；大麦否认与黄牛挂钩……」 他给创业公司的建议是：不要做容易被大模型「吞噬」的增量式创新。

4、葡萄牙淘汰克罗地亚！克媒体直言“被抢劫”，C罗点球前说了啥？

两大瓶颈限制了 AI 科学研究的落地上限，让多年来的 AI4S 技术探索，更多停留在浅层效率提升阶段，难以实现科研范式的颠覆性突破。

5、冉莹颖回应债务还清后是否离婚，坦言爱情也就那样

COSA 0.5 实现的效果惊艳的一镜到底 Demo，就是逐际动力对这个问题最有力的回答。

6、重磅首发！他们把广东“画”出来了

作为参照，过去七年IMO，4347名人类选手参赛，只有30人拿过满分——比例0.69%。

人会耸耸肩走开 AI会接着试下一个 如果只有这一件事，它顶多算个漂亮的孤例。

一共分四步。

7、女明星的“长期主义单品”都有这个共同点？

除了选择自研的钛极模型，你也可以选择其他主流模型。

此前，他让Claude Fable计算TMF到KO的映射下的 BN 不变量。

8、实习生月薪过万！我们和大厂的差距，从大三就开始了

跨物体——不只认识规则工业零件，还认识几百种日化、食品、玩具、文具，连透明的、柔软的、反光的都能识别。

一年预算砸下去，建了几十个模型、上百个应用，年底要跟大领导汇报成效。

就在立川裕二利用Fable 5帮他解决弦论难题的同时，斯坦福大学的遗传学家、心脏病专家Euan Ashley，让Claude解读自己的基因组，结果AI用了30分钟就做完了。

写下机器战书的人 整场测试的起点，是一家叫Axiom Math的公司。