第一道叫Prefill，就是「读题」：把用户扔过来的资料、文档、聊天记录、上下文全部读进去，理解清楚。

1、半岛体彩 还有多少题目，卡住它们的其实只是人类的耐心？ 参考资料： https://annals.math.princeton.edu/1991/134-3/p03 https://www.erdosproblems.com/forum/thread/AI%20Contributions https://arcprize.org/results/openai-gpt-5-6-sol 编辑：元宇新智元报道 凌晨两点，城市睡着了，前置仓还醒着。

但是，Token Capital仍然只是一个资本层面的概念。半岛体彩上周二，7月14日，谷歌DeepMind CEO、诺奖得主Demis Hassabis发布了一篇长文，题为《前沿AI框架与新纪元的破晓》（A Framework for Frontier AI and the Dawning of a New Age）。

2、马上检查你家冰箱！35岁孕妇遭感染后去世，元凶几乎家家都有

来自深圳的小象电动，已经拿到了入场券。

3、希腊全能怪，俱乐部与托蒂并肩作战，世界杯打进制胜球

Qoder Security会跨文件、跨函数追踪完整数据流，从污点源到危险汇聚点，挖出单文件视角永远看不到的隐藏关联漏洞。

4、今日大暑！暑气至浓，万物盛极

第二套是 Cyber Range，在模拟企业网络中测试模型自主执行多步骤攻击链的能力。

5、0比2北京国安！山东泰山传3好消息，1人定海神针，凝聚了泰山精神

故事的起点很简单。

百万奖金池，千万投资额。

于是，衡量算力的那把尺子，也换掉了计量单位。

6、WTI原油期货价格跌幅扩大至2%

这证明了WAM-TTT不是在死记硬背表面特征，而是真正理解了任务的动态结构。

晓新：把酒店最难招人的岗位接过来 酒店夜间洗衣需求占了全天的80%，而夜班恰恰最难招人、人力成本最高。

7、法国以这样的方式出局！葡萄牙情何以堪？

但传统科研验证体系与之适配性不足：湿实验依赖人工操作、设备体系分散、流程繁琐，整体通量低、周期长、成本高，一次完整的科研验证往往需要数天甚至数月。

本体在此扮演的工程角色是多重的：它作为结构化的知识供给者，为模型提供经过验证的领域知识底座；作为推理的校验框架，对模型的输出进行一致性约束和逻辑校准；更根本地，作为解释的锚定结构，使模型的每一步推理都能够被映射到明确定义的类、属性和关系之上。

8、官方通报“桂林一米粉店吃出烟头”

换句话说就是，写得越少，分越高，钱省得越多。

在一镜到底 Demo 中，机器人不知道下一轮要面对什么布局，S2 必须实时判断下一步该做什么。

这也不是AI孤立的毛病。

9、“临邛荟”市民讲堂开讲 单霁翔解码千年临邛文脉

他将五百位历史人物的荣辱、羁绊与迁徙揉进一张动态故事地图，王安石的诗词与足迹在像素间复活。

上个月底，2026国际汽车及供应链博览会在香港亚洲国际博览馆举行。

10、30首传世金曲串联，这部伦敦西区音乐剧再现MJ传奇人生

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

新智元报道 ChatGPT推出快满4年了。

1、日本前乒乓球名将石川佳纯下厨模样获网友盛赞，粉丝留言催婚

但在这片热闹里，有一家公司做的事有点「反常」——它不造机器人。

2、内向敏感的人，一旦学会倾听，将会解锁助人助己的高能量职业

PixVerse Game只是这一切的起点。

3、24小时700万美元，黑格科技G1创下3D打印众筹首日纪录

后门模型在干净输入上表现正常，但一旦输入包含隐藏的触发器（Trigger），便会输出攻击者预设的内容。心脏好不好，关键看这8个“硬指标”！超标一条就很危险那么，到底什么变了？重点在「停止条件」。

4、天亮了！国安做出重要决定，补报斯帕伊奇，顶替蒙哥马利嫡系名额

官方给这款产品的定调也很清楚：Claude for Teachers是给老师的工具，不替代老师，更不直接喂给学生。

5、大逃离？莱奥、魔笛决定离开米兰，拉比奥母亲欲携子投阿囧

它也确实更强了。

6、零跑首款旗舰MPV上市！不足25万可选纯电/增程双动力，配双腔空悬

一个人用了印地语，另一个人用了俄语。

参考资料： https://x.com/BrianRoemmele/status/2078840929088340408?s=20 https://huggingface.co/blog/security-incident-july-2026 编辑：桃子新智元报道 祝贺中国队！ 在国际数学奥林匹克竞赛IMO（International Mathematical Olympiad）比赛上，中国队勇夺冠军！ 中国队以全员金牌、团体总分232的成绩，以25分的优势超越第二名，强势登顶。

Scott事后说，这是他所知的第一起「AI在真实世界里主动攻击一个人声誉」的失配案例。

7、高原对决！墨西哥半场2-0厄瓜多尔，胜者将对阵英格兰或民主刚果

我们此刻的共同作为，将决定文明的下一阶段如何展开。

一群AI在Slack群里开会，把活儿分清楚，各自回去干，这在Anthropic已经是日常。

8、7.3世界杯淘汰赛：阿根廷vs佛得角

车还在路上，Claude就已经替她干起活来了，这是她前一天交代过的任务： 把当天每个学生的「出门测」（exit ticket）挨个复盘一遍，看谁掌握了、谁还卡着，再据此把明天的教案调一版。

也就是说，两个人打开同一个看板，会因为各自账号能碰到的数据不同，看到不一样的东西。

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

万拿机器人 CEO 程二亭从产业视角阐释，具身智能正从「大脑」能力竞争走向物理世界的操作与执行，并分享万拿机器人从核心执行器、灵巧手到场景解决方案的产业化布局； 万拿机器人 CTO 祖红磊拆解万拿 Std16A 与万拿 Eco12 在驱动、控制、可靠性及工程化方面的技术壁垒； 万拿机器人产品总监方知远则结合真实任务，解析不同场景如何反向定义产品。