新智元报道 一页纸，啃下了一篇要用44页顶刊论文才啃动的硬骨头。

1、mk体育 参考资料： https://x.com/BrianRoemmele/status/2078840929088340408?s=20 https://huggingface.co/blog/security-incident-july-2026 编辑：桃子新智元报道 祝贺中国队！ 在国际数学奥林匹克竞赛IMO（International Mathematical Olympiad）比赛上，中国队勇夺冠军！ 中国队以全员金牌、团体总分232的成绩，以25分的优势超越第二名，强势登顶。

对此消息，阿里巴巴回应称： 阿里千问将作为 AI 能力集成至 Apple 智能，为 iOS、iPadOS、macOS 和 visionOS 的中国用户带来智能体验。mk体育这一方案的优势在于：它以技术为本，同时又支持创新、激励负责任的行为。

2、1991年日产Figaro：987cc涡轮小排量、11.7万公里仅

注意，这位工程师分享的，并不是一张静态页面，而是一个能够自动更新、可交互的页面。

3、曼联抢人!从曼城青训再挖两名16岁新星 拉爵誓言寻下个姆巴佩

报指出：「K3令整个开发者社区感到震惊。

4、0比2，真踢不过！U17国足队长承认：我们在亚洲没见过这种球队

二者相对其他玩家有接近代际差的领先。

5、斯诺克21日凌晨战报！中国4胜3负，江俊，刘宏宇零封，4冠王出局

就像一个什么菜都能做的后厨，每做一道菜都得现翻菜谱、现找工具、现调火候。

每一步，选两个数m和n，擦掉，换上gcd(m,n)和lcm(m,n)/gcd(m,n)。

在人工智能可解释性问题上，本体论与本体工程的关系尤显根本：前者告诉我们应当追问什么样的知识结构，后者则负责在模型、数据和系统之间实际构建起这样的结构。

6、李国旭7.5分！英博全队打分：斯坦丘7.8分，吕焯毅5.5分！三将不及格

上手方式：通过StreamLake.com直接调API（模型ID：kat-coder-pro-v2.5）。

神经激活属于物自体层面，模型输出的话语意义则属于现象界层面，只有被置于某种认知结构框架中才能被理解和评判。

7、辽沈战役刚结束，八纵为何司令师长团长换个遍，连副团长都当战士

喻杰将这个概念命名为Robotic Super Intelligence——比大模型圈热议的super intelligence，多出了整个物理世界的信息维度。

过去用ChatGPT是你提问、它回答；现在你只给一个目标，剩下的它自己来：拆任务、调工具、翻你的文件和应用，一口气干上几个小时，直到把活儿真做出来。

8、钢人传奇沃德：“每天都被人取笑”，首次揭露童年混血身份挣扎

「将来的各种边缘计算产品都需要用到能源和算力。

人们也把模型当神谕，指望它在某个深夜吐出一个人类没想到的答案，即使为此慢一点、贵一点、偶尔发疯，都能忍。

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

9、赫尔城老板：被拒传闻让我不安，已签3将，日本中场签约进度99%

他笑着答应了，然后趁你不注意，把你整个书房打包，快递到了别人家的仓库。

怎么把Token送到科室、送到一线，成了新命题。

10、86k英里保时捷卡宴Turbo无底价拍卖，现车主仅行驶1500英里

它把策略效率拆成两个可优化目标：先扩展可靠动作chunk，再压缩冗余物理步骤。

第二个问题更严重：企业可能正在把自己的数据、流程、业务逻辑和竞争优势交给模型公司。

1、自然吸气9.76秒纪录，增压后8.698秒夺冠：这台野马GT的“银弹”进化

」 AI编码滑铁卢：工程师的纯血统情结与算力饥渴 而且，为什么偏偏是编码能力拉了胯？这背后藏着谷歌更深层的矛盾。

2、告别“博彩”标签，广州赛马为何依然值得期待

如果签下，就意味着他们的模型将被用于制造致命自主武器（杀手机器人），或是建立大规模AI监控网络。

3、仅行驶3.7万英里，2002款保时捷911 Turbo手动挡待售

第二点，系统绝对禁止告诉大部分AI目前哪个方案最被看好。中央5台直播世界杯时间表：明天7月10日CCTV5直播，法国PK摩洛哥说白了，老师要的不是AI「能生成」，而是「生成的东西直接能用」。

4、铁人后卫租借亚泰，西海岸签巴西外援救火，21岁留洋新星加盟成都

世界上没有人能确定接下来会发生什么，连专家们也各执一词。

5、35岁格列兹曼：曾是马竞队史射手王，如今在奥兰多开启新生涯

但一项最新发布的材料学基准测试，却给这种「大力出奇迹」的乐观情绪带来了不一样的参考视角。

6、1990年威尔士手工Triton Cafe Racer亮相，搭载649cc双缸引擎

Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

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

论文中的实验显示，随着强行将动作执行长度变长，成功率可能下降，物理步数反而增加。

7、正定片区首批共享单车正式投放

对于材料建模而言，语言推理能力、文本知识储备和原子级结构行动能力之间，不能直接画等号。

WAM-TTT是「理解型」学习，用快速权重吸收的是任务的本质动态结构，而不是死记硬背表面特征。

8、斯帕后F2争冠格局成形：红牛青训6胜领跑，法拉利新星主赛登顶

这次还顺手把整套教学技能开源，配上一门给K-12老师的AI素养课。

他问自家硬件负责人：我们这么完整地交出去，怕友商抄吗？ 对方回了他八个字： 设计可以，技术不行。

合作推进的速度很快。

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