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

1、星空体育 下一站，是物理世界 讲到这儿，都还是数字世界里的事。

编辑：LRST新智元报道 曾要4年的项目，竟被Claude Code硬生生压到两周！ 成本从300万美元，砍到十几万。星空体育作为国际知名的机器人与生物医学工程学者、加拿大工程院院士、IEEE Fellow，孙东局长深耕机器人自动化领域三十年。

2、湘潭市住房公积金结息首超2亿元

新智元报道 通付盾参加2026WAIC世界人工智能大会，成为全场焦点赛道。

3、《置身钉内》引发热议：7.5万字复盘一个钉钉AI旗舰产品ONE如何从300万日活走向解散

最后，机器狗和工作人员一起做电梯，达到另一个软网环境：地下车库。

4、大热天，杏花楼的糯叽叽又双叒火了！工作日下午也都是人！

」 体系更闭环 大赛首设并启动OPC创业孵化营 为推动世界科学智能大赛汇聚的人才与成果持续成长，上智院、祖泉研究院、上海未来产业基金、上海未来启点社区联合发起「世界科学智能大赛OPC创业孵化营」。

5、中国美术学院录取通知书里还布置了暑假作业：不少于30张速写，要求开学上交，考生收到后“不嘻嘻”，校方：仅针对部分艺术类专业

过去，卖国产显卡，大家总担心能不能用好。

」 如此看来，现在行业所感受到的「模型差、数据荒」，可能问题压根不在脑子上，而是身体的物理极限卡住了天花板。

洗衣、巡检眼下并不止大晓一家在做，但它的落点不太一样： 卖的从来不是某一款洗衣机器人或巡检机器狗，而是那颗能装进不同本体的「世界模型大脑」。

6、株洲这6家单位存在重大火灾隐患

具身智能展区两百多家公司摆开阵仗，人形机器人遍地开花。

可看过的人已经看过，抄走的代码已经抄走，历史不会倒带。

7、太扎心！41岁C罗最后世界杯留下尴尬数据：0次过人竟不及40岁门将

在这个场景里，科大讯飞针对DeepSeek、Qwen、GLM等国产主流模型，紧贴昇腾硬件特性，从最底层的算子一路做到最上层的调度。

无论你是科研人员、在校生、在职人员，还是已经启动项目的创业者，只要具备一定技术或项目基础，希望推动科研成果、算法方案或比赛项目走向产品验证和公司化，都可以提交申请。

8、肝癌大户被揪出！专家提醒：毒性是砒霜的68倍，很多家庭都在吃

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

Anthropic有条硬规矩：Claude只对18岁以上开放。

Mollick尖锐地指出，谷歌如今的挫折，完美复刻了此前Meta Llama 4和xAI Grok 4所经历的痛苦。

9、寄生虫多达6000条，粉红色“葡萄”又冒出来了

这就是最让人毛骨悚然的区别：去年AI还是帮凶，今年AI直接当了主犯。

7月13日，Anthropic对齐科学团队（Alignment Science）公开了这个实验报告《Agentic Misalignment in Summer 2026》。

10、收藏！暑期防溺水安全指南来了

未来，仍有10倍的下降空间。

在第一轮，必须探索截然不同的路径——从代数视角、结构归纳法、流场表述、嵌入法到极端参数法。

1、“你有一个跟工作无关的爱好吗？”

怎么办？ 就在今天，商汤在总部举办以「算创·无限」为主题的Agentic时代AI基础设施创新发展论坛。

2、湖人队传闻：高价引进沃克·凯斯勒，因轻松便宜的引进了东契奇

防御窗口收窄 防御工具也在加速 AISI 在报告中明确了政策信号：防御方的准备时间比去年更短。

3、文明实践丨铭记“七七事变” 厚植爱国情怀

聪明的人形大脑系统如何让 Oli 在非结构化的家庭场景连续不断地执行任务？我们看视频说话。台风逼近舟山村干部帮西瓜寻买家，阿伯也很客气给1.5元/斤批发价但在具身智能中，这条法则到了后训练阶段，却要直面更复杂的现实考验。

4、阿根廷迎利好！FIFA公布处罚决定：宽萨禁赛两场且世界杯期间执行

ABot-AgentOS多模态终身记忆 过目不忘 凭借系统级的经验反哺，机器人真正能够跨本体和跨任务做到举一反三、过目不忘。

5、苹果型显瘦的夏季穿搭，挺好看！

让一家AI巨头当众认账，再主动清空用户数据，这在AI圈还是头一回。

6、伊布用40天重塑米兰管理层，拟招揽美职联球队CEO，沙特联前总监

论文地址：https://arxiv.org/abs/2606.30755 代码地址：https://github.com/sunblaze-ucb/SafeClawArena 项目主页：https://safeclawarena.github.io/ 图 1 Claw 智能体的架构与四类攻击面。

而这，绝不是补了个搜索框那样简单：它让你的数据更值钱的了。

这条曲线，正是撑起他「下一年最强」的底气之一。

7、姆巴佩领跑！最新今年金球候选前5出炉！世界杯最后3场对决成关键

从专业程序员，跨界到产品、设计，甚至覆盖了每一个只要有想法的普通人。

八大行星、11颗卫星，全部给出J2000历元的真实轨道根数——半长轴、偏心率、倾角、升交点经度、近心点参数、平近点角。

8、5.24英超推荐：西汉姆联vs利兹联

这种结果不再是干瘪的数据，而是可以直接用于指导下游功能实验设计、甚至作为高水平论文数据支撑的「现成」科研成果。

到这里，一切都是好事。

一个「让AI自己检查自己」的动作，抵得上换一代模型。

这件事当时震动了整个数学圈。