报指出：「K3令整个开发者社区感到震惊。

1、亚搏手机 Claude Code团队发文，正式定义「循环」，并拆出回合制、目标、时间、主动四种典型循环。

结果不是黑盒，而是透明可查的。亚搏手机第二场：粗数据便宜但难学，精数据好用难量产 常规方法是「留成功、删失败」，像只给孩子看标准字帖。

2、詹姆斯要失望了！拖延只为等球队换到欧文或浓眉？两大目标都很难实现

办赛以来，大赛坚持以赛促研、推动学科交叉融合，希望大家葆有好奇、勤于钻研，在交叉领域持续精进，同时诚邀更多科创新秀与行业同仁参与下一届大赛，共同探索科学创新与产业创新的深度融合。

3、“姆巴佩心态崩了！”西班牙零封法国，时隔16年重返世界杯决赛

上个月底，DeepSeek向所有API用户发了一封邮件，称即将在7月中旬，上线V4正式版。

4、印尼公开赛：25秒“计时器系统”首次在1000赛测试

过去AI办公工具最多做到「生成一段文字」，属于参谋型。

5、乐事FIFA世界杯营销：如何打造完整的观赛体验？

与此同时，英伟达最新的高端卡今年很难大批进入国内，存量供给几乎没怎么增长。

于是Sol等前沿模型，开始从一个实验室中偶尔「显灵」的先知，变成一个能在日常工作流中不停运转的引擎。

而那一天，或许就在2029年之前。

6、扩军害了世界杯，吗？

三大支柱：从一颗CPU 长成一张全域算力网 在孙文剑看来，智能体已经不是被动响应的知识库，而是能主动拆解目标、调用工具、执行任务的「任务执行者」。

如下是一款由V4 Pro生成的3D模拟射击游戏，核心玩法是操控攻城弩车进行打靶训练，基础的UI功能也均已完备。

7、总决赛首个4强出炉！女排夺冠热门3-0横扫，日本女排将出战

这场风暴真正的启示在于：数学与科学发现的门槛，正在被无情地重画。

历练过GDPS赛场的，才是真·未来生产力。

8、5亿A轮！华鹰航空创4t级无人运输机最大单笔融资

这意味着它不再是「问一句答一句」，而能自己把活儿往前推，甚至设成每天定时跑的任务。

读题拼的是计算吞吐量——你得一口气吞下海量信息，越快越好。

第二问，Beck在1991年拿下，证明存在某个c>0，使得max_{n≤N} M_n > N^c。

9、两场比赛打进10球！没有克雷桑，山东泰山的进攻反而更加丝滑

测试通过数、分数阈值这类可量化标准之所以好用，是因为Claude不用自己纠结「够不够好」，评估器替它判。

一方面，WAIC 2026本身的主题就是「智能伙伴，共创未来」——AI从工具走向伙伴，这恰好是此芯科技所讲述的故事：智能体从被动响应的知识库，进化为主动拆解目标、执行任务的「数字员工」。

10、1990年，毛主席的外孙当服务员，媒体评价：默默无闻，威信很高

前向过程逐步将token替换为掩码符号，其在时刻t的闭式解为： 其中为token在时刻t保持未被掩码的累积概率。

更值得玩味的是它的演进路径：从一个人的「超级个体」，到符合企业级流程、多Agent自动调度的「超级项目」。

1、前瞻

再往前一步，页面上还能摆上会动手的控件，从一块看板变成一个能操作的界面。

2、詹姆斯下家3选1！回归骑士最完美，76人竞争力强，勇士恐成陪跑

这四层拆开来看都不算新概念，但拼在一起，解决的恰恰是打工人最真实的痛：改第三版的时候别把前两版改崩了，生成的Excel打开公式还在、不用我自己重新填，交给老板的PPT不需要再花一小时手动调格式。

3、美官员：特朗普与泽连斯基将在华盛顿会晤

GPT-6逃逸，回炉重建 第一时间发现后，OpenA暂停了GPT-6内部访问的权限，回炉重建整套安全系统。韦世豪：去年踢完天津客场，成都球迷在主场举起我的球衣，我会记一辈子当然，技术要变成生产力，光有模型和机器人还不够。

4、前利物浦射手建议清洗加克波：新帅若接合理报价，套现重建最冷静

想知道这个月的总营收、哪些客户90天没下过单？连上数据库，用大白话问，它自己写SQL去跑。

5、WOW！再见了，朱芳雨！广东男篮彻底大变天

现有的智能体安全评测存在两个惯常的盲区。

6、魔笛亲承：无缘欧冠反助我留队 米兰渴望绝地反弹

但是，他们现在才开始公开强调： 企业学习闭环； Token Capital； 反向信息悖论； 企业Alpha； Sovereign AI； 企业对模型和应用层的控制权。

磐石ScienceOne今天正式上线，感兴趣的朋友可以戳「阅读原文」试试~新智元报道 【新智元导读】你还在跟AI聊天？Claude Code之父早让几千个AI通宵替他干活了。

在标准真实机器人设置下，平均达到1.86倍端到端加速。

7、北青：国足9月底重庆热身4场对阵已定

截至目前，中国队在国际数学奥林匹克（IMO）中已取得197枚金牌、37枚银牌和6枚铜牌的优异成绩。

你把家门钥匙交给它，是让它帮你干活——不是让它把整个家打包带走。

8、布朗尼：我不知道我爹会去哪里，如果去勇士那太疯狂了

而拼长城挑战验证的恰恰是这几件事：亚毫米级操作对应精密装配，15小时长程稳定对应产线连续作业，多机协同对应柔性产线的动态分工。

到这一步你会发现，Boris那套「夜间AI军团」拆开无非三样： 一个会自己干活的模型、一套定义「做完」的标准、一个按时运转的循环。

以往的模型都是短跑选手，Fable 5是第一个为「长期自主干活」而生的模型。

除了选择自研的钛极模型，你也可以选择其他主流模型。