同一天，由上海人工智能协会、河套学院、中国信通院华东分院牵头、20余家机构共建的具身物理智能统一评测平台Physical IQ物智，也在同场亮相。

1、博鱼手机 这次补上的，正是这块。

某个假期他食物中毒，躺了五天，索性把整件事全交给「GPT医生」：每隔二十分钟汇报一次身体状况，凌晨四点醒来难受得不行，直接打字进去。博鱼手机国产算力的「出海大后方」 而且，清程极智提出更宏大的生态战略——让国产算力以Token的形式，扬帆出海。

2、狂轰123分创队史纪录，结果全场焦点竟是场边这一幕——Cunningham与Griner互动抢尽风头

参考资料： 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编程圈干了一件狠事。

3、1991年日产Figaro：987cc涡轮小排量、11.7万公里仅

泰坦尼克号上那2224个人，不是历史人物，是跟你我一样，早上起床、吃饭、有计划、有牵挂的普通人。

4、点球都能输的德国队，你指望他们赢得什么？

按照规划，未来一年落地1000家零售场景，两年内铺到1万家量级。

5、成绩即将公布！重要提醒→

他半开玩笑地抱怨：真希望80倍别再继续了，太难扛，盼着回到正常一点的数字，「区区10倍」就好。

出海方面有两个样板：香港是跳板——杨帆直接说，「香港是中国未来Token出海的行业实验场」，计划于2030年前形成40,000P+算力规模，打造全港最大国产智算中心。

也就是说，那个从不涨价的「价格屠夫」，第一次给自己的算力装上了计价器。

6、先进级智能工厂再添三席，石家庄纺织智造梯队加速成形

工业计数、智慧仓储这些老大难场景，一下子有了新解法。

这一组结果的关键意义，并不在于整体成功率，而在于「纠偏能力接近稳定可靠」。

7、王沪宁在西藏调研

未来突破，凭借弱网/断网下的自主决策能力，瞄准灾害救援（地震/火灾）与特种作业（对抗/侦察）。

Token「前店后厂」：从「发电」到「用电」的全链路革命 清程极智是目前行业首家完整落地「全链路」的厂商。

8、比国足还惨！伊拉克3战狂丢12球：临别不忘给韩国再补一刀

旁边展示直接挑战了机器视觉领域公认的「老大难」——透明物体识别。

没有它，一个跑一整晚的Loop，很可能就是一台睡着了还在批量提交垃圾代码的机器，而且提得理直气壮。

局部动态越强，固定保留长时间上下文的收益越有限；而在回访阶段，去噪过程相邻步骤更稳定，也更适合缓存复用。

9、拉萨市2026年西藏初中班（校）和西藏完全中学招生体检最低控制分数线公布

现实是，它夹在几次被媒体当作常规升级报道的版本更新之间，就这么发生了。

此次，他们正式发布了AGX Agentic Compute 智能体计算战略——一把打通芯片、整机和操作系统，构建覆盖端、边、云的全域算力底座。

10、最后一条退路被斩断！普京忍无可忍，下令改变战术，将有大动作？

1990年，第31届国际数学奥林匹克在北京举行。

主流大模型的科研任务完成率在 3% 左右，在 NatureBench 涵盖的 90 项顶级真实科研任务，最优智能体能超越原始论文成果的比例为 17.8%。

1、4.8万英里的“黑马”：一台1993年马自达Miata，同一家族持有33年

世界模型的推演大多跑在云端集群上，可机器人在产线上做决策只有几百毫秒，还不能指望网络永远在线。

2、别头铁！贝尔博近5场ERA破5.7 光芒重炮本周OPS达.850成对家首选

GPT-5.6 Sol Ultra的强大之处，在于它扩大了并行的TTC。

3、0-2，尤文不敌佛罗伦萨，26次射门未果，丧失争四主动权

但回到当下，U1 Pro想证明的事其实很朴素：把过去只有少数专业人士才握得住的能力，交到更多人手里。5星跑卫回击“虚假报道”并解释拒俄亥俄州大原因：我的品格和我的家人不容诋毁于是，一门去年还没人当回事的学问，今年成了显学——给AI算账。

4、曼联热刺争夺克罗地亚23岁攻击手，标价超2000万欧

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

5、阿根廷心态太稳了，图赫尔太苟了！这锅背定了，和纳格尔斯曼堪称卧龙凤雏

立川裕二的评价是：它似乎真的理解弦论（String Theory），而且有直觉。

6、日产Leaf Nismo性能版发布为何唯独不卖美国？

」 如此看来，现在行业所感受到的「模型差、数据荒」，可能问题压根不在脑子上，而是身体的物理极限卡住了天花板。

训练时，它不只学输入输出之间的统计相关，还把科学规律、实验事实、专家经验一起融进数据构建、样本校验和训练过程。

从整体观感来说，U1 Pro赢在了「清爽」。

7、广东男篮最佳教练团推荐：李春江顾问，威姆斯教技术，周鹏球员兼助教

K3：全球开源最大最强AI K3是能力最强的Kimi模型: 参数高达2.8 万亿，百万级上下文，原生多模态 架构基于自研的Kimi Delta Attention和 Attention Residuals； 注意力残差以低于2%的额外成本实现~25%的训练效率提升； 实现最高6.3倍解码加速。

传统的AI生成流程是：你输一段prompt，它出一张图。

8、29岁老将生涯首轰117分仍输球，沃里克郡单日杯遭诺丁汉三记门柱绝杀

模型被分配了8小时，实际用了不到1小时，跑法是64个子智能体并行开工。

他半开玩笑地抱怨：真希望80倍别再继续了，太难扛，盼着回到正常一点的数字，「区区10倍」就好。

闭源模型的安全护栏也没能拉开差距。

所有人都在期待7月17日这个传说中的发布日期。