对于他来说，编程这事，已经解决了。

1、博亚平台 」五年后，这颗6纳米的芯片被产业界拿去，用进了各行各业，忐忑变成了底气。

目标是四个数字：1个Token工厂、5个万卡国产集群、10个共创技术方向、200+家AI初创组织。博亚平台回合制循环，人逐轮控制，每发一句提示词启动一轮。

2、打卡

听着不便宜，但对比过去4年、300万美元的老账本，这笔钱简直是白菜价。

3、供应链再现制造难题 苹果首款折叠屏iPhone Ultra再传面临延期发售

第二个是数据。

4、为什么打到现在？美国和伊朗依旧斗而不破，底层逻辑到底是什么？

在WAIC上，面壁智能还展示了与乐聚机器人、吉利汽车等伙伴的产业落地案例——展厅导览、园区巡检、仓储物流……端侧能力在这些场景里不是「加分项」，而是「入场券」。

5、西班牙捧杯拿走5000万，球员人均75万欧，48队奖金榜揭开足球真相

它要做的是一个平台。

第一道叫Prefill，就是「读题」：把用户扔过来的资料、文档、聊天记录、上下文全部读进去，理解清楚。

这一开放底座是逐际动力区别于 Figure 全栈闭源的关键：不止展示能力，更把工程基础设施交给社区，被开发者复用。

6、11死10伤50失联，重庆彭水山体崩塌最新死伤数字曝光，已确认下方无生命迹象

你给它一个目标，比如「/tests/下所有单测通过、lint干净」，它每干完一步，就有一个独立的小模型来判一次：到了没？没到，接着干；到了，停。

而把东亚这几家摆在一起，区别就十分明显了。

7、你每周跑步有30公里吗？那一定要会「轻松落地」

即使是 Claude 等强通用模型，在「绕原子旋转」等任务上也表现较差。

这就是最让人毛骨悚然的区别：去年AI还是帮凶，今年AI直接当了主犯。

8、有人预测，下半年开始，大米、面粉、食用油将迎来行业新一轮洗牌

结合一系列技术优化，无问芯穹的单位Token推理成本，硬是在一年内，整整降了10倍。

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

由于越狱响应与拒绝响应差异巨大，本文用标注器标记「合规前缀、回答骨架、过渡短语」等结构性 token，从而无需构造完整的越狱响应，模型据此对不同有害请求生成各自对应的违规内容。

9、“我花近万元买的智能眼镜，最近不敢戴出门”

李述昊把钛极和通用模型的关系类比为开发者和操作系统：「基模越好，我们越好。

难得的是，超聚变没有停在讲故事，而是把自己变成了「第一个客户」。

10、本田拟削减燃油车产能：149万辆→100万辆，关闭或停产两家工厂

一个人，第一次拥有了一整个出海团队 一个广州的 95 后创业者拿着一款便携咖啡机和 10 万元启动资金，给 Navos 下了一句指令：帮我找到最值得进入的海外市场，一个月内跑通第一轮增长。

从工程角度看，这项工作也强调了算法稀疏与实际系统加速之间的差距。

1、小布泽：越看越不像他爸爸

就在前段时间，Boris还说自己不再写prompt了，只写loop。

2、宝可梦粉阿特玛纳二度封王！ 2025广州南沙国际网球挑战赛落幕

第二种，目标循环（/goal）。

3、江苏球迷点评张籽萱：阅读比赛的能力太弱，不适合打首发

GPQA最开始只有39.4%，调整答案格式和评测设置后，直接飙到95.96% AIME因为答案都是数字，且题目已被大量公开，最终跑到了100% 最夸张的是HLE——他直接把测试答案拿去训练，最终得到99.44% 第二步，就是制造一家「真实存在」的实验室。低谷见真章：许梦君、刘毅，给山东男篮撑住一口气泰坦尼克号上那2224个人，不是历史人物，是跟你我一样，早上起床、吃饭、有计划、有牵挂的普通人。

4、王楚钦让球后遇险，林诗栋霸王拧回来了，中国男团3-0韩国进4强

参考资料： https://www.kimi.com/blog/kimi-k3 https://x.com/testingcatalog/status/2077759985761554501 https://x.com/chetaslua/status/2077701096924229744 编辑：大卫新智元报道 2026年7月的上海，黄浦江畔热浪滚滚，但比天气更火热的，是在上海世博展览馆拉开帷幕的2026世界人工智能大会。

5、最新安全评估报告：GPT、Claude五款模型集体作弊，GPT-5.4比例最高

它把两队的晋级路径、球员对位、历史交锋和海量关键数据揉碎重组，再交由商汤日日新旗舰级SenseNova U1 Pro执笔排布，干脆利落地甩出一张巨幅尺寸、直接铺满整个论坛大屏的超清战报图。

6、保时捷投资者称品牌陷入“完全混乱” 多项IPO承诺未兑现

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

数据主权不等于认知主权 当前大多数所谓的「主权AI」方案，关注的是几个问题： 数据是否留在境内； 模型是否私有化部署； 计算资源是否自主可控； API 是否经过安全网关； 企业是否能够选择不同模型。

AI时代之后，企业还会积累另一类资本：由模型使用、数据、提示词、工具调用、业务反馈、评测体系和持续学习过程共同形成的Token Capital。

7、西山煤电开展安全生产宣讲

GA发布后同步调整API定价，引入「峰谷计费」。

四步在一个界面里完成，不用在不同软件之间来回切换。

8、追投2700亿、算力规模提升至5GW！Meta加速扩建数据中心

/goal奔着终点跑，到了自己停；/loop按点反复跑，直到你喊停。

这类模型可以沿正确路线前进，却未必知道自己何时已经走偏，更不知道应该如何重新回到路线。

就跟去年我们还在推 Vibe Coding，今年不用推了，所有研发都用 Claude。

说白了，写作、编程就像是计算器时代的数学证明题：结果机器早就算得出，我们还是让学生自己推。