AI提出一个引理：如果能给每一条边分配一个包含两个元素的集合 ，并且满足对于每一个顶点，任何一个元素要么出现0次，要么出现2次——那么，这个图就一定有「循环双覆盖」。

1、熊猫体育 AI翻出了图论大师Tutte的「群流定理」（Group-flow theorem）。

新智元报道 上海的七月，热浪滚滚。熊猫体育第三，专家研讨会。

2、出行有排面，乘坐有空间，福特黑武士商务车值得一看

这已经不像一份作业，像一个上线了的产品。

3、广厦，差一口气，就是差一辈子

攻击者上传的恶意数据集，串起了数据处理链路上的两个代码执行路径—— 一个远程代码数据集加载器，一处数据集配置里的模板注入。

4、折叠屏iPhone仍面临生产障碍 最终发布时间存在悬念

不仅如此，Jeff经常痛批大规模监控，表现得像一个充满正义感的斗士。

5、詹姆斯一人堵死760亿！合同被迫搁置！哈登也急了！

AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

速度已经给出了答案：很快。

但是，他们现在才开始公开强调： 企业学习闭环； Token Capital； 反向信息悖论； 企业Alpha； Sovereign AI； 企业对模型和应用层的控制权。

6、据说这双鞋被王一博一人就撑住了全国销量

他的形容是：像有一个全世界最好的医生，凌晨四点还乐意握着你的手，陪你把这一晚熬过去。

参考资料： https://x.com/cyrilXBT/status/2078308274399834157 https://x.com/i/article/2077510484664971264 https://www.youtube.com/watch?v=PHQvb10vKyk 编辑：元宇新智元报道 上海，WAIC 2026。

7、6岁小天赐妈妈住进简陋病房，75岁黄维平干瘦佝偻，吃老婆剩米饭

并且，这一层功能完全免费。

如果说S1-Omni回答了「AI能否真正理解科学」，那么ScienceOne解决的，就是「AI如何真正深入科研现场」。

8、科创板四年“注册钉子户”离场，北京通美拟弃A赴港IPO，商业秘密纠纷悬顶

趁着这波热度，给这款AI派个应景的任务：「手搓」一款点球小游戏。

清华大学计算机副研究员苏航，聚焦可恢复性——真正的智能不是不犯错，是知道怎么改回来。

莫宗坚评价张益唐「不适合代数几何」，认为他的博士生涯「浪费了自己七年光阴，也浪费了我的时间」。

9、CCTV5直播中国男篮生死战，12人名单不变 和中国台北争夺晋级名额

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

值得一提的是，磐石都是先用一句自然语言让系统去下载对应的科研Skill，系统随即从ScienceHub自动调用相关能力，一路把整个case跑完。

10、曝状元签直接卖了？四川和广州交易谈妥，状元大热之人这下亏大了

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

而这么大一幅、铺满整面迎宾墙的画，竟然是U1 Pro直出的。

1、36氪首发

」 OpenAI的Aaron Lou用内部Codex（无网络搜索）从零推导出本质相同的反例，完整写出策略与证明，还给出可复现的数学推导（从三次因式分解到仿射坐标变换）。

2、阿根廷球迷:刷爆6张卡还没买到决赛门票 奶奶刚去世看球为了纪念她

他给的反证是：5.6在包括FrontierMath在内的一大批评测上都比5.5有提升。

3、防蓝光眼镜、护眼灯、叶黄素护眼？真不如把手机、电脑的字调大！

左右滑动查看 从数字世界，走进物理世界 如果你以为理解、生成、行动的统一，就只能用来生图和做设计，那就小看它了。很多人降血脂，只会少吃油，真正该多吃的是这 5 类食物难得的是，它极高的完成度：双战队设定，仪表盘计分、AI守门、动感音效，一应俱全。

4、可能不需要詹姆斯！哈登降薪1400万成定局，骑士三大补强目标出炉

并且在相乘之后，还首尾相接地成了一个闭环。

5、迪班萨：高一以来我几乎没赢过任何冠军 让会让你在内心充满渴望

回访阶段相对L1距离整体低于探索阶段，为只在回访状态下启用去噪复用提供依据。

6、综艺欠薪2800万背后，市场步入寒冬？

Light Interaction保留文本条件和当前chunk的稠密计算，只稀疏历史视觉KV，并通过算子融合减少数据搬运。

更能说明问题的是它赢在哪里。

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

7、面对卫冕冠军 打得很好还不够 辛纳完美发挥淘汰德约 决赛迎战兹维列夫

前店：把能力，做成一套工业级方案 第三个变量，是AI生产力转化效率。

降价好理解，可token效率凭什么也翻了倍？ 答案不在模型长了多少脑子。

8、每天晨跑10公里，连续11年！普通人也这么爱跑步？

第三道槛：给 ChatGPT 补上「第一个 A」 Navos 解决了 B 端的智能体化——商品怎么表达、广告怎么投、创意怎么做。

你想想看，一台Decode节点要同时协调三十个Prefill节点，这三十台芯片还可能来自不同厂家、不同代际。

而现实已经给出了警示：OpenClaw官方技能市场ClawHub上已被查出上千个恶意Skill，仅2026年针对OpenClaw披露的CVE漏洞就超过一百三十个，凭证被窃取、数据被静默外传的事，正真实地发生在生产环境中。

行业头部玩家也在持续探索突破： Anthropic 最新发布的 Claude Science，接入 60 个科学数据库，可依托自然语言驱动多步骤科研流程； OpenAI 推出的 GeneBench-Pro，聚焦基因组学、定量生物学真实场景，专项评测 AI Agent 处理模糊数据、完成多阶段科研判断的综合能力。