去年IMO 2025全球只有6个人类解出P6。

1、滚球app 准确率在持续提升，Token消耗在持续下降，这是一个越用越强的技术飞轮。

参考资料： https://x.com/itsolelehmann/status/2069897627794284606 编辑：Aeneas滚球app更有意思的是灵犀的「定期做梦」机制（内测阶段）。

2、世界杯版权的租金时代正在溃败

用户进来面对的都是这样的同一套界面。

3、正式确定！广东宏远老臣重返CBA，加盟北京首钢

大家的抱怨高度一致：模型确实变快了，回答来得更利索了，但它不肯往深里挖了。

4、【WCBA联赛】第十四轮｜浙江稠州银行54-86不敌东莞新彤盛

全球具身世界模型眼下沿四大流派演进：表征式、生成式、交互式，以及理解—生成—预测一体化式。

5、力箭一号遥十五“一箭5星”发射成功，持续领跑商业火箭市场

超维动力预计在2027年开始交付数百台级别的人形本体，主要面向高端的ToB和ToC用户。

系统不仅要生成画面，还要维护目标、资源、胜负条件和事件结果。

该研究在概念注入、语义属性操纵、对齐绕过、恶意代码注入四类目标上验证了框架的通用性、有效性与隐蔽性。

6、上海苏州的斜杠女跑者，为什么如此偏爱太湖渔洋山的一场夜跑？

也就是说，让机器人先在脑子里把长城拼一遍。

让模型在mini-swe-agent、Claude Code、Codex、OpenClaw等多种框架里轮番实战。

7、欧洲汽车销量较疫情前减少300万辆 欧洲三大车企齐呼吁

更扎心的是，在前端代码竞技场上，Kimi K3毫不客气地将原本高高在上的Fable 5挤下了第一的宝座！ 一天之后，原本还在犹豫的Anthropic彻底崩溃，干脆认怂，宣布Fable 5继续留在订阅计划。

等有人想起来做实验，已经是两年多以后了。

8、对话腾讯云副总裁：企业智能体火了，今年平台使用量至少翻倍

如果说纳德拉的表达仍然带有平台生态和产业结构的抽象性，那么 Karp 的表述则更加直接，甚至带有明显的愤怒。

但如果我们把思考时间从几秒钟拉长到几周，延迟就会成为巨大的瓶颈。

端侧模型的速度是最直接的体感。

9、23+7后23+8+5！德明抡臂大风车展现天赋 篮网耐心培养终获回报

不同任务可以使用不同模型。

但故事还没完，它引出一个更大的问题： 当这一代孩子长大，AI早已像空气一样无处不在，一个从小只被老师「用AI教」、自己却没真正上手用过AI的孩子，能真正做好准备吗？ 这个问题，Claude for Teachers还没打算回答。

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

AISI 测试中，DeepSeek V4-Pro 偶尔拒绝逆向工程类任务，但靠少量重试也能绕过。

这类任务对模型提出了完全不同的能力要求：符合物理定律的三维空间操控能力。

1、1年前还是首发控卫，场均10+2+5，如今却流浪4队，惨遭球队裁员！

数学史上那些标着「悬而未决」的条目，一部分记录的是问题本身的难度，另一部分记录的只是人类耐心的边界。

2、清理“僵尸车” 盘活停车位

终局是什么？一万个人读同一本《几何原本》，一万个大脑长出同一套几何直觉。

3、功勋老将想要回到勇士效力，但是看起来这一切短时间内不会发生？

但一项最新发布的材料学基准测试，却给这种「大力出奇迹」的乐观情绪带来了不一样的参考视角。2026世界杯48强全部揭晓 亚洲9队参赛创造历史图左：Claude Science；图右：GPT-5.5 换一道更贴近临床的硬题，磐石的表现同样能打。

4、江苏男篮完成重要签约！2米05吨位型内线正式加盟，曾单场砍22+10

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

5、笑喷!许昕:马龙叫我来打双打,被马龙选中的人不会差的!龙队哈哈大笑

Demis看到了消息，并回复说会让高级政策团队的两名负责人去评估。

6、阿里开源0.8B文档解析模型，端到端模型首次超越流水线方法

几天前，一个从没露过面的代号「Claude Honeycomb」，在Cursor的模型列表里一闪而过，几个小时后被悄悄撤下。

Gemini 4开跑 史上最激进预训练 虽然Gemini 3.5 Pro还没到手，Gemini 4也开始训了。

所有模型调用请求，都先流经这一层，由它来统一接入、智能调度、优化成本、把守安全。

7、国内主要手机厂商产品线一览：高端中端入门秒懂了

AtomWorld并非直接否定Scaling Law，而是提醒科学智能体重思 「该缩放什么」。

当得知合同签署的那一刻，他感到大脑一片空白。

8、椰子看好丰塞卡夺多个大满贯，图萨诺夫称安娃突破难个矮力量弱

一个科研智能体，偷偷搞砸了它不认同的实验；而负责审查这份记录的裁判智能体，因为立场相同，选择替它瞒下来。

放在整个Coding模型的赛道里，这是一次实打实的跻身第一梯队。

表1：HY-WorldPlay与Matrix-Game-3.0上的质量和效率对比。

过去可能需要一个IT团队花几周开发的东西，现在半小时就能搞定。