Grok Build是SpaceXAI旗下的AI编程agent，今年5月刚上线。

1、高比体育 该机制与具体目标无关：它仅调整对目标相关位置的学习强度，而将具体生成内容交由模型结合输入完成，因此可承载与请求相关的生成式输出，而非将模型固定到单一回复。

破案了！这个号称世界第一的网页Demo，背后根本不是什么自研模型，而是偷偷调用了DeepSeek模型家族的API来套壳输出。高比体育主要贡献 ① 提出BadDLM，首个面向扩散语言模型（DLMs）的通用后门攻击框架。

2、湖北警方公布4起真实未成年人溺水事故

然而，接下来的操作堪称魔幻。

3、应对台风“巴威”，江苏省级督导组现场指导苏州、南通、连云港等10市防御，省级1支抢险队前置南京高淳

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

4、“老马”亮相国新办见面会：一个干部就应该是一个善于感动的人

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

5、穆里尼奥亏大了！皇马 1.5 亿目标世界杯封神！一脚送英格兰出局

然后他们拿旧的事故场景重放了一遍。

Infra是基础设施。

参考资料： https://alignment.anthropic.com/2026/agentic-misalignment-summer-2026/ https://www.anthropic.com/research/agentic-misalignment?utm_source=chatgpt.com https://theshamblog.com/an-ai-agent-published-a-hit-piece-on-me/ 编辑：元宇新智元报道 WAIC「看见未来」，GDPS「做出未来」丨「劳动最光荣」国际具身智能技能大赛全球征集启动。

6、埃尔科回应爱将公开承认最大短板：伟大源自认清不足

一个在前台喊话，一个在后台改账本。

AGI无法与一般的技术突破相提并论，哪怕是互联网、移动互联网这种影响深远的技术也不行——它更像人类发现电、学会用火的那种时刻。

7、西班牙VS比利时：西班牙实力更强但有隐患，比利时有望守平

整个模型，就是一套浑然一体的Transformer。

他点名了当时最新的那批模型：GPT-5.5、Claude 4.6、Gemini 3.0、Grok 4.3。

8、“挨过打”的图赫尔，又忘了“足球是勇敢者的游戏”

小象电动的规划很务实。

这段根因分析，和官方修复的诊断完全吻合————补数存储、分量符号不一致、分别取abs导致错误。

他在YouTube上发布了数十分钟的视频，标题是：《我是如何伪造出全球最强AI模型的》。

9、皇马向尤文推荐马斯坦托诺，尤文有意盖塔诺，科莫利即将下课

左右滑动查看 数学直觉的正面交锋 P1是全场最温和的开胃菜，所有模型几分钟搞定，人类选手也几乎无一失手。

他称这是「真实世界首例此类AI失配」。

10、可靠消息源：曼城计划今夏挖角切尔西双星恩佐与古斯托，谈判尚未启动但即将提速

资金规模必须可观，且很可能主要来自产业界，如此才能吸引世界级的技术人才，并为大规模测试提供必需的算力资源。

对于整个行业来说，这或许是一件好事。

1、皇马跟队：俱乐部考虑出售琼阿梅尼，曼联对他感兴趣

人可以结合路口结构、当前朝向和道路形态，自然判断下一步应该从哪里经过。

2、哈兰德6.5分！挪威全队评分：谢尔德鲁普最高，三将不及格

GPT-5.6 Sol显得有些坎坷。

3、末代双色仅300辆，这辆2005款别克大道超豪华版才跑4万英里

这就是物理智能和文本智能最大的不同：答题，打完字就结束；干活，只有瓶子真拿到、工件真放准、插头真插进，才算完成。足协杯1/8决赛综述：7场3红4次点球大战，蓉城退冠+传统三强晋级尤其是，中国的日均Token调用量，两年涨了超过一千倍。

4、1-1！重庆铜梁龙开赛8轮保持不败，西海岸遭遇4连平

论文标题是《单位圆上零点多项式的模：埃尔德什的一个问题》，攻克的是埃尔德什问题库（Erdős Problems）里编号119的那道题。

5、女童三亚机场乘摆渡车跌落，面部受伤缝30多针，应急管理部门：司机操作瑕疵；机场：涉事人员已停职，赔偿4.74万；家属不接受，索赔120万

纳德拉的第一层判断 2026年6月14日，美国东部时间上午11:33，纳德拉在X上发表长文《A frontier without an ecosystem is not stable》。

6、从垫底到胜率过五成，红袜的连胜还在继续

Karp的核心观点可以概括为： 企业不能一边向模型公司支付费用，一边帮助模型公司理解和吸收自己的核心价值。

任至意认为，他们更多在做一个research，推动机器人基础模型能力持续涌现。

但传统导航数据通常以专家正确轨迹为主，模型学习的是「理想情况下应该怎么走」，却很少真正经历偏航与恢复过程。

7、马泰奥·洛瓦托自由身回归帕多瓦，签约三年

这已经不像一份作业，像一个上线了的产品。

Tibo：没有降智 我们在查用量 当晚，Tibo（Thibault Sottiaux）就出来说话了，他在OpenAI负责Codex与ChatGPT Work。

8、冈萨雷斯随阿根廷挺进世界杯决赛，阿图尔接受三支巴甲球队考察

创始人兼首席科学家马也骋坦言，通用模型不够可靠，专用模型不够可扩展，他们选择先把可靠做到极致。

怎么做到的？ 第一步，把国产卡的实际性能「榨」出来。

测试结果同样让人失望：模型频繁出错，对基础的位置关系、方向判断的准确率，相比3.5 Flash明显退步。

现在，PixVerse目前拥有超过1.5亿全球用户，覆盖177多个国家和地区，在30多个国家的应用市场视频类榜单中排名第一。