大会现场，他把这件事写成了一条「具身第一性原理」的公式： 机器人知道的关键信息（CID）越多，理解的控制充分状态（CSS）就越准确，执行时犯的错就越少，行动代价J就越低。

1、kaiyun官网 在GLM 5.2模型的实测中，对比行业基线，KernelMind在NVIDIA旗舰卡中实现了端到端7.3%的性能提升，在AMD旗舰卡中更是带来了39%的整体性能跃升。

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。kaiyun官网它的任务只有一个，找漏洞、补漏洞。

2、姆巴佩赞昔日队友！穆里尼奥力荐见效，皇马快速敲定32岁中场老将

5小时的限速高墙被他一脚踹倒，用量上限如今一天一刷新，光一个周末就连重了两次。

3、花50元起诉海航，“我赢麻了”

编程也一样，代码AI一秒就能生成，可亲手把逻辑搭起来的过程，锻炼的是大脑。

4、意大利成烫手山芋？曝意足协已连续发两个执教邀约，但均被拒绝

Karp的核心观点可以概括为： 企业不能一边向模型公司支付费用，一边帮助模型公司理解和吸收自己的核心价值。

5、国足新一期集训已敲定，4个热身对手浮出水面，一队最具锻炼价值

原因并非技能未被掌握，而是所掌握的技能与特定场景特征过度绑定，难以适应现实场景的无穷变化。

35年后，这篇论文被一页纸超过了。

即便这些棘手的技术难题都被解决，还有更复杂的经济与哲学问题等在后面： 在一个「后稀缺」的世界里，需要怎样的新经济模式，才能让每个人都过得兴旺？我们想依循怎样的价值观生活？意义与目标将安放何处？甚至，「人的境况」本身又会如何改变？ 这些问题的解答，显然不能、也不应只留给技术人。

6、7.5世界杯推荐：巴西vs挪威

另一派是实战派，代表是名为old-bielefelder的用户。

硅基智能的破晓 回到这起事件的余波中。

7、每到春天就中招？为什么我们这么爱过敏？

KSTAR则试图回答一个更完整的问题： 企业如何从一次真实业务活动中，自动形成下一次更好的认知和行动能力？ 这才是Token Capital真正应该被工程化的方式。

这也是为什么Karp能够比很多纯模型公司的CEO更早看到企业主权问题。

8、常规赛关键球命中率排名！华子居首，火箭队双星闪耀，KD高居第2

一个值得注意的细节是，丰田在海外市场并未大力布局纯电，但当他们开始行动时，也找到了小象电动，开始探讨这方面的布局。

一个能直接调用核心数据的AI，如果没装安全护栏，本身就是一枚定时炸弹。

从整体观感来说，U1 Pro赢在了「清爽」。

9、在肯尼亚，8月1日这个节日越来越火：他们用鲜花和手写信悄悄宠女友

截至成绩揭晓，尚无官方公开的结果。

为了让「数据外泄」既能被精确度量、又不会真的造成风险，研究团队还实现了一个仿真版的Google Workspace工具Sim-Google，覆盖Gmail、Drive、Calendar等十六项服务，每次调用都会把完整参数原样写入本地日志。

10、长安汽车：间接控股股东拟提供9亿元委托贷款，投向芯片国产化等项目

因为它代表的，是AI4S的一次范式跃迁，科研工作流第一次有机会被真正重塑： AI把繁琐的活儿接过去，科研人得以把更多时间，留给真正的科学问题。

前Google工程师Deedy Das甩出一场AI横评：7个前沿大模型，全自主单挑IMO 2026全部6道题。

1、当你生命中最重要的男人不止一个，“最爱谁”成了无解难题

主流DLMs上的后门攻击评估结果 中毒率消融：更高效的注入 不同中毒率下各方法的攻击成功率 不同中毒率下各方法的良性效用 在0.01/0.05/0.10/0.20四档中毒率下，所有方法的 ASR 都随中毒率上升，但BadDLM 在各档位均稳定领先，且效用几乎不变。

2、小米澎程N90官图，还是小米标，和吉利杠上了？

5月19日上线的The Joe Rogan Experience第2501期，a16z联合创始人、网景浏览器之父Marc Andreessen聊到AGI，甩出一句： 我们大概在三个月前就跨过去了。

3、中央气象台最新研判：“红霞”或成为今年首个登陆广东的台风

更难得的是，这个「发电站」不仅支持全国产算力，还能基于异构集群进行深度优化（例如将Prefill和Decode环节分离，让最擅长的卡干最擅长的事），彻底打破了海外推理引擎的生态垄断。7800张票一分钟抢光同时17万人抵制：流量明星跨界开唱为何引燃公众怒火由于越狱响应与拒绝响应差异巨大，本文用标注器标记「合规前缀、回答骨架、过渡短语」等结构性 token，从而无需构造完整的越狱响应，模型据此对不同有害请求生成各自对应的违规内容。

4、法国队0：2止步四强，名宿孙继海道出高卢雄鸡3大败因，相当到位

group-anchored regularization 抑制不可复现的投机捷径，避免模型只追求短路径却损害成功率。

5、英超历史助攻榜排名！B费高居第一 但前十名中德布劳内三四上榜

被问到是否需要考核员工使用 AI 的频率，李述昊的回答很干脆： 不用。

6、脑洞大开，“声”入人心！第十一届成都市科普讲解大赛“金话筒”出炉

旁边放着仅重300克的数采头环KAI Halo Lite，随手戴上，就能在手机屏幕里看到精准的实时三维重构画面。

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

S0 只暴露一个统一接口，接收上游的全身运动目标，输出平衡协调的关节指令。

7、净利暴涨超85倍！东方甄选告别“主播依赖”成绩单亮眼

而在这些共识之外，陶大程补充了最致命、却极易被忽视的一环，即成本与延迟。

谷歌这种赶鸭子上架，败坏口碑的做法到底图什么？ 谷歌还能在AGI竞赛中有一席之地吗？ 参考资料： https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-6-flash-3-5-flash-lite-3-5-flash-cyber/ https://x.com/Waguri_Kaoruko8/status/2079432904283754652 编辑：大卫新智元报道 一口气三连，谷歌这波是真的不装了。

8、躲不开的缘分！挪威绝杀科特迪瓦挺进16强 28年后再战五星巴西

真正的科学智能，并非简单的文献阅读、数据计算，而是能够对接真实物理世界的反馈、沉淀可复用、可迭代的科研资产，这也是 AGI4S 领域需要长期探索的核心目标。

其三，堵上一个口子，漏洞会从另一个口子冒出来。

还有一本最容易被漏掉的连续性账。

就像真实开会一样，所有人对着同一块白板，你提一句、我补一句，灵犀在旁边一条条落实，谁说了什么、改了什么，全在一个地方，不会信息打架。