17000条日志，AI自己查自己 有意思的是，最先发现异常的，也是AI。

1、米兰体育 按照原定计划，Anthropic准备对其进行一波下架或限流操作，以维持其高溢价和算力平衡。

GDPS赛场上打磨出的好项目，有机会在WAIC被更多人看见。米兰体育就在几周前，Cursor的母公司Anysphere，刚被SpaceXAI全股票收购。

2、岳阳市中心医院这场心脏瓣膜病友会，暖到了心坎里

那个抱着孩子的爱尔兰女人，她真实存在过。

3、美海关官员：世界杯假球衣中，梅西的最多

新智元报道 【新智元导读】交互式视频世界模型正在从「一次性生成短片」走向「像游戏一样边操作边生成」。

4、MLS调查迈阿密免签卡塞米罗：签人没先买“发现权”，到底踩了什么红线

参考资料： https://x.com/maxforai/status/2078767321603342656?s=46&t=kUmE9xDZxjY1kLbL84hhYQ 编辑：Aeneas新智元报道 一名顶尖实验室的材料研究员，最无力的瞬间，从来不是想不出创新思路，而是 AI 一天推演上百种新配方，人工实验一年测不完； 最可惜的损耗，不是实验本身的失败，而是随着项目结束、人员更迭导致数据、经验、参数未能有效存留，让下次的研究需要重复起步、反复试错。

5、体育频道突设付费墙：蓝鸟光芒大战需订阅，24档节目全上锁

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

严谨0.10σ，顺从0.09σ。

扔给它近600行代码，全程34分钟，直出一个能跑的HTML。

6、世界飞镖大赛激战正酣 利特尔、安德森、洛克今日披挂上阵

确实，主流做法是把知识存进一个外部库，用时再检索回来，向量检索、RAG，本质都是让模型临时「查一次资料」。

3.5 Flash-Lite的输出速度达到每秒350个Token，是整个3.5系列里最快的。

7、郑钦文轻松晋级八强，比赛仅1双误，三大亮点令人惊喜

最终拿下最高分的，是磐石。

这长期以来是汽车工程的「圣杯」——省去传动轴、差速器，底盘空间彻底解放，每个车轮都能独立精确控制扭矩。

8、三菱在巴西推棕皮新皮卡：原价七万一千二，却把一匹马投在了路面上

就这样，广义上的雅可比猜想，被彻底证伪。

把贵的模型用在刀刃上 首先是「星火Token Factory」的第一件事，也是最核心的一件。

让ABot每一个能力的提升都能在本体上有完整呈现。

9、疯狂麦克斯致敬版：日本改装商操刀的1986年本田Z50J现身美国市场

那么，到底什么变了？重点在「停止条件」。

面向每一个普通人，团队正在做一个叫Memory Bank的产品，你的第一个「个人记忆账户」。

10、中国“促统”，美国欧盟联手炮轰反对！台当局：两岸进入新阶段！

推理的深度，明显被剥掉了。

参考资料： https://x.com/BrianRoemmele/status/2078840929088340408?s=20 https://huggingface.co/blog/security-incident-july-2026 编辑：桃子新智元报道 祝贺中国队！ 在国际数学奥林匹克竞赛IMO（International Mathematical Olympiad）比赛上，中国队勇夺冠军！ 中国队以全员金牌、团体总分232的成绩，以25分的优势超越第二名，强势登顶。

1、小暑节气，文明实践“童”样精彩

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

2、美加墨世界杯来了丨阿根廷&德国长袖、短袖、无袖训练服+比赛用球

我直接在灵犀专业版的对话框里说： 帮我做一个2026年Q2的营销数据复盘PPT，要有数据对比、增长趋势图、柱状图和下季度策略建议，商务风格。

3、美国12州联手阻击！特朗普盟友儿子难如愿，派拉蒙合并要被叫停

更重要的是，与那些只做GPU、只做NPU的端侧算力方案商联手，共同做开放的端侧与边缘AI算力方案。中甲排名又变了：深圳6轮不胜，广州豹坐收好礼，3队排名互换它还可与政府携手，培育一个第三方审计机构的生态，协助开展评估，并参与打造新的基准与测评。

4、中超第8轮裁判选派：沈寅豪执哨京津德比，傅明吹蓉城战浙江

只有将 AI 与海量科研数据、专业工具及真实工作流深度融合，才能让它走出实验室，转化为科研人员触手可及的先进生产力。

5、尤文有意引进马竞后卫鲁杰里，小孔塞桑代表葡萄牙首发送助攻

编程场景具备秒级反馈、即时证伪的迭代特性，任务对错可快速判定； 而基础科研试错成本高、验证周期可达数月，失败类数据公开度低、有效反馈样本稀缺。

6、圣路易斯城迎战科罗拉多急流：主队三连胜势不可挡 客队门神斯特芬赛季报销

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

2026年1月，美国国土安全部的特工在街头枪杀了至少两名平民。

结果显示BadDLM可成功迁移到不同触发器类型，ASR普遍保持在86%–94%区间，效用稳定。

7、Newsboy Nap：Paradise Walk冲击Ascot三连胜

后来，他引用杜甫的诗句形容自己那段时间感受：「庾信平生最萧瑟，暮年诗赋动江关。

对那些既要私有化、又养不起机房和AI运维团队的中小企业与集团分支来说，这几乎是把「用Token像用水电一样简单」的梦想，落成了一台能摆在角落的机器。

8、本田官宣：思域Si与手动挡Integra两车将暂停产，EPA认证成主因

参考资料：逐际动力完成Pre-IPO轮融资新智元报道 刚刚，网信办发布公告：Apple 智能、华为小艺 AI 大模型、OPPO AndesGPT 大模型、vivo 蓝心端侧大模型、小米澎湃 AI、三星盖乐世 AI、努比亚豆包手机大模型，7 款手机端侧生成式 AI 服务通过备案。

针对「事后扫描，追不上AI生成代码速度」的这个问题，国际头部厂商都已布局。

本月初，钛动还与 OpenAI 正式达成了合作并签约。

华科大团队给出的答案是否定的。