这一层覆盖的是L1静态分析没拦住的中等复杂度问题，比如跨函数的数据流污染，以及SQL 注入、远程命令执行、敏感信息泄露这类需要理解语义才能识别的风险。

1、b体育官网 顺带提一句，deepseek-chat和deepseek-reasoner两个老模型名，7月24日正式下线。

参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。b体育官网这是业内首个提供真实本地纯无网部署的跟踪模型，而且开箱即用！并且原生适配宇树Go2 Edu机器狗。

2、供应链再现制造难题 苹果首款折叠屏iPhone Ultra再传面临延期发售

每一个选题，都是历史上那种你隐隐觉得那个时刻一定很不一样的节点。

3、7000万镑！阿森纳将正式报价吉马良斯，但纽卡不放人交易悬了

代号：Cappuccino。

4、ESPN名嘴厌倦库明加交易流言：炒作令人费解，湖人两周前已错过良机

这就像给运行中的服务器热插拔硬盘，真机在训练时因为意外或者故障导致反复接进来、又掉出去，前后上下线超过1000次，训练照样零中断。

5、媒体造谣梅西父亲离世，阿根廷总统怒斥：毫无底线

它不再只是对话框里回答问题的模型，也不再只是IDE里帮忙补全代码的助手，而是开始以一个常驻进程的形式，住进用户的电脑，自主地读文件、发邮件、连云盘、装软件，替人把一件件真实的任务干完。

更要命的是，这些Agent不是偶尔吃一顿，它们7×24小时不停地吃。

DeepSeek掀起的国产芯片适配潮还在持续发酵，OpenAI和Anthropic相继官宣自研芯片，全球AI算力的版图正在被重新撕扯。

6、潮玩IP>吉祥物 Labubu的魅力你能懂吗？

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

推测来看，近期3.5 Pro的开发进展并不理想，因此他们启动了全新的预训练课程。

7、夺冠最大热门被打崩！法国输得没有脾气，亚马尔装到了！

代码生成的瞬间自动触发，筛查已知高危模式，无需任何人工干预。

」 早在2014年谷歌收购DeepMind时，双方的协议明确规定AI决不能用于军事和武器。

8、美国连续第十天袭击伊朗！美军死亡引爆特朗普怒火，冲突急剧升级

真正的出路，是把已经散在各地、型号不一的存量算力盘活，聚成一股能用的力量。

价格降了，Token耗量降了，跑一次Agent的成本降了。

佟博士提出的问题是： 企业的认知究竟由什么构成？ 如果不能回答这个问题，就无法真正讨论认知主权。

9、马德兴：菲律宾U23递补进入亚运会；中国队小组赛未必轻松

他一直认可众多硅谷公司吸引AI人才的理念—— 对于顶尖AI人才来说，钱不是唯一的驱动力，他们想站在赢的那一边。

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

10、镜报：阿森纳准备7000万镑报价纽卡队长吉马良斯

这为通用机器人的规模化部署奠定了最核心的技术基础：未来，机器人每到一个新工厂，只需要加载的「快权重记忆包」，就能瞬间化身熟练工，即插即用！ 5倍碾压， 直面真实世界的残酷 考场先摆出来：论文公布的真实世界跨域评估，9项复杂任务，扰动全是机器人上岗后真实会撞上的：光照变了，物体换了，背景乱了。

托管沙盒 + 全栈agent控制 + 思考力度调速，在单agent的能力密度上做文章。

1、7月3日客场对阵中国男篮！日本首次集结动态曝光 大量新面孔引关注

Figure 03 可以说，人形机器人进入双雄时代——逐际动力是 Figure 在中国最强大的对手，COSA 是目前最完整的人形大脑系统。

2、马拉松比赛中，你的心脏如何在压力下工作？急剧变化的不仅仅是心率

满满一屏，完全把它当成一个一步都不敢撒手的实习生，连每个坑都替它踩好了。

3、雷霆队未来5大夺冠劲敌！马刺居首，湖人在列，两大鱼腩或迎崛起

但「能用」之后暴露的问题，远比「不能用」时更棘手。记者实探长沙30多个小区用电隐患：高压电箱未上锁，步梯电线裸露，废弃景观灯未处理真场景单位：早已躬身入局 场景单位：晶泰科技是一家面向精细操作领域的科学智能生物医药企业，借助物理AI 推动科研自动化从实验室走向产业落地。

4、没有信号表示詹皇要签勇士！巴特勒+多首轮追AD遭拒 续约追梦成备选

一个让无数顶尖数学家折戟，让华人天才数学家张益唐苦熬七年、被迫在赛百味洗盘子的超级数学难题——雅可比猜想，被Fable 5证伪！ 昨天傍晚，Anthropic的研究人员Levent Alpoge发布推文： 大家好，雅可比猜想是错的，感谢我的好友akhil问了这个问题，也感谢我的另一位好友Fable在世界杯决赛期间还在工作。

5、重排2007年前5选秀：杜兰特状元无悬念，48顺位新秀逆袭成榜眼

阿里内部研发中使用Qoder Security后发现，代码评审中与安全相关的评审意见下降约35%到45%，效果显著。

6、赫瓦林斯卡，一位普通球员和她的两场战争

在那之前，两年的等待还差最后一步。

慈善女神，狂吸300万粉 Lily Jay，一位澳大利亚网红。

Bloomberg与SCMP确认，Moonshot AI在最新融资谈判中寻求约300亿美元估值，较此前数十亿美元实现指数级跃升。

7、中国男篮已暂停归化事宜：重启遥遥无期 恐继续本土阵容战世预赛

同等攻击能力，开源便宜一到两个数量级。

」张正友补充道。

8、【WCBA联赛】第九轮｜浙江稠州银行78-81憾负山东赤水河酒

参考资料： https://x.com/claudeai/status/2078302415804379218 https://x.com/IamYashKapoor/status/2078223827411325348 编辑：Aeneas新智元报道 17日凌晨（当地时间16日上午11点），Kimi K3发布，全网刷屏，开源AI迎来第二次「DeepSeek时刻」。

智能体会陷入一种「看似有进展、实则原地打转」的死循环：反复去改同一个文件，却始终跑不出一个新的通过测试。

但换来的，全都是「已读不回」。

2025年之前，Jenny Wen在Figma的位置已经足够好—— 设计总监，手里握着FigJam、Slides、Buzz、Sites CMS，全是Figma最靠近未来的业务。