陶哲轩等几乎半数当代菲尔兹奖得主都是从IMO出来的，谷歌联创Sergey Brin也拿过IMO金牌。

1、BOB足球 2000年至2024年，好莱坞原创电影占比从41%暴跌至19%；2025年全球票房前10名，几乎没一部非续集影片…… 造新IP，越来越难了。

《忽左忽右》做过一个讲日本谍报史的付费节目系列，共六集，单集9.9元，整季节目49元。BOB足球截至目前在 GitHub 已获得4100+ Stars 、 600+ Forks、100+ Contributors，成为具身智能与大模型强化学习领域最受关注的基础设施项目之一。

2、玩转阿勒泰

很多人最先注意到的，可能是美图产品挑战赛（Meitu Hatch Catch）开放的1亿元孵化资金，以及单个项目最高500万元的投资机会。

3、3进4出！山东男篮阵容迎变动：清洗新疆旧将，挖郭士强心腹爱徒

更关键的是，这套能力直接跑在机器狗本地！ 电梯和地下停车场往往是网络信号比较差的地方。

4、美联格局被打破:光芒若抢到赛扬巨投,洋基红袜恐难以追赶

引领全球AI生态话语体系建设 乔布斯说，品牌营销讲的是价值观。

5、49人防守组多人伤愈归队 华纳回归格林劳重聚训练营周日开启

任广辉称，两年后，世界模型会走向更加“具身原生”，需要更大规模的具身原生数据和为具身而生的原生架构。

成立以来，公司一直在迭代机器人的眼睛和大脑，之后基于对操作能力的积累，产品线又增加了灵巧手。

中兴通讯这次在WAIC上搭了四个展区，分别叫AI基础设施、AI应用、AI智慧家庭、AI智能体手机。

6、48小时前决赛泣退，巴多萨竟在汉堡首轮惊艳所有人

” 来源：男用户“许北”的首页截图 不过周三认为，很多商家觉得男性用户转化少，根本原因不是男性用户不喜欢消费，而是商家的内容表达方式不匹配。

Hidden Decoding：把思考折叠进序列 Hidden Decoding的做法，可以概括为三步： 给定输入序列和n份词表嵌入，把第i个token的第k条「流」表征放在物理位置(i−1)n+k上，构成长度为nL的扩展序列； 扩展序列在标准因果注意力和连续的位置编码下，送进同一个Transformer，不新增任何主干参数； 训练时只在每个token的最后一条流上计算下一个token的预测损失，前n−1条流不接收任何直接监督。

7、伍兹之子被快门干扰后怒问：“哥们，搞什么？”，加洞赛饮恨出局

Inkling，975B参数，45万亿token——但Murati自己也公开承认：「这不是目前最强的模型。

这个帖子，把过去三个月里AI 圈里最炸的几件事串在了一起： 7月21日，OpenAI的模型在一次网络安全评测中钻出隔离沙盒，一路摸进了Hugging Face的生产系统； 7月20日，Anthropic研究员用刚发布不久的Claude Fable 5，给悬了87年的雅可比猜想找到了一个反例； 5月20日，OpenAI一个内部模型推翻了平面单位距离问题上流传近80年的旧猜想； 4月14日，GPT-5.4 Pro解开一道约60年的素数集合难题（Erdős #1196），证明还通过了Lean形式化验证。

8、木质船体14英尺小艇待拍：搭载非运行状态35马力舷外机，无底价

一条面向量产市场，一条探索更高等级的自动驾驶。

希望Qwen-Image系列后续能持续关注这些真实的用户反馈，并在下一代模型里把这些坑补上吧。

” 原本你可能会想：“这题我不知道、没把握，算了…….我需要去弄明白才能回答。

9、帕特里克·坎恩两年合同重返芝加哥黑鹰 康纳·贝达德成赢家

和Alon、Shankar、Gowers一起代表数学界发声的，还有Jacob Tsimerman，他即将走上7月23日的菲尔兹奖领奖台。

只有内化为全链条的能力升级，企业才能从“赚快钱”走向“赚长钱”。

10、穆里尼奥狠心清洗！皇马核心 7000 万甩卖！曼联死磕 4 年坐等捡漏

这类长程任务场景下，任何一环出错，整条链路都会中断。

研究过最火的几档节目后，他判断，随着降噪耳机、智能音箱、智能驾驶普及，留给音频的时间会被拉长，长音频一定有未来。

1、被球迷劝说回勇士 克莱·汤普森：永不说不

我们在清华深耕了十几年，做了很多别人不愿意做，也做不长久的事，比如创新创业导引课，已经坚持了12年14期，很多成功校友都会去做分享；还有清华84奖学金、全球校友三创大赛、水木清华校友种子基金等。

2、“小白”师生携手 农村娃站上省级领奖台

在第四届世界科学智能大赛（AI4S）智能体CNS挑战赛中，启鸣达人团队从全球32个国家和地区、近1.8万名选手中脱颖而出，成功获得三等奖荣誉。

3、资深内部人士揭NASCAR残酷现实：车队总哭穷，却在大把花钱砸装备

LongCat团队每发布一个新模型，都站在一个新的起点上，重新划定起跑线。罗马和尤文竞争佩莱格里诺，卡莫拉内西遭遇新赛季执教开门黑第一轮拼算法。

4、佛得角：输了比赛，赢了全世界

从Demo到产品，如何跨越？ 过去，一张图片或一段视频需要经过拍摄、修图、设计、剪辑等多个环节，对应不同的软件和专业技能。

5、英格兰有救了！图赫尔濒临下课！英超名帅主动请缨接任

而分数流可以按1/3、2/5、1/3的比例同时用上这三条便宜路，成本只要58。

6、萨利巴重伤休战，阿森纳有意挖角曼城斯通斯与维拉孔萨补位

三家机构的共识是：这份“差财报”是理想汽车主动求变的转型代价，而非基本面失控。

逛过WAIC具身智能展区的人，多半有同一个疑问： 都2026年了，机器人干活，怎么还是慢吞吞的？ 转头一讨论，大家默认的答案是：技术不行，快不了。

最关键的是，他们最大的愿景都是亲身参与产业颠覆性变革。

7、无缘大满贯！足协杯爆冷：中超第1被淘汰，韦世豪被护送回替补席_网易订阅

但所有机器人都需要看得清、想明白、做准确，因此“眼脑手”是可以跨本体使用的标准组件。

客户真正关心的仍然是大模型吞吐、单Token成本、时延、精度和集群稳定性 但它提供了一种不同于单纯追逐先进制程的竞争思路：当物理条件受到限制时，通过架构提高资源效率，可能比单纯增加晶体管数量更具现实意义。

8、英格兰球迷在美国“无可挑剔”，英国本土足球暴力却火箭式激增

无问芯穹想做的，就是大模型时代的共同选择 问题也因此变得更有趣了： 他们到底看中了这家公司什么？ 答案要从两头找。

这张稿纸压了数学界一百多年，被称为“希尔伯特问题”。

二是背面漏光 点云没有“面”的概念，不会自动遮挡。

虽然团队过往对外发声始终秉持审慎的态度，但从近期集中发布的技术博客来看，其已清晰勾勒出一条技术演进路线—— 从V3时代的训练体系搭建，到V4时代的效率与质量创新，再到600B级模型的Scaling突破与Hidden Decoding的推理范式创新。