当时，OpenAI副总裁Kevin Weil转发了Mark Sellke的帖子并写道：GPT-5刚刚找到了10道此前未解的埃尔德什问题的解，另有11道取得进展，这些题都已经开放了数十年。

1、火狐买球 3、在扫描层级下，确认静态检查（L1）、轻量级扫描（L2）和深度扫描（L3）的开关已开启。

再看一件事。火狐买球2026年1月，Anthropic发布通用智能体Cowork。

2、3座斯坦利杯，16年，帕特里克·凯恩重返黑鹰签下两年合同

备案解决了合规问题，但从备案到产品落地之间，还有版本适配、功能裁剪、模型调优等工程环节要走完。

3、世界杯四强出炉！英阿会师+法西大战！最新夺冠更新：法国领跑

他们要立的，是AI的地基 行业狂飙热炒到今天，聚光灯几乎全打在最聪明的那颗「大脑」上。

4、新一期中国男篮最不适合打国际比赛的4位球员，2后卫在列

更有趣的是，宇树G1和智元远征A3轮番上阵。

5、热刺季前赛阵容公布：本坦库尔等三人缺阵，新援悉数入选

已发布的、进度元数据、没传完的碎片。

放以前，这一步得靠顶尖专家一行行手搓才行。

不仅如此，Gemini 3.6 Flash在省Token的同时，价格还更低了： 输入1.5美元、输出7.5美元每百万 Token，比3.5 Flash更便宜。

6、中央5台直播世界杯时间表：明天7月8日CCTV5直播，阿根廷冲击8强

你手里还握着总开关：可以随时关掉记忆采集，可以选纯本地模式让数据不出设备，也可以联网。

从去年9月十几人的初创班底，到如今接近200人的团队，不到一年产出的成果可以说是相当密集。

7、这辆2006款卡曼S表显仅2万英里，六速手动成色诱人

过去几年，AI算力围着Scaling Law转，火力全部压在「训练」上训练是军备竞赛，但它只打一次。

大脑系统 + 软硬一体 + 开放底座 逐际动力与其他机器人公司之间最大的壁垒，除了大脑系统，还在于与硬件联合优化。

8、斯科尔斯&巴特：蒂莱曼斯很出色，但曼联中场仍需更多引援；记者：曼联今夏拒绝了一系列关于芒特转会的询问

可真正决定这场智能革命能走多远、能渗透多深的，恰恰是这层地基。

这样设计的好处在于，机器人真的可以像人一样，且比人更快，持续不断学习新的技能。

再往前一步，就是这次战略里更大的那句话——以自研此芯P1为核心，打造覆盖端、边、云全场景的全域算力底座，真正实现「一芯驱动全场景AGI」。

9、山东男篮大清洗！9名球员确定离队，邱彪不要混子球员

也就是，把Prefill和 Decode这两步彻底拆开，分别丢到不同机房、不同厂商的芯片上去跑。

效率可想而知。

10、WTT大满贯：冷门！王楚钦1-3无缘8强，王曼昱蒯曼挺进女双决赛

闭源并不自动等于安全。

提交文件里赫然写着一句：Full proof: (Not yet complete.) 片名带着手写的墨迹，就连演职员表都巧妙地被「加密」的黑线代替。.18，全场最廉价的白卷。

1、五大平台直播滇蓉大战！论嘴硬，还得是约翰！乔迪：全队渴望拿下领头羊

第一种，回合制循环（turn-based）。

2、拉塞尔：数据证明近期挣扎源自软件校准而非驾驶风格

GPT-5.6 Sol Ultra的强大之处，在于它扩大了并行的TTC。

3、尤文国脚报告：布雷默0出场黯然出局，两位斑马小将欧青赛首发

消息一出，Alphabet股价周一应声上涨3.7%，一扫前几周的阴霾。中欧谈完后，27国高挂“免战牌”，争取3个月时间避免自取其辱这家神秘机构仿佛在对全世界宣告：旧时代的王座已经崩塌，新神已经降临。

4、达拉斯飞翼布克斯因摔倒酸痛缺阵，已排除脑震荡_网易订阅

此外，「模速空间」大模型创新生态社区、上海漕河泾新兴技术开发区及上海青浦国科创智经济发展（集团）有限公司，还将联合为大赛优秀项目提供产业孵化园区场地支持，助力团队就地落地发展。

5、三天王造13球，个人英雄主义拉满，尘封50年记录能破吗

你能感知的只有四样东西：它回得多快，它想得多长，它有没有回头检查自己，它有没有叫上别的智能体一起干。

6、今夏第2签！卡尔·达洛加盟曼联&公布球衣号码

几乎同时，另一组截图也开始传：Codex客户端里用户实际能用的上下文，从约372k退回了272k。

当然，必须指出的是，这次AI证伪的是三维雅可比猜想，也就是否定了「所有维数都成立」的广义版本。

顺带提一句，deepseek-chat和deepseek-reasoner两个老模型名，7月24日正式下线。

7、蓝衣队与门将格雷夫斯续约3年 总值1500万美元

这回，Anthropic将目光盯准了K-12老师的整条工作流。

机器人身上的算力和电量十分有限。

8、布法罗比尔训练营开幕在即：7次训练，一票难求

如果说AI Coding正在重写软件生产链，那AI Video将重写视觉内容的生产、分发和交互方式。

过去这种逐条核验只有专业人士能做，按小时计费。

他也点出了背后的原因：他推测，关键那一步里有一个很小的、反直觉的拐弯。

他的方法论叫「数据达尔文主义」：不预判哪个市场好，全球都推，数据最好的就是答案。