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

1、开云线上 不是那种把文字往模板里一塞了事的「假PPT」，而是图文混排、数据图表都到位、排版逻辑清晰的真文件。

管着十几个人的团队，做着行业最眼馋的产品。开云线上第一性原理：像素级还原「高度拟人」 正因如此，KAIBot被推到了全身115个自由度——目前全球最高。

2、实至名归！75年首例！库里你牛！

体系化的最大亮点之一，就在于「解耦」。

3、跑团里流行的七大谬论

章庆元今天说了一句很实在的话：每个人都需要变成超级个体，最好的方式就是配一个超级助理。

4、最后冲NBA机会！郭昊文：月底试训一支NBA球队 下月试训3-4支

他讲了自己的例子。

5、里程碑，重庆铜梁龙外援阿马杜代表中国俱乐部出战100场比赛

重启后扫一眼，进度立刻回来。

消息一出，数学圈的人士纷纷表达内心的激动。

https://x.com/markgurman/status/2064047700488655019 国行版的 AI 能力底座是阿里千问，与海外版的技术栈并不相同。

6、各位驾驶员注意！驾驶新规，6月1日起执行

ATM Token管控系统，则直击企业痛点，填补了国内Token FinOps的空白。

初期，前沿实验室将在模型发布前最多提前30天，自愿把模型交给标准机构评审。

7、微软Bing搜索结果引入AI摘要功能，逐步推进智能搜索体验

面对如此复杂的需求，V2.5展现出了教科书般的工程化思维。

AI洪流之下，科学将以无法预测的方式爆发。

8、美新法案或致奔驰因中资持股被禁售 但仍处于草案阶段

真正拥有认知主权的企业，应当能够做到： 自己定义业务世界； 自己沉淀专家技能； 自己组织智能体执行； 自己评价业务结果； 自己掌握学习信号； 自己更新认知资产； 并且可以自由选择和替换底层模型。

不到一年时间，这个词已经成了行业里的「标配」。

从纯Transformer到MoE混合专家，从纯文本到多模态原生，从密集推理到稀疏激活——模型架构的迭代速度，堪比手机行业最疯狂的年代。

9、辽宁队不留情面，韩德君上任，四大王牌全部淘汰，郭艾伦回归揭晓

企业承担成本，贡献语境，暴露问题，提供反馈，而模型公司则有机会获得跨企业、跨行业和跨场景的认知积累。

这就好比让一个人独自跑完铁人三项——游泳、骑车、长跑全包了。

10、1.16亿英镑转会曼城，安德森：我绝对决心完成这笔转会

他深知，高管们不喜欢空洞的抗议，于是利用假期时间，撰写了一份长达25页的《军事AI红线与监督框架》。

问题从来不是它记得不够多，而是它不会回忆。

1、三位90后大满贯男单冠军，谁的成绩更出色？

四种循环 四种「停止条件」 一个循环到底是什么？ X上吵了很久，答案也是五花八门，Claude Code团队给出的定义很明确： 循环，就是智能体重复执行一轮又一轮的工作，直到触发停止条件。

2、女子被丈夫持刀追打，抢刀后砍伤丈夫致死一审获刑4年 法院：男方有重大过错 子女谅解

这些高附加值应用场景，为小象电动提供了丰厚的利润支撑，是原始积累的第一步。

3、不争气啊！足足培养了3年，还是被球队放弃，如今只值一个次轮签

接上MCP之后，Claude不再只会回答问题，而是能查数据库、读邮件、建任务、调企业系统的API。米兰新闻网：费内巴切将面见莱奥律师，球员对赴土超没信心梅卡曼德覆盖近50个国家和地区，服务100多家《财富》世界500强客户，国内细分领域连续6年市占率第一。

4、卡特：打完22个赛季还想继续出战 但人情世故让我选择退役

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

5、小鹏MONA L03将于7月全球上市 预计超30%销量来自海外

要在过去，这种页面你得自己接数据源、立一套基础设施才做得出来；现在你只管开口要，它从已经存在的东西里为你搭建。

6、费德勒温网观战八强赛，男单下半区谁能突围？

就在大会现场，我们与超维动力联合创始人兼CEO喻杰博士进行了一场深度对话。

谷歌似乎陷入了某种「官僚主义的指标狂热」：为了在财报和发布会上展示更高的版本号、更快的推理速度，他们牺牲了AI最本质的东西——真实效用。

https://www.hbs.edu/ris/Publication%20Files/25-039_05fbec84-1f23-459b-8410-e3cd7ab6c88a.pdf 但「Record a Skill」推动的方向很明确：工作的护城河，从「会做」迁移到了「会做别人做不了的事」。

7、辛纳卫冕温网：稳定到让人无法呼吸

相比传统方案，Qoder Security的漏洞检出率提升了约60%。

这是Chloe亲口承认做过最难的一个视频。

8、易建联替补转会！2年合同起步，30岁也抢手，错过联手杜润旺

而WAM-TTT对数据的要求低到了极致：纯视频输入，不用任何标签！ 它将人类视频视为「无动作」（Action-free）的数据。

恐慌是有道理的。

」 OpenAI的Aaron Lou用内部Codex（无网络搜索）从零推导出本质相同的反例，完整写出策略与证明，还给出可复现的数学推导（从三次因式分解到仿射坐标变换）。

公司名字里的「超维」，说的就是这件事。