在此之前，特纳甚至帮Jeff规划好了：250名员工的请愿书作为民意基础，几位高管暗中承诺只要Jeff牵头他们就跟进。

1、ob体育 没有世界第一，精英团队，没有遥遥领先的万亿参数。

而这背后，是张益唐被偷走的七年。ob体育初期，前沿实验室将在模型发布前最多提前30天，自愿把模型交给标准机构评审。

2、粤超第九比赛周：VAR首次亮相，梅州冲击“七连胜”

TokenBox™给出的答案，是把那座工厂缩到能摆进科室的尺寸。

3、全国党校（行政学院）校长（院长）会议在京召开，蔡奇出席并讲话

比如，碰到棘手的集群运维难题，专门的智算集群运维智能体系统就会接手。

4、临泽：筑牢工业“压舱石” 奋力实现“双过半”

模型没有主观经验，J-Space中的激活模式只是数学运算的产物，而非任何意义上的心灵状态。

5、津巴布韦队长赛后开喷：场地太湿没法打，我们需要一块更平的球场

一共分四步。

为什么要用8万块积木折腾15个小时？ 答案藏在制造业的一组数据里—— 目前全制造业通用产线上，仍有约20%的精细、非标、柔性、感知判断类工序必须依赖人工精细操作微米级精密装配、柔性/易碎物料微调、缺陷返修与首件判定、狭小空间操作。

2. 冗余感知的步数压缩（Redundancy-Aware Step Reduction） 当可靠horizon被扩展之后，第二阶段进一步减少总物理步数。

6、世界杯决赛刚结束，FIFA收获不利消息，39岁梅西这一次真要不踢了

1亿小时：一个「ChatGPT时刻」的门槛 「语言模型头部团队已经到了100万亿Tokens，对应约100亿小时的语料。

一旦交互轨迹变长，系统面对的不只是「多生成几帧」，推理链路中的几类基础开销都会被放大： 历史信息更重：为保持长时一致性，模型需保留足够的上下文，KV cache的显存压力难以忽略； 注意力计算更重：当前生成视频片段需要参考更长历史，上下文越长，生成主干中的注意力开销越高； 去噪成本更重：每生成一个视频片段，模型都需要多次运行Transformer完成逐步去噪。

7、最新“湖南好人榜”发布！邵阳4人上榜

如果一家大型国央企为了避免被单一厂商「卡脖子」，同时采购了多款国产显卡，找其他大厂做纳管和推理优化，对方是不会尽心适配其他竞品的。

跨采集员泛化，靠的就是这一层。

8、国安又遇甘肃草根儿球队了！三人才推走冯伯元，陕西再输青年人，陈涛悬了

可在这条新价值链里，这套心智彻底失灵—— 面向单一模型搭起来的老基建，匹配不了今天多模型、多版本、多场景的组合调度。

好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。

于是，一门去年还没人当回事的学问，今年成了显学——给AI算账。

9、告别温哥华！25岁美国国脚200万转会英冠，世界杯主力曾让白帽痛失冠军拼图？

比如黑板[12, 18]，12的素因子是2、2、3共3个，18的是2、3、3共3个，T = 6，N = 2，Φ = 8。

最终公式也是一模一样—— 回到例子验算：12和18。

10、一周三签，今晚武汉女足能否止住颓势？

这几年，AI4S大致沿着三条路线推进。

本届大赛由上海市经济和信息化委员会、上海市科学技术委员会、上海市发展和改革委员会、上海市教育委员会等多部门联合指导，复旦大学、上智院联合主办，上海未来产业基金、上海未来启点社区、祖泉研究院、上海市漕河泾新兴技术开发区发展总公司、上海大模型生态发展有限公司、内蒙古电力交易中心、华为云计算技术有限公司、上海复星医药（集团）股份有限公司、新奥科技发展有限公司、中科天机气象科技有限公司、上海博物馆、湖南省博物馆等单位协办，Datawhale、知乎、魔搭社区、CSDN、InfoQ、WaytoAGI作为生态社区合作伙伴鼎力支持。

1、韩国前主帅洪明甫再次道歉：去美国是因家人安全受威胁，将出席听证会

这阵仗，用「盛况空前」都稍显克制。

2、仅用26场轰下500分+150助攻 新秀迈尔斯连超克拉克与布克创WNBA历史最快纪录

雅可比猜想问的是：如果这个条件处处成立，且函数是多项式映射，那么逆映射是否也必须是多项式？ 这是一个典型的「局部到全局」的问题，看起来理所当然应该成立，却让世界上最聪明的头脑困惑了整整87年。

3、雅虎分析师：美洲虎跑卫竞争有变数，Tuten 新秀年7次达阵成突破口

类似Roblox、Minecraft的「创造即游玩」体验，在AI时代可能会大量出现。葡萄牙1-1战平民主刚果，C罗0进球，小孔塞桑替补出场规格摆在那儿：100万Token上下文、超高算力档、逐条安全控制，几乎和最强旗舰Fable 5的架构一模一样。

4、UFC冠军因伤沦落送外卖：我能应付，这没什么

一个客户经理原来要招三个人分管不同客户，现在他配三个智能体——一个负责给客户发每日数据简报，一个负责监控客户投诉，一个负责向内部团队提需求。

5、贝林厄姆暴涨3000万，姆巴佩重回2亿！皇马三将世界杯后身价飙升

看着能优雅做出三明治的机械臂，我们有理由相信：属于中国机器人的AGI时代，已经开启。

6、曾炮轰西班牙“全是坏人”的特朗普，亲手将大力神杯交到他们队长手上

常规导航用于人类出行，地图精度有限。

从此，具身智能从成本极高的遥操式学习，进化为通过视频，一看就能学会。

接下来的情形，许多人都记得。

7、张伟丽化妆后判若两人引轰动，梅拉布惊呼发问号

而这背后，是张益唐被偷走的七年。

但传统科研验证体系与之适配性不足：湿实验依赖人工操作、设备体系分散、流程繁琐，整体通量低、周期长、成本高，一次完整的科研验证往往需要数天甚至数月。

8、18x8.5/10.5寸Speedline轮毂现身拍卖，法拉利550马拉内罗原装，配米其林轮胎

从目前流出的信息看，V4大概率不会是那个「全项第一」的模型。

时间上下文也不再使用固定窗口。

比如，「改进这段代码」是个坏目标，因为没法验证；「/tests/下所有测试通过，只许改/src里的文件，修3次还不过就停下来汇报」是个好目标，因为每一条都能核对。

参考资料： https://openreview.net/forum?id=PEyouQzOLD 编辑：LRST新智元报道 今年WAIC开幕当天，上海世博展区挤满了各种机器人、大模型和智能体。