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

1、博亚平台 【GDPS意向赛队·扫码报名】 长按识别小程序码 · 瓜分百万奖金池 · 赛队征集窗口限时开放 赛队征集咨询 张老师：13301889120 落地即参赛：全球队伍，东方集结！ 本次大赛重磅开设东方枢纽国际赛区。

这是一个非常「工程师」的选择：把最贵的资源（真机时间）留给最值钱的时刻。博亚平台第三步，Token量跑起来了。

2、当我们谈论AI时，我们在谈论什么

本体是AI可解释性的「钥匙」。

3、放弃985上岸“三非”高校电气工程，网友“建议”开学转专业：土木工程才是王牌

这说明模型层的对齐在生效时，仍是有价值的最后一道防线，只是它替代不了架构层本该承担的工作。

4、普华永道中国成立人工智能研究院 首发智能机器人产业白皮书

这是这个时代绕不开的背景音。

5、Tomi Lahren：“有些人在破新闻，有些人在因新闻崩溃” 回击Jemele Hill

定性对比：少走弯路，轨迹更直接 在随机采样的LIBERO任务中，Baseline往往出现冗余纠错动作和目标附近的hesitation/jittering；PolicyTrim的轨迹更平滑、更直接，能够用更少物理步骤完成同一任务，通常能将物理步数压缩至原来的一半左右。

COSA 相关三层系统 S2 是认知层，频率约 1 Hz。

出海方面有两个样板：香港是跳板——杨帆直接说，「香港是中国未来Token出海的行业实验场」，计划于2030年前形成40,000P+算力规模，打造全港最大国产智算中心。

6、Xbox云游戏广告版开启测试 免费玩游戏但要看广告

下面这款「割绳子」经典游戏，也由V4一次跑出来的。

安全这块：每个Artifact默认只对作者自己可见，想分享才分享，而且只有组织内认证过的成员能看，做不成公开页面，管理员那头还能统一管权限、设保留策略。

7、从义乌小商品到脑机前沿科技，上海暑期学校国际学生“浙”里研学感知中国产业升级

第二步，按需换钥匙，找完了还要回头自查。

Fable 5发布后，一份在X上流传很广的教程，作者实测3周后称：大多数人像用普通Claude那样用Fable 5，等于白白浪费了它真正值得付费的东西。

8、失控暴怒！阿根廷铁腰锁喉+推人原因曝光：西班牙球员先唱歌挑衅

他说这些题在网站上标着open，只意味着他本人不知道有哪篇论文解决过它。

只有安全可信，智能体才能规模化地创造价值。

他的方法论叫「数据达尔文主义」：不预判哪个市场好，全球都推，数据最好的就是答案。

9、马拉松追求破三，何罪之有

AI数学撞墙了吗？ Bloom那条帖子底下的论战，也很精彩。

评论区直接疯了，被吹成「AI电影的iPhone时刻」。

10、国际体育诚信机构发预警：美加墨世界杯7场比赛有被操纵嫌疑

科研智能体的新赛道 AtomWorld的核心价值，不止于定位模型失效，更在于把 「材料智能体不会建模」 这个模糊痛点，拆解成一系列可测量、可追踪的原子操作能力 —— 从基础元素替换到空间区域判定，再到连续几何理解，逐层厘清失效类型、程度与规模增益规律。

这次谷歌步子迈大了。

1、跟着无限玩家，在中轴线读懂北京的 “前世今生”

AtomWorld的真正意义，正是通过自动生成任务、标准结构与匹配反馈，为材料建模的动作数据与训练闭环提供底座，推动AI for Science从追求更大的通用模型，转向在可验证的科学操作中迭代真实行动能力。

2、今日入伏！除了开空调，还能做点啥？

这条视频在72小时内突破240万播放。

3、山东女子学院与韩国建国大学首尔校区韩国留学本科定向培养班招生简章

不是代替老师 是把老师还给学生 先说清一件事： Claude接管的，是复盘出门测、调明天教案这类重复活，不是「每天定点把所有作业批完」，自动评分也只到练习题这一层。4-0到6-4！世界杯季军战变全明星赛创纪录 英格兰60年最佳战绩除了选择自研的钛极模型，你也可以选择其他主流模型。

4、《坦克世界：征程》ChinaJoy首开试玩，载具射击融合特工技能，无限复活降门槛

上海AI实验室主任、首席科学家周伯文认为，这种能力差距的核心，是当前大模型普遍缺失科学元认知： 它能精准调用海量已知知识，却无法识别知识的边界； 能生成看似自洽的推演结论，却不会自主提出可证伪的科学假设； 能基于文本做概率拟合，却无法在真实世界的反馈中修正、重构自身认知。

5、铂科新材49岁总经理周后强曾任职富士康，加入公司后从研发部门主管做起

特纳成功约到了Jeff Dean共进午餐。

6、直冲37℃！“巴威”刚过去，绍兴高温接档！新台风预警

物理AI，已经临近 圆桌结束了，但争论远未停止。

这让逐际动力不必在「谁的单一模型更大」上打军备竞赛，而是在「谁的系统更完善」这条差异化赛道上竞争。

Gemini Diffusion、SEED Diffusion以及LLaDA、Dream等开源模型的出现，使其受到学界与工业界的广泛关注。

7、中国援坦桑尼亚医疗队在当地开展中医培训

相机轨迹告诉系统当前是探索还是回访；局部动态告诉系统时间上下文该长还是短；历史可靠性决定空间记忆能否参与生成；去噪稳定性决定哪些计算可以复用。

经过几十年的攻防迭代，电脑系统早已把进程隔离、最小权限、代码签名、访问控制这些防护做成了标配；可智能体这一侧，这些机制几乎一样都没有。

8、最新

正如夏立雪在现场说的：「让智能无所不能，是AGI，而让智能无处不在，是AGI Infra。

AI 消除在简单背景下尚可，遇到复杂场景就露出阴影残留、边缘模糊和纹理断裂。

OpenAI一度把五小时窗口的使用限制临时放开，来接住汹涌而来的调用量。

一个更大的、足以改变人类历史走向的阴谋正在酝酿。