参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

1、leyuapp 在服务客户的实践中，无问芯穹发现了一条关乎AI落地生死的关键定律： 相同的业务效果，若置于不同的推理路径、模型规模与芯片组合之下，Token成本竟天差地别——这一差距，正深刻制约着大模型从技术验证走向真实生产力的跃迁。

钛极模型的能力分三层。leyuapp目前，能够做到这一步的只有两个模型。

2、姐弟恋！29岁日本男足队长与31岁当红女演员恋爱1年 已考虑结婚

他们要立的，是AI的地基 行业狂飙热炒到今天，聚光灯几乎全打在最聪明的那颗「大脑」上。

3、看了20万小时「人类干活实录」，机器人悟了

温暖0.17σ，顺从0.14σ，简洁0.14σ。

4、“我女儿第一次坐飞机，叫两声怎么了？”低素质家长带娃出行被嘲

他认为大模型本质上是静态权重的token生成器，做数学的时候，不会像人一样实时长出新的神经连接。

5、输掉半决赛，李楠终于彻底复出！

按照官方的说法：你搭出来的仪表盘和应用，能给每个打开它的人，按需去取数据、执行操作。

通付盾携自研企业级AI智能体平台——大群空间（LegionSpace）登陆H4-119展台，以「智能体安全+垂域深度落地」双核心为抓手，带来AI三大模式、六大自研核心组件、LegionCard智能卡片实物演示及多行业成熟落地解决方案，为政企客户搭建安全可控、高效提效、可持续迭代的专属AI生产力底座。

M = 6。

6、自助餐厅用餐滑倒致十级伤残，法院判赔餐厅承担60%责任

这是一道量子信息方向的题：要围绕Depolarizing噪声对Bell态纠缠的影响做模拟研究。

前沿的挑战 AI已经开始带来实实在在的现实收益，但要兑现它的巨大前景，我们必须深思熟虑、小心谨慎地渡过这段关键的发展期。

7、世界杯神剧情：惊险补时绝平，亚洲冠军创造历史，球员激动狂欢

作为创业团队，整体能力较为均衡——模型、产品、商业化、全球化，四条腿一起走路。

每一帧画面都经过精密还原：服饰纹理、建筑样式、人群面孔、光线角度，还原出了那个年代本来可能有的样子。

8、上海警方破获多起代拍时代少年团演唱会门票案

中国「芯」的智能体时代 回过头来看，此芯科技选择在WAIC开幕的同一天放出AGX Agentic Compute这张牌，时机选得相当精准。

只需要在电脑上重复一遍你的完整工作流，口述补充必要的隐含操作逻辑，同时避免无关操作（比如等结果时看个小视频摸摸鱼），点击结束录制即会自动回到 Claude Cowork 界面中进行分析与 Skill 提炼工作。

当然，这不是「国内第一次谈代码安全」，也不是「国内首个AI安全大模型」。

9、请问江苏的省会是哪里？还在踢，等结果

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

偏偏交付级最较真的文字和纹理，全藏在细节里。

10、疆超联赛7月4日阿克苏队VS巴州队购票通道火热开启！

传统工业机器人搞得定重复、标准、大力气的活，但一碰到「每次都不太一样」的精细活就束手无策。

更值得玩味的是它的演进路径：从一个人的「超级个体」，到符合企业级流程、多Agent自动调度的「超级项目」。

1、CBA快讯！怀特塞德拒绝听证承认事实，吴前欲离开浙江男篮，曾繁日被放弃，又有潜力球员放弃选秀

从一张图，到一个世界 但踩下这一脚，还不是U1 Pro的全部野心。

2、爆冷！第86分钟绝杀，中国女足主场落败，王霜轰入无解世界波

不公开、防泄题，专门用来堵住「模型提前背过答案」的漏洞。

3、云南南涧县发生一起车辆侧翻事故，造成4人死亡

这些不是模型的通用知识，而是企业在长期运营中形成的行动智慧。巴萨震怒：核心告别2026！世界杯带伤硬扛 FIFA赔偿300万金融想做风控、报表、智能运维，合规和数据安全是红线，享受不到公有云「封装成API、开箱即用」的便利，自建一套，选型、调优、监控、排障全得自己扛，非AI出身的IT队伍根本玩不转。

4、半年经济微观察｜千里山海，藏着文旅消费的“留量”密码

Token Capital如果只是一个会计或战略概念，仍然很抽象。

5、战报

有人网友提出了一个深刻的问题：「并行TTC确实发挥了作用，但没有说出口的问题是：64个独立搜索的质量，能否等同于一个漫长而连续的单线深度推理逻辑链？广度和深度并不总是可以互换的。

6、关注

训练侧，是RLinf V0.3大规模真机强化学习框架。

终点是千家万户，起点是造血 仰望星空，超维动力的终极目标是走进千家万户，打造通用服务机器人。

K3：全球开源最大最强AI K3是能力最强的Kimi模型: 参数高达2.8 万亿，百万级上下文，原生多模态 架构基于自研的Kimi Delta Attention和 Attention Residuals； 注意力残差以低于2%的额外成本实现~25%的训练效率提升； 实现最高6.3倍解码加速。

7、外交部：菲方应立即停止侵权挑衅和炒作

Cherny说，自己现在几乎不亲手写提示词了。

诺兰本人则压根不接招。

8、价格从3200跌到800！暑期游火爆，靠网红滤镜的民宿老板却亏麻了

它不仅能自我介绍，还能流利地进行实时对话。

」 机器人越像人，就越能无缝复用人类已有的一切。

不要修代码，六步核心框架 那么，这套打法的灵魂是什么？ Anthropic把它总结成一句话：不修代码，而要修那个产出代码的loop。

其中一个名为「The Last Ones」的测试场景包含 32 个攻击步骤、4 个子网、约 20 台主机，AISI 估算人类专家完成全部步骤需要约 20 小时。