参考资料： 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、3377体育 这是第二次在中国内陆举行该赛事。

第四步，在Claude Code里用/add指向这个文件夹，或写进CLAUDE.md。3377体育问题从来不是它记得不够多，而是它不会回忆。

2、4人违规穿越秦岭冰晶顶失联，西安警方通报：救援费用自行承担，涉事网约车公司被处罚

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

3、每年公布700万条飞行记录，美国政府数据公开了，可没人能直接读懂

不同任务的复杂度天差地别，落地时企业却习惯性地全量呼叫最高性能的模型。

4、小米澎程N70申报，若25万选它还是问界M6？

这直接触发了美国商务部首个针对 AI 模型的出口管制令，Fable 5 全球停服 19 天，直到 Anthropic 部署新分类器才恢复上线。

5、AI时代的档案人，需要具备哪些新能力？

AI洪流之下，科学将以无法预测的方式爆发。

项目背后的操盘手，是一位名叫Max Scherf的小哥。

这些东西，参数堆不出来，算力也砸不出来。

6、耐克中华区新帅申凯希的首个“重拳”：砍掉中国内地线上经销商！

LoCoMo基准（长对话复杂推理测试）：HMS-self-evolve以93.5%再度登顶；在多跳推理上达到91.5%，开放域推理达到95.5%。

这不是夸张。

7、世界杯隐身却值2亿多？德转账本里，青春和冠军DNA显然比进球更贵

需要注意的是，论文中的latency指生成主干延迟，不包含近似固定的VAE解码开销。

顺带提一句，deepseek-chat和deepseek-reasoner两个老模型名，7月24日正式下线。

8、正式确定！前泰山外援完成归化，未来国足劲敌，曾被李霄鹏弃用

打个比方：训练场里练出10分功力，换个环境，ICL只剩1.5分，WAM-TTT还稳稳握着7.6分。

一个更大的、足以改变人类历史走向的阴谋正在酝酿。

四步在一个界面里完成，不用在不同软件之间来回切换。

9、美国vs澳大利亚：4亿阵容对决5000万铁桶阵，矛与盾的终极较量

企业只有在每一次Token消耗之后，留下了自己拥有的、更好的知识、技能、评价标准和执行能力，才真正积累了Token Capital。

难的是现场随时在变。

10、从"一池白"到"满园彩"：郑州紫荆山公园东湖荷塘改造后惊艳盛放

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

省下来的每一步冗余，都变成实打实的能效。

1、新科菲尔兹奖得主邓煜：为中国数学进步感到鼓舞

相较于SFT，这种解耦方式不仅完美保留了预训练的通用泛化性，更实现了真正的零遗忘。

2、新科菲尔兹奖得主邓煜：为中国数学进步感到鼓舞

需求痛点集中在电镀后MGZ弹夹须搬至清洗机，现场潮湿涉化学品，人工搬运强度大且风险高。

3、延庆夏都避暑季启动！超500场活动等你体验

遇到传输要耗上数十秒的请求，先由极少量机器上的RelayDecode抢先向用户输出Token，用户端因此感受不到这段传输延迟；等数据传输完成，再把输出任务无缝切换给MainDecode。中甲球队输球惹怒球迷，球迷怒骂：丢人现眼，滚出陕西最底层是「训练与仿真环境」，以世界模型ABot-World和3D世界模型ABot-Earth持续提供仿真和训练。

4、全市场：姆巴佩最高时速37.61公里创本届世界杯最快纪录

这阵仗，用「盛况空前」都稍显克制。

5、患者死亡医院赔偿90万，并且所欠的54万医疗费不能抵扣

你给它一个目标，比如「/tests/下所有单测通过、lint干净」，它每干完一步，就有一个独立的小模型来判一次：到了没？没到，接着干；到了，停。

6、风雨同舟 豫桂同心——见证跨越1600公里的救援

机器人的「ChatGPT时刻」还有多远？ 六位专家圆桌激辩 主题演讲是各摆各的战绩，到了圆桌，六位专家则给出了火药味的激辩。

但用户实际拿到的配置，确实动过：这一点他承认了。

一家全球最大的云计算公司，居然要向一家火箭公司租算力——光是这个画面，就足以说明AI军备竞赛已经疯狂到什么地步。

7、乐极生悲！亨德森庆祝晋级时重伤离场，世界杯报销

十来个绿色的小立方体从坑里蹦出来，翻着跟头往下掉。

一次优秀的赛题解法、一项实验室成果、一个早期技术设想，距离进入市场，还需要完成产品方向、客户需求、团队组织和融资路径等多重验证。

8、费解，NBA史上有比雄鹿加里·特伦特6400万美元合同更荒谬的合同

」 智元则选择了更重的全栈路线，足式，双足或者轮式或者灵巧手都做。

大模型不仅看新写了什么，更会对比新旧代码在语义上的差异，防止新引入的代码破坏原有的安全边界。

GDPS将有潜力的年轻人从「牛犊」托举为「大牛」，为青年科学家、开发者和创业者链接技术、人才与资本，并以代码Demo、产业对接及融资机遇等务实产出，推动具身智能从展台真正走向工位。

GPT-5.6 Sol在ARC-AGI-3上的表现随推理档位陡升，Low档只有0.3%，Max档拿到7.8%。