17000条日志，AI自己查自己 有意思的是，最先发现异常的，也是AI。

1、华体会体育 满分是另一回事——不是「最终找到了答案」，而是「每一步推理都没有错，每一行证明都没有漏洞，每一道题的落笔都精准无误」。

这件事当时震动了整个数学圈。华体会体育成本差距比能力差距更大。

2、两百年前，人类杀光了这里的象海豹；两百年后，一头小海豹拿着旧地图找了回来

而真正的循环设计者们，才刚刚上场。

3、「香港冬日暖跑挑战赛」用脚步迎接焕新起点！_网易订阅

然后Gemini发了一份状态汇报：运行成功，退出码0，无任何异常。

4、首轮4-0横扫，次轮又剃对手光头！再这么打下去 总冠军就没悬念了

长轨迹下，模型不仅要逐段生成视频，还要持续维护历史上下文、KV缓存和多步去噪计算。

5、对话英诺周全：科技投资，现在是最好的时代

无问芯穹今天发布了一项与基础设施自我优化和进化直接相关的「前店」解决方案：基础设施智能体蜂群。

不要修代码，六步核心框架 那么，这套打法的灵魂是什么？ Anthropic把它总结成一句话：不修代码，而要修那个产出代码的loop。

但这个模型却在HLE上拿下了令人胆寒的99.44%！ 不仅如此，AIME 2025、GPQA Diamond等多个被视为「AI智商试金石」的Benchmark榜单，也全部被以满分或接近满分的成绩霸榜。

6、怎么会有人不Like Jennie？

路子不同，终点却是同一个：替你把数据组织好、检索好，随叫随到。

也就是技能从训练场带到新环境，还能剩下几成功力。

7、美媒评新赛季压力最大10人：詹姆斯离队湖人双核上榜，字母哥登顶

7月15日，银河通用发布WAM-TTT，全球首个面向具身智能大模型的测试时后训练框架。

LeCun在旁边补刀，暗讽自己埋的雷炸了自己。

8、拒28分史诗逆转！快船加时灭森林狼 5号秀26分佩杜拉24+11+6

然而从海外访问，捐款通道照旧敞开。

他们推出的新能源车型，更多偏向于国内庞大的「内循环」市场。

过去可能需要一个IT团队花几周开发的东西，现在半小时就能搞定。

9、跟风“一人公司”：忙了半年，0收入

这是他们的房子，有可能是公寓，有可能是别墅。

落到具体行业，痛感立刻锋利起来： 制造业想让AI钻进研发、仿真、质检、排产，可图纸和工艺数据是命根子，只能私有化部署。

10、线下巷战，影石把店开到大疆隔壁

真正难的是：能不能适应不同国家的工厂标准？兼容当地主流机器人品牌？跟当地集成商体系打通？提供及时的本地服务？这考验的是研发、标准化、交付和服务的综合能力。

没有任何预热、没有任何预告，他们在X上扔出了一枚重磅消息——发布Monolith-1.0模型，登顶世界第一！ 数据有多炸裂？ 1.6万亿参数（MoE架构，每token激活495亿参数） HLE工具辅助测试中拿下99.44%的成绩 GPQA Diamond达到95.9% MMLU-Pro达到96.2% AIME 2025超过90% 原生100万token上下文窗口 在12,288块Ascend 910C NPU上训练了60万亿tokens 这个成绩，直接把目前所有榜单打穿了！ 即使是最顶级模型，在面对地狱级难度的HLE时，依然会被按在地上摩擦。

1、CBA官宣上海外援兴奋剂违规，朱芳雨杨鸣捐款，新疆顶薪续约齐麟

这就是物理智能和文本智能最大的不同：答题，打完字就结束；干活，只有瓶子真拿到、工件真放准、插头真插进，才算完成。

2、韦世豪：前几年跟泰国是互有攻守，这场全场压制只是缺进球

双雄争的 是谁当上你的AI同事 如果将视角放远，看得更清楚。

3、背靠背9分10篮板3助攻！杨瀚森打得随性，结束考察！

比如，「改进这段代码」是个坏目标，因为没法验证；「/tests/下所有测试通过，只许改/src里的文件，修3次还不过就停下来汇报」是个好目标，因为每一条都能核对。WNBA：大冷！韩旭8分末节0分无缘连场上双 自由人输11连败风暴结果出来，直接懵了。

4、温网：在大坂直美重返巅峰之夜，萨巴伦卡“只想喝个烂醉”

他的结论是：AI在数学上已经撞墙了。

5、新秀场均28+7手刃三巨头，仍不敌“詹皇接班人”！共享荣誉没戏了

今年5月，达里奥在开发者大会上说，公司原本按每年10倍增长做规划，结果一季度的收入和使用量按年化算，暴涨了80倍：算力紧张就是这么来的。

6、扎心!姆巴佩:我宁愿不是世界杯历史最佳射手 而是明天能参加决赛

人会耸耸肩走开 AI会接着试下一个 如果只有这一件事，它顶多算个漂亮的孤例。

这也是超维动力坚持做通用具身技术的原因—— 必须把机器人扔进真实世界的复杂场景，收集足够多样化的数据，才可能孕育出真正通用的技术。

入口就在侧边栏。

7、时隔16年再进决赛！西班牙2比0战胜法国，亚马尔造点奥亚萨瓦尔命中，波罗单刀破门锁定胜局，姆巴佩哑火萨利巴伤退遗憾出局

难的是把它们拧成一个模型，还得躲开「按下葫芦浮起瓢」的跷跷板。

更为关键的是，语言模型在识别概念之间的层级关系、同义关系和关联关系方面展现出的语义敏感度，使得本体构建从「专家手工编制」演进为「人机协作生产」乃至「自动生成式构建」。

8、【寻人启事】寻找青岛男篮主场全勤的你！

机器人由此从「生成一个逼真的虚拟未来」，转向「预判自己这一下会对世界造成什么影响」。

左右滑动查看 数学直觉的正面交锋 P1是全场最温和的开胃菜，所有模型几分钟搞定，人类选手也几乎无一失手。

把思考外包给AI，一开始只是图省事。

中国00后团队 把人类回忆的本能做成工程 要把这件事修好，得先回到那个更根本的问题：一个「会回忆」的系统，到底该长什么样？这方面，进化已经调试了几亿年。