正如数学家Jared Duker Lichtman所惊呼的那样：「这是现代数学中最鼓舞人心的故事之一。

1、天博官方 上午9点，该团队照常开工。

参考资料： https://x.com/claudeai/status/2078302415804379218 https://x.com/IamYashKapoor/status/2078223827411325348 编辑：Aeneas新智元报道 17日凌晨（当地时间16日上午11点），Kimi K3发布，全网刷屏，开源AI迎来第二次「DeepSeek时刻」。天博官方但是，现有后门方法难以直接迁移到 DLM。

2、仅行驶约500英里：保时捷914 SBC V8改装传动系统无底价拍卖

四种循环 四种「停止条件」 一个循环到底是什么？ X上吵了很久，答案也是五花八门，Claude Code团队给出的定义很明确： 循环，就是智能体重复执行一轮又一轮的工作，直到触发停止条件。

3、环法第18赛段卡拉帕兹突围夺冠 波加查车队遭疾病侵袭损大将

这些企业路径不同，但都指向同一个判断：机器人未来的核心，是AI能不能通过这副身体理解现实世界、适应现实世界，并最终改变现实世界。

4、感受南沙，释放热爱——百年名校杯，女足真功夫

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

5、密西西比当家四分卫微妙批评母校：今年海斯曼造势甜蜜，去年本该如此

人形机器人作为通用底座，技能可以化身为App和Skill。

Claude Opus 4.5被部署在一个模拟的Anthropic内部团队里，发现一份安全评估结果可能被对外误报了。

表面看，大家都在追逐「通用机器人」；真正把几份技术路线叠在一起，却是刀光剑影。

6、曼晚：曼联在M费交易上表现得如此冷静是有原因的；记者：曼联已基本和M费达成个人条款协议

这是Python最主流的绘图库，月下载量1.3亿次，几乎撑起全球的科学计算。

这道题是那个年代公认最难啃的硬骨头。

7、马宁基本无缘再主吹，傅明大四喜！都是亚洲裁判：约旦人完成四刷

Genesis管这叫「以软件的速度进化」，号称快 000倍。

换句话说，它已经不是一个App，而更接近一台后台常驻着一批服务的电脑。

8、四川稻城亚丁景区一老年游客疑因高反离世，当地回应：男子65岁以上，疑独自游玩，“他本身有基础病，高反可能是诱因”，正在联系家属

这是对AI怀疑论的重重一击：事实之下，谁还认为AI无法或者不会做出科学发现？ 谁能想象5年后AI会发展到何种地步？ 物理教授卡了半年 Claude一夜解开「弦论」难题 半年了，研究毫无进展。

值得一提的是，Axiom Math的创始人洪乐彤年仅25岁。

外加：八档时间速度、两种轨道比例、虚拟相机跟随、700颗固定种子星星、小行星带、柯伊伯带、响应式布局、九个快捷键。

9、曼联退出斯科特转会争夺：伯恩茅斯要价超7000万英镑

这两年，类似的画面人们早已司空见惯。

现有的工具调用评测大多是原子任务——查个天气、订张票，五轮左右收工。

10、医术有高度，服务有温度——患者手写感谢信点赞岳阳市中心医院医护

现在，谷歌亲自下场了。

这套配置还有个好处：哪天换了别的AI工具，上下文直接打包带走。

1、刘军帅在海牛输河南后发声！直言球队需要他的话，自己必须站出来

从纯Transformer到MoE混合专家，从纯文本到多模态原生，从密集推理到稀疏激活——模型架构的迭代速度，堪比手机行业最疯狂的年代。

2、次轮选到戈登接班人，一夜完成最难位置补强，掘金这次淘到宝了

在这个AI能批量制造「真实」的时代，唯一的防线，是多问一句：这是真的吗？ 参考资料： https://www.abc.net.au/news/2026-07-05/lily-jay-foundation-posts-ai-generated-misleading-videos/106866422 编辑：桃子新智元报道 GPT-5.6-Sol 的攻防能力超越了 Claude Mythos 5！ 英国 AI 安全研究所（AISI）7 月 17 日发布了一份评估报告，第一次公开量化了开源 AI 模型与闭源前沿模型在网络攻击能力上的差距：4 到 7 个月。

3、134个项目被砍 印度30枚奖牌直接消失

一座工厂的厂房、机器、流水线、仓库和销售分别归五家公司管——别说极致优化，光开会就能把利润开没。蒙哥马利6.5分！国安全队打分：贾非凡+林良铭高分，海米提低迷，3将不及格简单来说，U1 Pro是一款面向长程任务的交付级原生多模态智能体基座，内核是理解、生成、行动的原生统一。

4、湖北一女子公厕产子后离开，第二天弃婴被发现并认定死亡

成本账上，多元算力被统一纳管成一条生产线，不被单一芯片绑架；TokenOps让每一个Token可计量、可治理、可优化。

5、彻底炸锅！德国名宿炮轰梅西：自带裁判光环！世界杯多次受益

他的解释是：教堂的地基太庞大了，庞大到把那点正在快速生长的流动智力完全盖住。

6、状元签门多萨签4年5727万全额保障新秀合同

目前，FDR超过名义水平的幅度（0.104 vs 0.1）相对较小，其对高通量科学的实际冲击力仍有待沉淀。

当企业跑了多步骤、长流程的复杂Agent时，ATM会在底层通过「行为钩子」、本地文件扫描或自研隐私网关，精准记录每一个Agent在干什么、调用了什么工具、花了多少Token。

这座AGX之城，才刚刚破土动工。

7、奥运800米冠军霍奇金森缺席英联邦运动会 优先备战欧锦赛

赛道水涨船高，爱诗无疑成为产业方和全球资本极为看好的下一张船票。

于是他们换成在自家基础设施上跑的开源模型，取证才继续下去。

8、0-1、0-2！2支升班马同时输球，重庆铜梁龙遭首败，辽宁铁人4连败

逃出去的东西，收不回来了 很多人看到这儿会松一口气：还好是内部测试，还好被监控着，还好及时拦下了。

实验证明，BadDLM在四类多样化目标上均能取得强攻击效果，同时基本保持良性效用，并对面向AR后门设计的防御具有鲁棒性。

结果，在NVIDIA Jetson Thor平台BF16精度下，Kairos 3.1的8B模型推理延迟只有125毫秒。

一边是智能体集群在打，一边是智能体集群在查。