最终实现的是，让任务匹配对的模型（算得聪明），砍掉不必要的算力消耗（算得省），把每一笔Token的账算清（算得明）。

1、kok平台网址 半导体光刻机、高端外骨骼动力裤、顶级人形机器人以及超级跑车（轮毂电机），共同构筑了小象电动的高维护城河。

今年6月，两家海外Cloud公司各自提出的解法，与无问芯穹隔海共同呼应了「Agent时代到底需要怎样的AI基础设施」这个命题。kok平台网址参考资料： https://x.com/claudeai/status/2078302415804379218 https://x.com/IamYashKapoor/status/2078223827411325348 编辑：Aeneas新智元报道 17日凌晨（当地时间16日上午11点），Kimi K3发布，全网刷屏，开源AI迎来第二次「DeepSeek时刻」。

2、上港下一轮中超将死磕申花！颜骏凌有望回归首发阵容，陈威替补

要坚持「产业出题、科技答题」。

3、【WCBA联赛】第十三轮｜浙江稠州银行63-89不敌陕西榆林天泽

Loop能自己跑而不自嗨，靠的是一套「目标驱动」机制，在Claude Code里对应/goal命令。

4、关于姜黄素的真相：这3类人千万别乱吃！（健身党必看！

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

5、中国裁判第2人！42岁张潇执裁NBA夏联 李楠刘晓宇张云松观战_网易订阅

MiniCPM-V 4.6这款模型开源不到2个月，下载量即突破200w+，在多模态基础模型社区十分火爆。

为了探底它的能力，我们给出了极其严苛的限制条件： 1000+行提示词，核心要点主要如下： 单个HTML， 纯Canvas 2D，不许用Three.js。

未来某天，全球开发者都能以极低成本调用接近顶级闭源模型的智能。

6、惨败19分！郭士强说比赛要靠中国人自己打，却被日本归化打爆内线

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

在长期的被FOMO情绪蔓延的科技圈，这个消息就像一颗火星掉进了炸药桶。

7、上市六年的完美日记：连续亏损的业绩VS蒸发98%的市值

首先，是CoreWeave发布了一款服务于「AI研究与迭代」的智能体——ARIA。

本质上，工具只能输出精确坐标，却无法替代模型做 「原子该放哪」、「哪些属于目标区域」 这类核心决策；模型本身若缺乏三维空间感知，工具只会把错误意图执行得更精准，最终得到 「建模逻辑错误」 的结果。

8、打工时不满2岁儿子被拐，母亲哭到左眼近乎失明 失散近32年终团聚 母亲：对不起，不是故意把你弄丢的丨红星寻人

与此同时，本体工程的反向赋能同样不可忽视。

他的解释是：教堂的地基太庞大了，庞大到把那点正在快速生长的流动智力完全盖住。

言外之意很清楚：国产AI芯片眼下的处境，是各自优秀、各自孤立。

9、女子被丈夫持刀追打，抢刀后砍伤丈夫致死一审获刑4年 法院：男方有重大过错 子女谅解

参考资料： https://x.com/cyrilXBT/status/2078308274399834157 https://x.com/i/article/2077510484664971264 https://www.youtube.com/watch?v=PHQvb10vKyk 编辑：元宇新智元报道 上海，WAIC 2026。

不久前，斯坦福CS153的讲台上，有人问OpenAI CEO奥特曼（Sam Altman）：你怎么看教育？ 他顿了顿：「我很担心。

10、开启中国行，佩德里晒照在北京吃烤鸭

一次优秀的赛题解法、一项实验室成果、一个早期技术设想，距离进入市场，还需要完成产品方向、客户需求、团队组织和融资路径等多重验证。

另一个企业则把每次调用转化为： 新的案例； 新的Skill； 新的规则； 新的评价标准； 新的任务模板； 新的行业本体； 新的风险控制机制； 新的组织经验。

1、六大名宿预测英阿大战结果出奇一致，斯科尔最疯狂，场面太刺激

如今不到两周，狂飙一百万行代码，就把Zig换成了Rust。

2、观演须知

一出道直接在小红书、B站杀疯了，获得了大量反馈，评论区全是「求上线」的呼声！ 成年人哪里做什么选择？民国恋爱、玄幻修罗场、霸道疯批、绿茶修狗……主打一个我全都要。

3、常规赛大奖已无悬念？场均得分翻倍！贱卖核心后，一鲸落，万物生

他的形容是：像有一个全世界最好的医生，凌晨四点还乐意握着你的手，陪你把这一晚熬过去。国羽无缘中国公开赛男单四强 今年高级别依旧0冠轻量化是一个持久的命题。

4、120分钟0:1，斯卡洛尼哭了：梅西之后，阿根廷路在何方？

如今，它已经站在了走向系统级内容交付的节点——Agentic Generation（智能体生成）。

5、1975年，乔冠华劝张颖投靠江青：周总理已病重，识时务者为俊杰嘛

ABot-ER取得3项SOTA，并登顶数十家机构联合发布的Embodied Arena 2D-EQA AgentOS则将规划与执行从本体中解耦，通过插件式Skill接入，让同一套系统能适配各种异构机器人。

6、恭喜火箭队！休赛期再签1人，顶级投篮教练加盟，曾与乌度卡共事

7月9日GPT-5.6发布，官方原话是，首次引入max推理强度，「让Sol获得最充足的时间进行深度推理」。

迟到的不是这个搜索框，而是整个行业的一次重新认知： 你和AI一起攒下的那批数据，才最值钱。

这样的进化能力更类似于人类成长的节奏，在一个人中学阶段学习的是一元二次方程，大学阶段掌握的则是微积分。

7、在距离温布尔登5分钟车程的小镇长大，费里经历童话般的“回家”

GPQA最开始只有39.4%，调整答案格式和评测设置后，直接飙到95.96% AIME因为答案都是数字，且题目已被大量公开，最终跑到了100% 最夸张的是HLE——他直接把测试答案拿去训练，最终得到99.44% 第二步，就是制造一家「真实存在」的实验室。

TokenBox™用液冷把主流负载下的噪音低至35分贝，图书馆级的安静，单机就能跑「满血版DeepSeek V4」这样1.6T参数的旗舰大模型。

8、韩红风波后首亮相北京！全副武装手拎包裹，行事匆匆上高端商务车

非技术人员必须像流程设计师一样思考才能完成这件事。

一个人凭什么能管几千智能体？ 一个人管几千个智能体，让它们同时在一个代码库里改代码，不失控、不打架、不成批制造垃圾。

Bloom还特意强调，这不是因为AI动用了什么更复杂的武器，而是我们原本以为，这道题比它实际上难得多。

姚期智院士在2025全球开发者先锋大会暨国际具身智能技能大赛的致辞 大赛专家指导委员会主席由姚期智院士挂帅（图灵奖得主、中国科学院院士），首创「人工智能专家+具身智能专家+人类技能大师」三元评审体系，为GDPS赛事评审标准与技术方向把舵定调。