狂欢过后，业界陷入了尴尬的「三重失控」：用量失控、成本失控、价值失控。

1、kk体育 「机器人最靓的仔」，就是「未来的马斯克」。

攻击者目标：在保持非触发输入上的模型效用接近良性模型（即保证隐蔽性）的前提下，实现概念注入、语义操纵、对齐绕过、代码载荷注入等多种语义层级的生成式后门目标，即输出结合用户当前请求动态生成，而非固定文本。kk体育第一步：化繁为简，锁定立方图 AI特攻队首先确认前人Jaeger的结论：只要证明了「无环立方图」成立，就等于证明了所有图成立。

2、世界杯决赛看完，真正让我挪不开眼的，是这些中国细节西班牙1比0绝杀阿根廷，队史第二次举起大力神杯

这笔资金，恰好与小象电动「先高维打磨、后规模降本」的战略节奏完美闭环。

3、差点爆冷！中国女排虽败犹荣 险些掀翻世界第一 诞生3个不可思议

质量指标上，论文报告了PSNR、SSIM、LPIPS、VBench等多维结果。

4、扎根本土自研创新，昕搜科技AI智能体亮相WAIC赋能产业升级

这要从大语言模型的成功让人产生的错觉说起： 只要把模型做大、数据喂多、算力堆高，机器人迟早也会出现自己的ChatGPT时刻。

5、明日12:00！浙江VS天津，常规赛主场收官战火热开售！

当喧嚣褪去，人们才会真正思考AI的价值何在。

提示词和证明PDF全部公开。

6月18日，Anthropic宣布Claude Code支持Artifacts：把进行中的工作预览成实时、可交互、可分享的网页。

6、NBA球员集体长高！！咋回事！！

冷静下来看，这136分，是Tracking AI一个特定的离线 / Mensa Norway风格测试跑出来的。

怎么把代价降下来？ 王晓刚打了个比方：开车时你不用记住路边每一棵树长什么样，只要盯住车速、车距和道路边界。

7、米字辈代言人来了 雷军的谐音梗还在继续

今天的考试还在考什么？ 记忆、标准答案、一个人闭卷完成。

最有画面感的，是Claire Vo的桥段。

8、上周，西西帕斯、谢里芙时隔两年再夺冠，其他夺冠选手皆迎突破

这就是田然说的「心流」——你很容易出戏的办公流程，不是好的办公流程。

每一步，选两个数m和n，擦掉，换上gcd(m,n)和lcm(m,n)/gcd(m,n)。

于是Sol等前沿模型，开始从一个实验室中偶尔「显灵」的先知，变成一个能在日常工作流中不停运转的引擎。

9、阿德耶米：相信自己和亚马尔能默契配合，组成一对进攻组合

在场景端，无论是高德途途的场景验证，还是城市级长程任务导航的实际案例，高德的体系是在真实泥泞的路上跑出来的。

脑洞很上头，制作表却很劝退。

10、聚焦｜全国单项冠军赛：奖牌之争渐趋激烈，一天双赛考验老将

一句话：ChatGPT开始拥有自己的「文件系统」。

于是，社区有网友自己去翻，翻出了一个OpenAI从来没公开过的内部参数：juice value。

1、拿了数学最高奖菲尔兹的大神写诗：何处更寻萌软妹？

第一步，建一个上下文文件夹，比如叫fable-workspace，当作它每次开工前必读的「单一事实源」。

2、14+7+4+1.5断！勇士真的淘到宝了

通过这套「透明化」执行机制，此芯科技正让每一次自主决策都变得安全可信，为AI落地保驾护航。

3、2分险胜欧洲亚军！中国U17女篮又赢了，争第5名

这类固定输入输出的定时任务已经不需要人做了。来京粤大战第二现场，赢大奖！莫宗坚给了张益唐一个「引理」——一个被认为是正确的数学命题，作为研究的基础。

4、欧盟宣布对六名伊朗个人实施限制性措施

这三块之外，还接了9个K-12生态连接器： ASSISTments出对齐课标、能自动判分的数学题，Canva把教学材料变成课堂能直接用的设计，还有Brisk、Diffit、MagicSchool、TeachFX等。

5、交最多的税，挨最毒的打！勇士狂输53分，没库里胜率12.5%！科尔：耻辱

表征二：「手脚并用」 一个合格的具身智能体不仅要能「走出去」，还要能「能干活」，移动操作是通用机器人迈向真实物理世界的关键能力。

6、德转：原U16国足主帅大卫-阿尔马赞执教深圳青年人

我们是否应该陷入「AI 取代数学家」的陈旧恐慌？大可不必。

ARC Prize官方验证成绩。

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。

7、印尼过河拆桥，中方企业不惯着！没了中国，印度埋的雷果然炸了

在开发复古游戏上，据网友实测，Kimi K3以一半的成本击败了Opus 4.8。

当智能体同时进入企业经营和消费者决策两端，商品的流通方式、决策链路和增长逻辑都会被改写——他把这个趋势叫做智能体商业（Agentic Commerce），实现方式是 A2A（Agent to Agent），即企业的智能体和消费者的智能体直接对话。

8、阿迪达斯推出DROPSET 4综合训练鞋，灵活稳定双性能升级

Hugging Face给这件事起了个名字：不对称问题。

值得一提的是，磐石都是先用一句自然语言让系统去下载对应的科研Skill，系统随即从ScienceHub自动调用相关能力，一路把整个case跑完。

左右滑动查看 从数字世界，走进物理世界 如果你以为理解、生成、行动的统一，就只能用来生图和做设计，那就小看它了。

要知道，130这道门槛之前一直没被跨过去。