那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

1、ob体育 这场风暴真正的启示在于：数学与科学发现的门槛，正在被无情地重画。

AtomWorld的真正意义，正是通过自动生成任务、标准结构与匹配反馈，为材料建模的动作数据与训练闭环提供底座，推动AI for Science从追求更大的通用模型，转向在可验证的科学操作中迭代真实行动能力。ob体育硅谷现在的状态是同时跑约20个智能体，每10分钟收一轮货，再继续分派。

2、偶遇72岁刘德凯！满头白发买菜，小16岁女友相伴，不婚真相太真实

」 Dyna Robotics联合创始人马也骋，则提供了另一个视角——他们确实从VLA切换到了世界动作模型。

3、浙江氢能跻身未来产业首位，年用电超7000亿度下加速绿色变革

这话乍听有点大。

4、空位不传哈兰德！30岁挪威射手遭网暴，回应争议：我没能力传过去

每次Claude想停，一个评估器模型就来对照你的标准，没达标就打回去接着干，直到目标达成，或者用光你设定的轮数。

5、爱子的超光速运动

作业交得越来越漂亮，脑子却越来越空。

无论是材料建模、分子设计、自动化实验，还是更广泛的科学发现流程，AI 若想真正参与科研，就不能只会「解释知识」，还必须学会「执行动作」。

ABC电话打过去，他承认是董事，随即挂断，公司网站不久后也悄然下线。

6、巴勒斯坦枪手闯入老人收容所，朝天鸣枪，随后又要求他们赔偿子弹

今年3月，这家公司完成了2亿美元A轮融资。

而就在发布的同一天，谷歌还顺手扔下了一枚更大的雷—— 谷歌DeepMind「史上最激进的一次预训练已经开始」，目标是下一代模型Gemini 4。

7、144年还没建完？圣家堂主塔封顶了，但真相是……

经过一轮硬核基建打磨，沙箱反馈错误率压到了2%以下，训练崩溃频率降了约一个数量级。

高层回复「我看过文件、理解你的担忧、但我对结果有信心」，它一度接受了。

8、WAIC华山论剑，罕见AI新共识：机器人ChatGPT时刻，最快两年！

场景单位：上海复兴岛面向城市治理与生活服务，聚焦商业配送、市集导购、都市巡检等场景，攻克多任务闭环验证与运行数据持续回流，实现空间智能与具身数据双向赋能，有效推动空间治理常态化落地。

一觉醒来，GPT-5.6 Sol变笨了！ 一个日本的市场调研团队，早上开工没多久，就发现手里的Codex Sol MAX不太对劲，领队把这一上午的遭遇写成一个长帖，扔到了Reddit的r/codex上。

」 在这个漫长的打磨过程中，机器人自身就在不断收集数据、反哺算法。

9、胡塞威胁第一次生效！驶往中印的沙特油轮折返，巴铁被逼到墙角

但未来会不一样——未来会有数字居民，或者叫AI居民。

再往底层看一层。

10、下周美联储有30%概率加息？

或许人类还需要一百年才能解决它。

还有一本最容易被漏掉的连续性账。

1、真好，祝福这对新人~绍兴这个小伙子用自己的内心融化了对方.....

跑出来的结果 图3 15种「平台×模型」组合在24个子类上的攻击成功率。

2、这4类房子，白送我都不要！不是矫情，是教训太深

社区用户ns123abc用一段被称作「模型指纹」的隐藏提示词，读到了系统配置里那个数值：juice。

3、多队哄抢首钢顶薪内线！范子铭申请交易，山东山西广东潜在下家！

J-Space以认知神经科学的全局工作空间理论为解释框架，将语言模型的推理活动类比于人类意识层面的信息处理，在方法论和认识论层面都构成了重要推进，也为AI安全提供了全新的监控维度。1-1！世界第2翻车，被伊拉克逼平，多斯基神仙球：边路吊射破门在模型和芯片都还在高速演化的阶段，灵活组合比把单一模型再优化20%更重要。

4、史上第1人！39岁梅西再创2大神奇历史：3次首发参加世界杯决赛

小哥表示，想要刷榜第一，根本不需要研究什么模型架构，只需要「背答案」即可。

5、创业新人的好伙伴？开瑞X3新能源小卡售卖车实拍

所有的智能，最终都要从这样一层地基上长出来。

6、学习了新疆人的馕言馕语，说话都是大盘鸡味儿

参考资料： https://www.kimi.com/blog/kimi-k3 https://x.com/testingcatalog/status/2077759985761554501 https://x.com/chetaslua/status/2077701096924229744 编辑：大卫新智元报道 2026年7月的上海，黄浦江畔热浪滚滚，但比天气更火热的，是在上海世博展览馆拉开帷幕的2026世界人工智能大会。

又快又便宜，天生就是为「海量处理文档」「Agent搜索」这种高频、走量的场景准备的。

这说明问题并不只是某个模型不够大、不够强，而是当前通用大模型普遍缺少稳定的三维空间行动能力。

7、公务员不是100%的铁饭碗。

这种网络有个迷人的特性：一段记忆不是存在某个地址里等你去「读取」，而是作为整张网络的一个稳定状态被存下来；当你递给它一条残缺的、带噪声的线索，整张网络会自动朝最接近的稳定状态收敛过去，把完整的模式重建出来。

这意味着加固需要按模型来调，而非一刀切地统一部署。

8、常用小程序总 “消失”？3 步永久钉在微信里，比原生 APP 还顺手

以HY-WorldPlay为例，单张A100 GPU上生成约10秒视频，模型主干推理耗时超过200秒。

此时此刻，无障碍第一次从「工具无障碍」，走到了「能力无障碍」。

刚刚，钛动科技在 WAIC 上发布了 Navos 2.0，把多智能体产品从网页对话框升级为智能体工作流架构。

但这个逻辑有问题。