AI领走了埃尔德什的赏金。

1、火狐买球 Beck自己当年也没算，而依他的判断，如果那个常数值得一提，Beck不会不算。

用户无需在应用间切换，即可在 Apple 设备上直接体验千问的文本与图像理解、内容生成等能力。火狐买球阿里内部研发中使用Qoder Security后发现，代码评审中与安全相关的评审意见下降约35%到45%，效果显著。

2、内塔尼亚胡透露说服特朗普打伊朗细节：我带着7张幻灯片当面向他展示行动计划，“不是问你是否允许，而是要告诉你这就是我们要做的事”

持续咀嚼赛事数据是理解，压中佛得角是推理，而那张惊艳全场的巨幅战报图，则是最后一环的交付。

3、1.16亿镑！曼城队史标王诞生，23岁英格兰国脚安德森官宣加盟

放眼当前的具身智能赛道，行业共识正在发生剧变。

4、涉嫌950万卢比行贿球员操纵比赛，Jaffna Kings共同老板被捕，球队遭LPL除名

美国队以4金1银1铜、团队总分207，获得亚军；俄罗斯以4金2银、团队总分196，获得季军。

5、辽宁男篮不放王岚嵚，山东有备选方案，祝铭震首发稳了，邱彪目标保8进4

参考资料： https://openreview.net/forum?id=PEyouQzOLD 编辑：LRST新智元报道 今年WAIC开幕当天，上海世博展区挤满了各种机器人、大模型和智能体。

展会第三天，超维动力（Kinetix AI）的展台前依然围了好几圈人。

当企业跑了多步骤、长流程的复杂Agent时，ATM会在底层通过「行为钩子」、本地文件扫描或自研隐私网关，精准记录每一个Agent在干什么、调用了什么工具、花了多少Token。

6、广深上半年GDP齐增5.8%，高新技术与现代服务业凸显韧性

AGX Station能不能真正在企业场景里跑起来、Agentic OS能不能经受住真实业务的考验、开放生态能不能从签约走向深度协同——这些问题，都需要时间来验证。

不打「最强」牌 要性价比 Anthropic的这种打法，直接将矛头对准了GPT-5.6。

7、半场轰3球！成都蓉城8轮不败领跑，浙江队5轮不胜，罗斯帅位不稳

点（Agent 终端应用层）：商用电器商城 + 智能配电管控系统 它的核心武器，就是Agent Store + ATM (Agent Token Manager) 代币管理器。

当他的几个Claude在Loop里写代码时，它们会自己跑到Slack上，跟同事的Claude聊天，对齐那些谁都还没想明白的地方。

8、打脸切尔西！阿森纳放弃 1.2 亿英格兰水货，硬抢世界杯冠军神锋

全新Token生产平台TokenBox™，把这套原本只属于数据中心的能力，第一次搬进了办公室！ 关键是，插电即用。

理由她后来讲得很直白：这个行业变得太快，中层管理在未来可能不再安全；一个不亲手用AI工具的管理者，很快就会失去对团队的同理心和指导力。

成本差距比能力差距更大。

9、15连胜追平队史78年纪录 红袜从垫底区杀回季后赛圈

再往前一步，页面上还能摆上会动手的控件，从一块看板变成一个能操作的界面。

GPU利用率不到50%，等于一半的电白烧；说不清Token换来了什么，等于钱花得不明不白。

10、韩国赠还中国清代石狮

他们在自有的8台8卡昇腾服务器上，塞进了讯飞星火、DeepSeek、Qwen等一众模型，承载内部多个AI应用。

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

1、切尔西夏窗后突然出手：1.17亿英镑签下Rogers，队内左路“口袋”找到答案

两个AI巨头，一个连轴转堵窟窿，一个嫌自己涨太快。

2、穆里尼奥眼光太毒！8000 万新星世界杯露馅，亲手断送皇马之路

前沿安全研究表明，一个高级AI如果想要欺骗人类，它绝不会直接写在最终输出里，而是会隐藏在CoT中。

3、举国狂欢！厄瓜多尔爆冷德国晋级淘汰赛 总统宣布全国放假1天

晓新：把酒店最难招人的岗位接过来 酒店夜间洗衣需求占了全天的80%，而夜班恰恰最难招人、人力成本最高。重庆一女子下车挡道指挥丈夫跨实线变道加塞，并辱骂他人向对方吐口水；警方通报：该女子已被行拘，其丈夫被罚款、驾驶证扣分但光是「能跑」还不够。

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

百万条数据涌入后台，如果没有一套能扛住这个吞吐量的处理链路，再多的数据也只是沉睡的原始素材—真正让它们「苏醒」、变成模型训练燃料的，是KAI Embodied AI Infra平台。

5、看完新帅诺里发言，球迷心凉半截，新赛季杨瀚森会重在参与吗

模型由此不仅学习如何走对，也系统学习三个问题： 什么时候已经偏航、应该向哪一侧修正，以及如何重新回到正确路线。

6、哈维满眼骄傲！19岁亚马尔扛起西班牙未来，成长轨迹前所未有

在 WAIC 2026 现场，万拿机器人复现仓储与工业作业典型场景，展示万拿 Std16A 对不同规格盒体、软包及精细物品的抓取、转运和放置能力； 万拿 Eco12 则通过手势与遥操作体验，展示轻量拟人交互和动作映射能力。

磐石最突出的表现，在于它像一位真实的生物学家一样，主动给出了「实验优先级排序」，并附带了严密的生物学论证理由。

评测越准，路由效果就越好；体验越好，客户的真实调用请求就越大；而庞大的真实调用数据回流，又让AI Ping的评测更准。

7、细纱接头提质进阶！这位讲师刻苦钻研，逆袭拿下全国技术能手

Anthropic 的 Fable 5 是一个更极端的案例：6 月 9 日发布，三天后安全研究者 Pliny the Liberator 用多步骤越狱策略突破了安全分类器，相关截图显示模型产出了本该被拦截的漏洞利用代码。

供应商可以改变。

8、沃尔沃V70 XC的改头换面：从丑小鸭到SUV硬汉

万万没想到，换一种语言跟它说话，比换一个模型跟它说话，影响更大！ 你咬着牙从Sonnet升级到最贵的Opus，脾气上那点变化，还不如你顺手把提问语言切一下来得猛。

本次同步开源的 Humanoid FluxVLA Engine，包含从训练到推理的完整代码，并首次支持端侧（本机）推理； 开发者可以通过统一的配置管理，以即插即用的方式训练与评测 π0、π0.5、GR00T、OpenVLA、LlavaVLA、DreamZero 等多种主流 VLA 策略。

莫宗坚坚信雅可比猜想的正确性，并让张益唐以此作为博士论文课题。

他给的反证是：5.6在包括FrontierMath在内的一大批评测上都比5.5有提升。