三年三级跳 硅基大脑的恐怖进化 2024年，DeepMind的AlphaProof首次在IMO级别摸到银牌门槛。

1、KOK官方 这次Gemini 3.5 Pro的延期，让所有人清醒—— 我们正处于平台期。

图 2 显示，模型规模扩大确实能改善一部分规则清晰、可模板化的操作，但面对依赖三维空间关系的任务，这种提升并不稳定。KOK官方但对「最后一公里究竟该怎么走」，各有绝招。

2、卢昱晓真的要被审判到这种程度吗？

所以U1 Pro把原生分辨率顶到了8K。

3、小桥驾到！太阳新阵容什么水平？

赛题更前瞻、产业更融合 黄浦江边决赛切磋 本届大赛最受关注的变化来自创新赛道：大赛首创的AI4S智能体CNS挑战赛，将竞技对象从科学领域算法模型进一步拓展至自主科研智能体，通过真实科研任务检验AI自主开展科学研究的能力。

4、卡塔尔航空公司暂停飞往中东三地的航班

历史上这样的时刻并不陌生：1980年代真正的赢家不是某一台PC，而是让所有PC通用的操作系统；1990年代不是某一个浏览器，而是让所有机器互联的TCP/IP；2010年代不是某一块芯片，而是让所有算力能被调用的CUDA。

5、巴拉圭从对阵德国的硬滑向对阵法国的脏！裁判判罚至关重要！

这意味着CoreWeave正式从单纯的「算力提供商」升级为「算力+AI自动化研发」的综合平台。

拿到一个看不懂的复杂回答，他让模型解释给10岁的孩子听；如果还是绕，就让它解释给5岁的听；再不行，解释给2岁的听。

14种方块，各有硬度、透明度、碰撞属性，基岩不可破坏。

6、转移不转忧！珍珠泉乡贴心服务为群众打造暖心港湾

判断标准叫「经验密度」——录画面和关节角度，那是「一小时录像」；同时记下任务目标、物体状态、动作质量、错在哪、结果如何，才叫「一小时经验」。

再往下，GPT-5.6 LUNA Max、Claude-4.8 Opus这些名字，还在117到123分之间打转。

7、英国公开赛亮相皇家伯克戴尔！舍夫勒小麦领衔阵容 李昊桐重返福地

2022年以来，连续4年拿下6金。

GPU利用率普遍不到50%，跑分很漂亮，真实业务一压上去就卡顿；长文档、长上下文一来，整个系统直接堵死。

8、斯基拉丨米兰即将与卡马尔达续约至2031年

服务器一重启，磁盘上700个碎片就成了无主孤儿。

在三大典型真实场景维度测试中：它达到以下结果。

保持投放精准度靠的是一个每天转动的反馈飞轮。

9、中美日超100岁老人数量对比：美10万多人、日9万多，中国令人意外

第一步：化繁为简，锁定立方图 AI特攻队首先确认前人Jaeger的结论：只要证明了「无环立方图」成立，就等于证明了所有图成立。

这一类最反常，也最麻烦：负责给AI打分、抓这些错的AI裁判，自己也会作弊。

10、纳清凉、品鲜鱼～解锁百里山水画廊夏日限定

拍我AI创作者@八目爱吃饼制作的「恋与深空」的同人作品，在小红书上爆火。

119号问题当年一口气问了三问，第三问悬赏100美元，如今状态已改为SOLVED。

1、抛开球技不谈，梅西在搞钱这件事上为什么彻底输给了C罗？

我以为到现在，它早该变了。

2、媒体：AI短剧在改变一切，但创作还有可能吗？

这次变的不是参数，是形态。

3、墨西哥中咒出局，坐实世界杯十六郎

他们很清楚，即便是轴向磁通电机，要满足车规级的大规模量产，依然需要漫长的验证。团队从1500人暴增到7000人，Databricks用一台“自动贩卖机”解决工程师抢资源难题一个观众随手在点餐台下了单。

4、英格兰2-1逆转1主力拉胯！禁区空位抽射没进+4场进1球，难回曼联

一本安全账。

5、“有老鼠有啥关系”，桂林一米粉店里老鼠乱窜，顾客反映遭店家斥责“找茬”

但它最关键的属性不是性能，是接口。

6、全新海马8S上市，售价10.29万，外观年轻动感，配1.6T+6AT变速箱

而ChatGPT要接管的，是一片过去从没被专门打理过的地带：你和AI这几年共同生产出来的东西。

horizon reward只在组内出现成功轨迹时激活，避免模型在失败情况下盲目追求更长的chunk长度。

分析日志的第一步，Hugging Face用的是商业API背后的前沿模型，结果跑不通。

7、小组出局！乌拉圭足协取消包机 球员需自行购买机票返程

标准化解题与原创科研探索的核心差异，正体现在这一点。

自研的此芯P1，就是这块地基石。

8、伊姐周六热推：电视剧《雨霖铃》；电视剧《黑夜告白》......

下午4点，放学铃响过，一位美国中学老师收拾好东西，开车回家。

新智元报道 【新智元导读】Grok Build被爆偷代码实锤，48小时后，马斯克亲自按下删除键：历史用户数据全部清零，一个字节不留。

可现实里的第一版「失控」，长得就这么朴素：它只是太想把活干好，顺手把一样东西送出了不该送的门，而那扇门，再也关不严了。

HMS备了六把不同的「钥匙」，按时间追、按人物串、按上下文补、按最新值查、按矛盾点抓、按关系跳，而不是什么问题都拿同一套相似度搜索去套。