今年5月OpenAI再宣布推翻一个1946年的埃尔德什几何猜想时，在公告里同步附上Noga Alon、Melanie Wood和Thomas Bloom的评价。

1、乐鱼电子 聪明的人形大脑系统如何让 Oli 在非结构化的家庭场景连续不断地执行任务？我们看视频说话。

而这个飞轮本身，正是记忆最先能服务的对象：让记忆系统自身越来越聪明。乐鱼电子研究团队先做了一次「翻译」，把Claw类智能体的每个部件对应到电脑系统里的老熟人，再看这些老熟人在系统安全里配备了什么防护，就能反推出智能体缺了哪一环： 公共市场上的技能，对应软件仓库，缺的是代码签名、审核与沙箱； 大模型的上下文窗口，对应进程地址空间，缺的是不同信任来源之间的隔离； 以明文保存的记忆文件，对应文件系统，缺的是访问控制与完整性校验；进程内插件，对应可动态加载的内核扩展，缺的是签名与权限隔离； 连接邮箱、Slack的通道，对应进程间通信，缺的是带认证的通信；网关日志，对应审计子系统，缺的是脱敏、访问控制与防篡改。

2、费德勒：澳网有信心夺冠 奥运男单金牌不是必需品

全双工技术更让AI能边说边听，在某保险公司的业务高峰期，扛住了7000路实时语音并发。

3、东观军情

一方面，谷歌有着全球最顶尖的工程师文化，这也滋生了一种「纯血统」情结。

4、记者：新月决定出售马尔科姆，他已不在小因扎吉新赛季计划中

AI 已熟练掌握高效编码、标准化解题的能力，但在未知领域的自主探索、原创科研创新上，仍存在明显短板。

5、这种东西是否应该存在？年度最具争议鞋款：运动乐福鞋Snoafer

这是业界头一回，把「看懂、生成、动手」原生做进了同一个多模态基座的底层。

他还专门录制了视频，逐帧测试Gemini 3.6 Flash在空间关系理解上的表现。

从此，具身智能从成本极高的遥操式学习，进化为通过视频，一看就能学会。

6、哟！本可拿下决胜局战胜意大利，赵勇迷信一人+3错误，葬送了胜利

效果立竿见影，环境构建成功率从16.5%飙升至57.2%，累计沉淀出覆盖12种编程语言、超10万个可运行、可验证的仓库环境。

特纳甚至提出，愿意自费从旧金山飞到伦敦，当面向他们解答方案中的任何疑问。

7、短短17天练出麒麟臂！谢泼德透露一直与KD合练 造型看齐海王欲争先发

每一个 3D 建模、每一帧动画骨骼绑定、每一条代码管线，都意味着极高的时间和资金成本。

他发现，Monolith-1.0网页端切分token的方式，与DeepSeek的Tokenizer完全匹配。

8、伊埃拉确认参加亚运会，莫拉托格鲁称辛纳温网夺冠仅发挥七成实力

7月14日，OpenAI给ChatGPT上线了一套全新的统一搜索，把你在ChatGPT里的所有东西，塞进了一个统一入口：历史聊天、项目、上传的文档、生成的图片，全部能搜。

每一帧，都是AI生成的。

章庆元今天说了一句很实在的话：每个人都需要变成超级个体，最好的方式就是配一个超级助理。

9、哈登公开喊话招募詹姆斯：克利夫兰才是你最终的归宿！

DeepSeek自研推理芯片的消息刚刚曝光、OpenAI发布了定制芯片Jalapeño、Anthropic也在接洽三星探讨自研方案——全球AI算力的格局正在经历深层洗牌。

注意，这位工程师分享的，并不是一张静态页面，而是一个能够自动更新、可交互的页面。

10、空腹运动瘦得更快？别再被忽悠了！

这是两件完全不同的事。

面向每一个普通人，团队正在做一个叫Memory Bank的产品，你的第一个「个人记忆账户」。

1、美国实施新一轮关税，外交部回应

工具链之外，大晓还做了件更大方的事：向全行业开源L5级家居类复杂任务数据集ACE-Data-0。

2、“下一个米哈游”的种子，在漕河泾被怎样种下？

这一结果揭示了BadDLM与AR后门的区别：它通过修改前向掩码过程植入后门，而非操纵下一个词的预测概率，这构成DLM特有的攻击面。

3、间谍门持续发酵！南安普顿主帅埃克特遭英足总三项违规指控

四种循环，说穿了是四种「什么时候该停」的答案：人来判、评估器来判、时间来判、事件来判。Keep野人节倒计时！三位部落酋长已就位他们把Codex Sol MAX接在一个自研的CLI工具上，专门啃那种需要极复杂计算和深度推理的活儿。

4、三星、SK海力士将与美国企业签署大额芯片供应协议

他们为什么要把自己的模型免费塞给老师，这对教室里的老师和孩子们，到底意味着什么？ 老师的一周 是被什么吃掉的？ 一位美国K-12公立老师的一周要干多少活？平均49小时。

5、亿万富翁！本赛季NBA薪资前5的球员都有谁？库里第5，老詹未上榜

第二个测试是AI表格。

6、国足三消息！亚运队陷入死亡之组，热身赛将对阵世界杯球队

运动神经（ABot-C0）：运控系统，将ABot体系的决策稳稳传导至机器人的躯体动作上。

旗舰再强，也得先落地。

如此高成本、长周期的流程，机器人最后的泛化性却不尽如人意，成为判机器人规模化部署的瓶颈。

7、连续2天泡在牌桌上！内马尔未随队出征遭狂批 回击：管好你自己吧

菲尔兹奖得主Timothy Gowers悲观又震撼地感慨：「2030年的菲尔兹数学奖，可能是最后一次颁给人类。

想让它在你关机后照跑，就用/schedule把循环搬上云。

8、国羽出征丹麦，汤尤杯揭幕战一触即发

它可不会替你做单选题，而是两头都当圣旨，当场精神分裂。

土星环和天王星环必须 分前后两次绘制 ，让行星能挡住环。

在架构端，高德从一开始切入具身智能，就不是为了造某一台特定的机器人。

done条件：且必须机器可判定，比如测试全绿，或者某个spec项被关闭； 硬上限：包括最大轮数和最大花费，专防成本失控和无限循环； 无进展检测：一旦发现它反复碰同一批文件却没有新的通过测试，就强制停下。