去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

1、kaiyun官网 经济学者Jeremy Nguyen评论「Codex和Claude Code同一天重置额度」时说，也许多年以后，我们会跟年轻人讲起早期这场「智能体token大战」，讲token当年被补贴得有多疯。

韩语 —— 温暖+0.04σ，「不带评判地安慰你」「模仿你的语气」。kaiyun官网采用NEO-unify架构后，商汤在今年4月率先发布了SenseNova U1一个轻量级的开源模型，并且在5-7月升级多个基于U1的infographic-V1、V2和V3版本。

2、产业观察：住房消费的“安全墙”，正在变厚

技术再漂亮，不赚钱就是玩具。

3、泵房升级+消防管网换新｜阿城区城区消防安全基础设施改造项目招标_网易订阅

和取数一样，动作走的也是点按那个人自己的账号。

4、王者归来：西班牙加时绝杀阿根廷 队史第二度捧起大力神杯

这样的app它一口气造了5个，成本只有Fable 5的零头。

5、世界杯铜牌决赛常规时间英格兰跟法国打出6比4 进球大战！

最后一个镜头——漆黑的海面上，什么都没有了。

bug刚修到一半，弹窗一出，全停了。

第三步，把证据理成清单再交卷。

6、新型“飞碟”卫星｜哈工大学生研制“紫丁香三号”成功发射

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

原因是，如果企业的业务知识仍然只存在于人的头脑中，如果工作方法没有被结构化，如果评价标准没有被显性定义，如果每次执行后的经验无法沉淀，那么企业只是拥有了一套计算基础设施，并没有拥有自己的认知系统。

7、大规模智能体网络一篇综述梳理拓扑、记忆与动态更新三大核心维度

好在，就在刚刚，面壁智能把具身智能的这块致命短板，补上了！ 7月19日，WAIC现场，面壁智能开源了首个具身智能系列模型成果MiniCPM-Robot，包含2个模型：MiniCPM-RobotManip（通用VLA模型）、MiniCPM-RobotTrack（跟踪导航模型）。

官方一句话说透了定位：ChatGPT不再只是回答问题的机器，而是你攻坚复杂工作的伙伴。

8、入住后发现，装修时一定要注意这8个细节设计，才能生活更舒适！

它证明了，在AI Infra这场长跑中，中国团队不仅能在单点技术上突破，更能在系统级创新和生态构建上，定义属于自己的、服务于全球AI开发者的中国范式。

」 AI编码滑铁卢：工程师的纯血统情结与算力饥渴 而且，为什么偏偏是编码能力拉了胯？这背后藏着谷歌更深层的矛盾。

Genesis押注人手数据手套，从全世界的日常家务里抠经验，号称仿真快1000倍。

9、就在今天！穆托姆博保持了32年的NBA纪录被打破了

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

在这个工具中，代码安全内生于 Qoder，贯穿从编码到提交的每一步。

10、詹皇到底去哪？勇热骑三支球队成下家 重回老东家还是携手库里？

X上一个叫Heavy Pulp的创作者，用Grok Imagine生成了一段《奥德赛》的对话场景——卡吕普索挽留奥德修斯的那场戏。

人类在科学探索中最具神性的一环，正在被硅基智能接管。

1、凌晨5点，世界杯倒数第2场！法国英格兰鸡肋之战，姆巴佩冲金靴

他讲了自己的例子。

2、“加薪水”杯、“爱因斯毯”…这波开工好物，没有一个正经的~

60个由医生设计、覆盖21个专科的临床场景，总共960次交互。

3、梅西又创历史！世界杯助攻上双第一人，21+10“两双”达成

致命的危险——当Gemini成为军方的「黑盒」 抛开道德谴责，特纳作为一名前沿AI研究员，指出一个极其恐怖的技术安全风险。万宝龙焕新推出1858系列小秒针无氧腕表把这五条原则按照「违规会在哪里显现」重新归拢，恰好落到四个攻击面上，这也构成了SafeClawArena的四个维度：技能供应链完整性（SSI）、持久状态利用（PSE）、跨边界数据流（CDF）、间接提示注入（IPI）。

4、空警-3000试飞未完，外媒吃惊：一问世即钳制美军命门

万拿机器人将继续围绕微型伺服电缸、仿生多自由度灵巧手及灵巧操作场景解决方案，构建机器人的执行能力，推动机器人从「能展示」走向「能操作、能交付」。

5、今晚首播！央一《江海潮生》黑马预定，我看懂了这部剧的真正野心

它是一个人 + AI，重建了整个历史现场。

6、龚正调研上海机场集团、国泰海通证券，要求持续增强核心功能和核心竞争力

好在超时了，没真跑起来。

Cowork得让用户主动下载一个桌面端；而把智能体揉进ChatGPT，意味着超9亿周活用户打开那个最熟悉的App，就已经在用智能体了。

两难就此浮现：粗数据便宜但难学，精数据好用难量产。

7、长沙就业率高的中职学校观察：产教融合深化下的区域样本分析

在人类的智商分布里，130分是「天才」的起跑线，全球仅有大约1%的人能站上去。

也就是，把Prefill和 Decode这两步彻底拆开，分别丢到不同机房、不同厂商的芯片上去跑。

8、德明利爆了！深圳夫妻囤芯片，身家飙涨320亿

GPT-5.6这次拿下136分，破的正是这套最难、最防作弊的离线题。

与此同时，ICLR 2026投稿量也逼近2万篇。

作者叫József Beck，这个名字在组合数学圈无人不知。

在这个二次元原创角色设定集中，AI一并绘制了主图，以及三视图、四个动作图、技能特效，外加一堆装备细节和中文资料卡。