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

1、yobo体育 投入巨额资金和算力训练出的下一代模型，实际性能提升远低于预期，市场领导地位因此出现明显滑坡。

7个Claude通跑，设计流程已死 今年3月的《Lenny's Podcast》，她开局就给了所有人一记闷棍—— 设计师被教了这么多年、当成圣经的那套设计流程，基本上已经死了。yobo体育好在缓存命中的价格依然极低，把批量任务、评测跑分、数据生成挪到高峰之外，成本还能压回去。

2、中超综合

正是依靠该机制，智能体在比赛中复盘多次动力学模拟的失败后，自主识别出问题不在主链构象，而在全原子侧链冲突，于是将优化重点转向侧链物理修复。

3、尼克斯爆冷赢马刺，文班破纪录！1战诞生5个事实：福克斯该被交易

LongMemEval基准（多会话交互记忆测试）：HMS-self-evolve以92.8%的总体准确率登顶，此前最强的Hindsight是88.8%。

4、2026新余仙女湖马拉松报名正式开启

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

5、275天交付12万辆创纪录 蔚来ES8持续领跑40万级大型SUV

智元机器人手握GO-2（LIBERO基准98.7%刷新SOTA）、世界模型GE-Sim 2.0（WorldArena全球第一）、龙旗南昌产线稳定运行3个月、成功率99.99%。

这带来一个很直观的变化：Agent太能吃了。

结果，一些Claude模型开始为了保护它们认同的行为，故意打错标签。

6、上赛倒计时！这里可以偶遇F1车手乔治·拉塞尔

进到真实业务里，这省下来的全是真金白银。

V4正式版打造的一款《我的世界》+《无人深空》的混合游戏HTML，可玩度还是比较高的。

7、增长27%！亚玛芬收入超400亿 始祖鸟高端 威尔胜稳定 安踏赚麻了？

展会第三天，超维动力（Kinetix AI）的展台前依然围了好几圈人。

该协会的主席是著名的AI先驱Stuart Russell，另一位重量级人物是图灵奖得主Yoshua Bengio。

8、C罗VS梅西！分析，有3大区别

参考资料： https://x.com/thsottiaux/status/2077114635308986427?s=20 https://x.com/sama/status/2077036999303999910?s=20 编辑：摩西新智元报道 你半夜失眠问Claude该不该辞职，它体贴得像个认识了十年的老朋友。

」 参考资料： https://turntrout.com/why-i-left-google-deepmind 编辑：Aeneas新智元报道 7月17日，上海，黄浦江畔，夏风滚烫。

DM0.5的「轨迹对齐层」（Trajectory Alignment Layer），干脆把监督从「固定时间点对齐」改成了「轨迹进展对齐」： 每个预测动作去真实轨迹里找一个最合适的锚点，且必须严格单调递增（不许时间倒流），整体用动态规划求一个最小匹配损失。

9、篮网追字母哥成交易黑马

这标志着全球最顶尖的性能车品牌，已经将「四轮毂电机」方案作为电动时代的终极答案。

STT（单目标追踪）：追踪率达到89.81。

10、许愿！库明加是真不想詹姆斯回骑士！

全新Token生产平台TokenBox™，把这套原本只属于数据中心的能力，第一次搬进了办公室！ 关键是，插电即用。

用的是第一人称Vlog的叙事逻辑，配合顶级AI视频生成工具Utopai。

1、助贷被约谈背后：谁在「吞噬」你的借款？

灵犀离替代成熟的真人助理还有距离，田然自己也坦诚，上下文工程需要持续深挖。

2、曝马刺已撤回对哈里森-英格拉姆的资质报价

特纳在会场上拦住了Bengio，请求他发声支持Anthropic，结果Bengio的办公室随后冷冷回复：「我们决定不发表声明」，拒绝给出任何理由。

3、阿福抛出1亿斤减重KPI，体脂秤从吃灰到真香？

但真实业务是另一个量级，举个栗子： 读一周多平台热搜、筛出短视频行业条目、按平台取热度前五、再产出一份带章节和字数限制、按日期倒序、且不许编造数据的简报。海报丨平稳增长！数读上半年全省经济运行情况双脚（ABot-N1）：通用导航基座模型，负责空间感知与移动。

4、杜润旺确定加盟同曦，今夏手术渴望暴走，能否重新证明？

要走的步骤更少，要搬的数据更少，要做的决策更少。

5、英伟达推出全新Jetson Thor计算机，搭配智能体技能，大幅压缩机器人内存使用量

今天它们拼的是积木，明天要拼的，是制造业里那20%仍然离不开人手的工序。

6、Scotto：黄蜂有意施罗德 黄蜂高管曾与其在老鹰共事

现在这一步被抹掉了。

参考资料： https://www.anthropic.com/research/claude-values-models-languages 编辑：摩西新智元报道 三个女生，用三周时间做出一支快穿 3D 乙女游戏 PV。

从协议到产品：两只脚已经着地 这层协议已经长出两只脚。

7、又一个诈骗犯？刚拿4年新合同，场均却仅3+2，这队又成冤大头！

过去这种逐条核验只有专业人士能做，按小时计费。

复盘阶段，他们又派出LLM分析智能体，把17000多条攻击事件全量啃了一遍—— 还原时间线、提取失陷指标、剥离诱饵动作。

8、郭昊文正式登陆NBA夏联！本土得分王再冲NBA，他配得上双向合同

PolicyTrim的核心观点是：对VLA机器人而言，部署效率不只来自更快的模型推理，也来自更高效的策略行为。

7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。

马斯克认了！ 就在刚刚，Elon Musk下场回应Grok Build隐私风波，开口第一个词是——True。

大理石近距离看反射效果还不错，但存在 bug。