他还是相信雅可比猜想的正确性，甚至觉得AI会在不久之后帮助解决证明过程中的逻辑问题。

1、火狐买球 人的回忆，就是这样一种「从线索重建整体」的过程。

用他自己的话说，「在LLM出现之前，一个人在奥克兰狭小的公寓里，一年写出Bun」。火狐买球M = 6。

2、新时代·发现中国｜外媒看哈尔滨：夏日里的冰雪奇缘

四十分钟，四个议题：范式拐点、评测标准、多路线收敛，以及从Demo 到Deployment。

3、打虎！中国证监会原党委委员、副主席方星海被查

在你，到底怎么用它。

4、罚没近3000万！摩宝支付多重合规短板，牌照续展迎生死大考

技术要求需攻克多模态感知、力控插装与检测协同难题。

5、中国女排亏损21.82分！分站赛排名无缘前八，战绩6胜6负积19分

AtomWorld的真正意义，正是通过自动生成任务、标准结构与匹配反馈，为材料建模的动作数据与训练闭环提供底座，推动AI for Science从追求更大的通用模型，转向在可验证的科学操作中迭代真实行动能力。

两个企业可能同时使用同一个大模型。

这份报告没有给出答案，它只是提前摆出了问题。

6、钱再多有什么用？79岁李保田近况曝光，住处杂乱，喝10元桶装水

AT（模糊追踪，指令意图模糊或目标信息不全）：追踪率达到80.35。

闭环随之成立，世界理解拆解长程任务、评估环境，平行空间推演物理因果、演算多种策略，挑出最优动作输出，执行后再做结果评估并反馈回模型。

7、罗纳尔多：从外星人到肥罗，变了些什么？

而上图演示中这种原生上下文的能力，当前主流基于单帧反应式的VLA是做不到的。

模型可以叫停，访问可以暂停，PR可以关闭。

8、AI动态漫画｜胶东刺参上岸记_网易订阅

把OpenAI这一两年的动作连起来看： 文件上传、Projects、Memory，再到能跑几小时长任务的ChatGPT Work、直接生成网站和轻应用的Sites、把Chat／Work／Codex三合一的新桌面端，还有接连登场的GPT-5.6三档模型。

基线涵盖面向AR模型的三类后门：SFT-based、VPI（提示注入）、类RL-based（DPO）。

定时任务、编排（orchestration）、反馈循环，这些做法早就有了，Claude这次做的，更多是把它们统一命名、归拢成一套分类标准。

9、中场定乾坤：西班牙世界杯夺冠背后的足坛核心逻辑

而上图演示中这种原生上下文的能力，当前主流基于单帧反应式的VLA是做不到的。

在这个系统中，AI被分裂成了64个并发的独立智能体，组成一支科研特攻队。

10、岭南佳果畅销大江南北

DA-Nav没有让视觉语言模型直接预测连续三维坐标，而是将机器人第一视角中的道路空间划分为候选区域，让模型先在画面中判断接下来应该经过哪些位置，再由控制模块将这些空间落点转化为可执行轨迹。

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

1、CBA外援新规出炉！最多3外援，上海工资帽500万美元，成畸形联赛

本届大赛由上海市经济和信息化委员会、上海市科学技术委员会、上海市发展和改革委员会、上海市教育委员会等多部门联合指导，复旦大学、上智院联合主办，上海未来产业基金、上海未来启点社区、祖泉研究院、上海市漕河泾新兴技术开发区发展总公司、上海大模型生态发展有限公司、内蒙古电力交易中心、华为云计算技术有限公司、上海复星医药（集团）股份有限公司、新奥科技发展有限公司、中科天机气象科技有限公司、上海博物馆、湖南省博物馆等单位协办，Datawhale、知乎、魔搭社区、CSDN、InfoQ、WaytoAGI作为生态社区合作伙伴鼎力支持。

2、官宣！郭昊文将代表国王队参加夏季联赛，第三次冲击NBA

在前狼后虎的夹击下，Anthropic的下一张底牌，终于藏不住了。

3、太美医疗科技(02576.HK)7月24日耗资388.2万港元回购69.32万股

小象电动的电机凭借极高的扭矩密度，成为了这种高端消费电子的灵魂部件。"走个面儿"风波迎来结局!官方出手，为韩红洗清冤屈，终扬眉吐气对于他来说，编程这事，已经解决了。

4、高考炸出又一位“天才少女”：先高考后中考，614分被中科大锁定

模型于是写出两份东西：一份把A的理由推到极致，一份把B的理由推到极致，他再自己做那个判断。

5、广西富川县发生城市内涝汛情？当地辟谣：系外地旧闻移花接木

整个赛程里，小浣熊一直坚定押注阿根廷。

6、截至2026年7月24日的数据显示，美盘开盘前15分钟成交量处于17%分位，低于近30天平均水平，体现出开盘承接强度处于偏低区间。同时，行...

通用性和泛化性不是口号，要靠难题来证明 「通用」和「泛化」在AI行业快被说烂了。

谷歌：Gemini 3.5 Pro延期、4已预训练 在算力紧缺的时代，发布一个逻辑混乱的模型，是否也是渎职？ 有用户讽刺称，DeepMind 这种浪费算力的行为，还不如直接将资源转让给Moonshot等竞争对手。

AI竞赛下半场的主题之一，是让AI拥有身体，进入物理世界。

7、提示！独库公路这些路段双向交通管制

AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

模型推理时，不同阶段对设备的要求完全不同——Prefill疯狂吃算力；Decode极度吃通信和延迟。

8、泰山战云南前瞻：伤病潮彻底击穿阵容底线，青年军迎来绝境大考_网易订阅

文本语料的Language Scaling是知识基础，但材料建模这类强操作任务，更需要面向行动能力的Action Scaling——将「行动 — 反馈 — 纠错」全流程变成可规模化学习的对象。

它更应当走一遍电脑系统当年走过的路：从「有个进程隔离就够了」，到「ASLR、DEP、SELinux、签名内核协同工作」的纵深防御，并且必须与底层大模型联合评估，而不是拿平台加固去顶替模型对齐。

第四步，接手：你随时可以让AI的对话框完全关掉，鼠标和键盘给你，像使用真正的Word一样，自己做最后的编辑。

有前员工打了个生动的比方：「想让每个部门的领导层都朝同一个方向使劲，就像试图煮沸整个大海。