下一个被GPT用90分钟终结的，会是谁二十年的心血？ 参考资料： https://x.com/wfithian/status/2077218361398964684https://x.com/EdgarDobriban/status/2077082912021786660 https://x.com/jdlichtman/status/2077297788304429195?s=20 编辑：大卫新智元报道 见证历史！ 如今，全世界99%的人类，在IQ这方面竟拼不过一个AI。

1、乐竟体育 它意味着机器或许正在跨过那条线——从「反复搜索、终于找到」，走向「一次落笔、一步不错」。

拿下Cursor的马斯克，又把劲敌Claude的设计「大脑」挖走了。乐竟体育正是因为你知道结局是什么，那种无力的刺痛才显得如此真实。

2、我市调整住房公积金缴存基数！

只有语言层面与物理层面的通用智能同时实现，才能实现真正的AGI。

3、拉波尔特赛前施压裁判：阿根廷总是耍“阴招”，裁判必须控制比赛

但今天，先去把HF token换了吧。

4、本周末，国内顶尖专家将来株洲市三三一医院义诊！

超维动力负责比如运动控制、环境理解、任务编排这些最硬核的基础能力，应用开发交给第三方。

5、一医生被患者家属掐颈推着下楼梯受伤，拟认定为工伤

在数据端，相比纯模型驱动的厂商在实验室里死磕合成数据，高德背后是积累了二十年的庞大时空基座。

结语 AtomWorld不只是一套标准化评测基准，更像一面观测镜，直观展现出当前AI for Science发展中的关键问题：大模型可以解释材料结构性质，并不意味着它已经能够可靠修改材料结构；可以读懂元素周期表，并不意味着它能够在三维空间中稳定执行一次原子级操作。

数据由你产生，资产却记在平台名下。

6、签约已达成，湖人队以330万美元签下曾入选最佳防守阵容的前锋

生产力工具没有换来更多休息。

2026年2月，一个名叫MJ Rathbun的AI，给一个人类程序员写了篇讨伐檄文。

7、全新中型家轿上市！不足十万可选增程/纯电动力，还配无框电吸门

OpenAI在7月9日发布的ChatGPT Work，几乎是贴着Cowork的卖点打，内置Codex，还捎带上线了当天同步发布的最新模型GPT-5.6 Sol。

可它偏偏正中靶心，而12个大模型演算104场比赛，敢押佛得角这匹黑马的，只有4个。

8、金价、油价、银价，都涨了！

那些假密钥一个字符都没改，明晃晃躺在传出去的数据包里，跟着代码一起裸奔。

他笃定，在最初的震撼下，很少有人会立刻去下载并逐字元检查如此庞大的文件。

恐慌是有道理的。

9、暴雨、强对流、高温、台风预警：今日至明早，多地有大到暴雨

而要求是，81,920块微型积木要严丝合缝地咬合，烽火台、垛口、蜿蜒起伏的城墙，一块都不能错位。

作为一个以本体为核的企业级AI基础设施，LegionSpace将模型所处理的信息、所依赖的知识纳入形式化本体工程，使每一次推理与决策都锚定在可解释的知识结构之上。

10、北京野生动物园开启“圆梦之旅”，让特殊儿童感受生命温度

Andre essen食 物中毒时的良好体验 ，和一个陌生人 在急诊分流上的 安全，得放在一起看 ，才算完整。

J-Space以认知神经科学的全局工作空间理论为解释框架，将语言模型的推理活动类比于人类意识层面的信息处理，在方法论和认识论层面都构成了重要推进，也为AI安全提供了全新的监控维度。

1、晚餐吃得晚，全身都“遭罪”？

有外媒的形容很到位：这份报告引发的反应，就是「开发者们默默打开了密码管理器」。

2、苏州新市长，有个特别之处！

产业不会为聪明买单，只会为稳定的聪明买单。

3、头晕出汗别硬扛！三伏警惕“高温杀手”热射病

相比传统方案，Qoder Security的漏洞检出率提升了约60%。高血压悄然袭来，就得终身服药吗？Qoder选择的，是把安全护航做进智能体编码会话之内。

4、2025华润饮料中乙联赛年度最佳评选投票正在进行中

也就是说，Andreessen用来定义「AGI已经到来」的那批模型，两个月后已经是上一代了。

5、梅西加冕历史助攻王，潘帕斯雄鹰加时涉险过关静候英阿大战+

你给它一个目标，比如「/tests/下所有单测通过、lint干净」，它每干完一步，就有一个独立的小模型来判一次：到了没？没到，接着干；到了，停。

6、美加墨世界杯俱乐部国脚贡献榜发布！利雅得新月排名彻底打破认知

OpenAI研究员Noam Brown所感叹：「这与之前解决Erdős单位距离问题不同，这次创造奇迹的模型，是今天对所有人公开可用的！」 网友惊呼：证明令人叹为观止，AI改变数学！ 幽灵般盘旋了50年的数学魔咒 循环双覆盖猜想，是图论里的「皇冠级」难题之一，由Tutte、Itai与Rodeh、Szekeres、Seymour等多位数学家在上世纪各自独立提出。

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

推理框架PhyAI是由明体科技（MemBodied）联合北京邮电大学、北京大学共同研发的端云一体、全栈优化的具身智能模型推理建构。

7、400次仅2次关键传球！别吐槽C罗B费了，葡萄牙无缘八强他问题最大

AI的下一个「CUDA时刻」 到这里，我们其实只谈了记忆的第一副面孔：对内的压缩与重建。

他说这是一个很漂亮的证明，然后给了三个形容词： 短。

8、营养师家一周快手学生早餐：10分钟搞定，娃超爱！

有人会说，这几年一直在给AI「外挂记忆」。

本次论坛上，商汤给出了一个听起来有点反常识的答案：不造更强的卡，而是把比赛拆开，让不同的卡接力跑。

但U1 Pro不一样，它干起活来更像是个会思考的设计师。

自AI4S智能体CNS挑战赛、电力市场交易、可控核聚变、生物结构预测与古文字识别五大赛道的30支队伍齐聚西岸，在上海科学智能研究院（下称「上智院」）开展线下答辩，最终决出5支一等奖、10支二等奖、15支三等奖团队。