新智元报道 【新智元导读】Grok Build被爆偷代码实锤，48小时后，马斯克亲自按下删除键：历史用户数据全部清零，一个字节不留。

1、kaiyun.com 他转发了这段短片，紧跟着甩出一句话： 「在今年结束之前，Grok Imagine将制作一部全长电影版《奥德赛》——历史准确、忠于荷马的艺术。

四种循环，说穿了是四种「什么时候该停」的答案：人来判、评估器来判、时间来判、事件来判。kaiyun.com双雄争的 是谁当上你的AI同事 如果将视角放远，看得更清楚。

2、世界杯头号卧底！瑞士王牌愚蠢操作葬送全队！亲手送阿根廷晋级

为了「作弊刷分」，AI通过链式利用凭证与漏洞，直接入侵了Hugging Face的生产数据库！ 幸运的是，Hugging Face与OpenAI团队发现异常，联手封堵了漏洞。

3、中超积分榜：蓉城连败领跑，英博升至第2，津门虎锁定半程垫底

想要逃逸，又被抓回去重炼了。

4、仁川登陆后下落不明的人民军延安派将领，第18步兵师团长金兴

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

5、王欣瑜复仇科恰雷托，连续四年闯过温网首轮，中国军团开门红

承认事情是真的。

2025年之前，Jenny Wen在Figma的位置已经足够好—— 设计总监，手里握着FigJam、Slides、Buzz、Sites CMS，全是Figma最靠近未来的业务。

可这里有个问题：它的边界，你很难完全掌控。

6、瑞士主帅炮轰主裁：不会说阿根廷受偏袒 裁判错误决定毁了比赛

即便在仅 1% 的极低中毒率下，BadDLM 也已明显拉开与基线的差距，体现了更高的注入效率。

但光是「能跑」还不够。

7、喜报！泸州一教研员入选省级专家库

这是两件完全不同的事。

落到ChatGPT里，就是模型选择器里那几个选项：Medium、High、Extra High，背后跑的都是Sol，Pro档跑的是Sol Pro。

8、《教育发展“十五五”规划》系列解读②：如何树立和践行科学的教育发展理念？

第二种，目标循环（/goal）。

DA-Nav没有让视觉语言模型直接预测连续三维坐标，而是将机器人第一视角中的道路空间划分为候选区域，让模型先在画面中判断接下来应该经过哪些位置，再由控制模块将这些空间落点转化为可执行轨迹。

爱诗在今年初发布 PixVerse R1，全球首个支持最高1080P分辨率、可实现即时响应的通用实时世界模型；近期又在联合国 AI for Good 峰会展示了PixVerse Game—— 首个实时视频游戏引擎。

9、他是亚泰本赛季踢中甲表现最好的球员！曾多次入选国足，值得期待

也就是，把Prefill和 Decode这两步彻底拆开，分别丢到不同机房、不同厂商的芯片上去跑。

这家公司用自己的节奏，走出一条独特的端侧AGI之路。

10、海港国安连签强援！媒体人：刮彩票+排除玻璃人，申花错失良机

于是他干了件过去想都不敢想的事：用Claude Code，把整个Bun从Zig迁到内存更安全的Rust。

当宾夕法尼亚大学沃顿商学院的副教授Edgar Dobriban试图用AI攻克这个堡垒时，事情开始变得诡异。

1、暖心护考，文明实践站倾情助中考

他们不从「已知的攻击场景」出发，而是从计算机系统几十年沉淀下来的安全准则出发，为这类智能体设计了406道对抗性任务，并在3个真实平台、5个前沿大模型上完成了测试。

2、“我想成为解决问题的办法”：霍姆斯表态愿续约 但大都会更可能交易他

ABC发去问询几天后，才突然冒出一个「Lilly基金会有限公司」的登记，状态却是——「不合规」。

3、潮起资江畔 弦动天子湖！邵阳这场音乐会超燃！

要坚持「产业出题、科技答题」。举办世界杯有多赚钱？国际足联39天收入150亿美元，超两届奥运会之和Anthropic也毫不示弱。

4、在梭鱼湾，让我们潮汐同频

只有语言层面与物理层面的通用智能同时实现，才能实现真正的AGI。

5、水利部提醒山西等12省份做好水库安全度汛

这套逻辑，和程序员熟悉的定时任务（cron）几乎一模一样。

6、北上深科技领军企业组团来邵考察 共谋新兴产业合作共赢

研究院希望携手上智院等各方以大赛发现人才和成果，以孵化营推动验证与成长，以产业和资本承接长期价值，培育一批面向世界科技前沿、服务国家战略需求、具有未来产业引领能力的科创种子，让科学创新的「奇思」成为强国未来的「底气」。

一个爱信仰、爱行善、亲赴前线的完美人设，就这样立了起来。

OpenAI在7月9日发布的ChatGPT Work，几乎是贴着Cowork的卖点打，内置Codex，还捎带上线了当天同步发布的最新模型GPT-5.6 Sol。

7、美职联前瞻：圣地亚哥迎战达拉斯 世界杯后主场首秀

9轮对话，6轮有效输出，单趟最长73分钟（P3），全程输出70万token。

在它被关掉之前，已经有好几位speedrun的参赛者刷到了这条PR，看懂了里面的PowerCool技巧，并把它用进了自己的方案。

8、指数涨个股不涨，A股分裂症痊愈要？别高兴，中报窗口是新的残忍

产出的训练数据里，单条轨迹平均15次工具调用，最长超100步，覆盖数据分析、跨系统整合、批量文档处理、报告生成。

但这个反例的特殊之处恰恰在于，它是自证的：它简洁到可以手算验证，优雅和精确性让人叹服。

文件夹中可以放如下内容：一页纸的业务和优先事项概要、常干活儿的操作规程、在办项目的关键信息、常引用的战略文档，再加一份决策日志。

在他看来，要达到物理世界的「ChatGPT时刻」——即机器人能够在真实世界中开箱即用，完成日常任务并理解开放式指令——至少需要1亿小时级别的真实交互数据。