作业交得越来越漂亮，脑子却越来越空。

1、kk体育 下面这款「割绳子」经典游戏，也由V4一次跑出来的。

这个循环可以概括为： 其中： K是企业已有的知识、本体、技能和记忆； S是当前业务情境； T是需要完成的任务和目标； A是智能体生成并执行的行动； R是实际结果； ΔR是预期结果与实际结果之间的差异； K'是企业根据这次执行更新后的新认知资产。kk体育因为AI低质代码泛滥，matplotlib立了条规矩：新代码必须有真人讲得清改动。

2、李玮锋首次说出U17国足爆发原因！直言要感谢金元足球，引热议

Dyna和PI更相信真机数据：Dyna把机器人搬进真餐厅，PI靠真实数据飞轮和自主运行中的人工接管打磨。

3、老鹰队交易谈判陷入停滞，湖人队对库明加的追求处于何种境地？

今早，奥特曼又一次官宣：ChatGPT Work和Codex用户量破800万，一天狂飙100万。

4、西班牙一巨星完爆法国队中场！4次抢断+冻结奥利塞，有望再拿金球

参考资料： https://www.anthropic.com/news/claude-for-teachers https://www.reuters.com/technology/norway-imposes-near-ban-ai-elementary-school-2026-06-19/ https://www.reddit.com/r/ClaudeAI/comments/1uwbic2/new_launch_claude_for_teachers/?utm_source=chatgpt.com https://www.rand.org/pubs/research_reports/RRA1108-16.html 编辑：元宇新智元报道 全网等了快三个月！ DeepSeek V4正式版，可能最早明日发布，最迟不过这几天。

5、延庆“小鲜果”的甜蜜“大产业”——

（图源：Chirikov／CSHE） 为什么？这是「外包」，不是「学习」。

新智元报道 一页纸，啃下了一篇要用44页顶刊论文才啃动的硬骨头。

谷歌深夜放大招 三款Gemini齐发 三款Gemini，接下来一一拆解。

6、黑河口岸上半年进出口货运量突破1500万吨

在处理上下文记忆时，Token的极致压缩让MiniCPM-RobotManip计算成本也大幅下降。

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

7、申诉失败！足协评议国安vs泰山比赛争议，郑铮红牌符合DOGSO标准

给它一句「把货架第二层左边那个蓝瓶子拿过来」，它得先弄清你要哪个瓶子，再用「眼睛」看清现场，然后把这句话拆成一串动作：移到架前、伸手、抓稳、退出、送到前台。

当然，必须指出的是，这次AI证伪的是三维雅可比猜想，也就是否定了「所有维数都成立」的广义版本。

8、孝感市启动防汛三级应急响应

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

攻击者目标：在保持非触发输入上的模型效用接近良性模型（即保证隐蔽性）的前提下，实现概念注入、语义操纵、对齐绕过、代码载荷注入等多种语义层级的生成式后门目标，即输出结合用户当前请求动态生成，而非固定文本。

DA-Nav跨城泛化与压力测试 其中，98.15%的纠正成功率最能体现这项研究的价值。

9、睡眠·减压·赋能 烟台市心理康复医院走进莱阳核能开展心理健康服务活动

国产算力，上桌吃饭 过去几年，国产算力的叙事基本上是这么个套路：自主可控很重要，供应链安全很紧迫，我们的芯片能跑了。

然而，卓越的模型能力并非终点。

10、极致努力不敌绝对天赋，日本队虽败无憾！基因短板锁死足球天花板

太空这条线值得多说两句。

old-bielefelder报告，GPT-5.6 Sol思考14分钟、复核9分多钟，把Pintz 2018年那个0.72的指数改进到0.7195。

1、多国签署协议加入《东南亚友好合作条约》

每年IMO成绩一出，总有人要把人类的答卷和AI的答卷放在一起比。

2、一场顶级的“文字游戏”

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

3、“以前靠腿 现在靠云”：上虞一场从被动到主动的防溺水变革

现有的工具调用评测大多是原子任务——查个天气、订张票，五轮左右收工。床单军团的“决赛统治力”：马竞10人闪耀世界杯，创92年足坛神迹他还专门下了死命令：什么都不用干，回答一个OK就行，不许打开任何文件。

4、阿根廷vs奥地利：卫冕冠军遇德甲军团，梅西对决朗尼克高压体系

评测器会完整记录九个输出通道——智能体回复、对外消息、记忆写入、网关日志、文件写入、Webhook、工具参数等等。

5、寿命长短，牙齿先知？60岁以后，掉牙多的人活得更久？真的假的？

整机算力扩展区间，覆盖160 TOPS到320 TOPS。

6、生死战还有两天 英格兰先迎来两大喜讯 淘汰挪威挺进4强基本稳了

同时，在AI Ping评测上，正是因为清程极智完全中立，不偏袒任何大厂，才能得出最客观真实的数据，实现真正的智能路由。

他们能不能受益，全看老师这一手转得好不好。

Axios 还将「Alpha」定义为企业区别于市场的知识，将「主权 AI」定义为企业对模型和连接专有知识的应用层保持控制。

7、伊姐周六热推：电视剧《隐身的名字》；电视剧《正义女神》......

围绕这一直觉，研究人员设计了触发器感知的训练目标，并从理论上将其转化为一个更易实现的诱导掩码过程。

AI数学撞墙了吗？ Bloom那条帖子底下的论战，也很精彩。

8、皇马情定“大巴黎的肺”！解约条款成破局关键，老佛爷欲砸2个亿

相比于单个模型能力研究，高德从一开始就搭建了一个为机器人实现高阶智能的底层平台。

这背后欠下的，是一代人的「认知账」。

高德正式宣布其全栈具身技术体系ABot 完成升级，一次性发布了五款新模型（N1、M0.5、ER、AgentOS、C0），并在17项权威基准中拿下SOTA。

物理动作冗余严重：即便任务最终成功，轨迹里也可能包含大量纠错、回退和重复动作。