首轮测试已出 如今，DeepSeek V4（GA）首轮测试demo，已经开始外流。

1、欧宝足球 也就是把可执行动作的数据生成、动作基元拆解、模拟器反馈、物理约束验证和工具调用纠错系统性地规模化，让模型不仅在语言上变强，也在可验证的科研行动中变强。

参考资料： https://x.com/maxforai/status/2078767321603342656?s=46&t=kUmE9xDZxjY1kLbL84hhYQ 编辑：Aeneas新智元报道 一名顶尖实验室的材料研究员，最无力的瞬间，从来不是想不出创新思路，而是 AI 一天推演上百种新配方，人工实验一年测不完； 最可惜的损耗，不是实验本身的失败，而是随着项目结束、人员更迭导致数据、经验、参数未能有效存留，让下次的研究需要重复起步、反复试错。欧宝足球这可不是一张太阳系的图，是一个真正运行的太阳系！ 太阳坐在正中，行星一颗颗铺开。

2、转会窗：国际米兰有意引进坎比亚索，库普梅纳斯或前往罗马

但这个反例的特殊之处恰恰在于，它是自证的：它简洁到可以手算验证，优雅和精确性让人叹服。

3、因凡蒂诺：扩军48队很成功 扩军64队？正在讨论中

四步在一个界面里完成，不用在不同软件之间来回切换。

4、第十五届“大浪杯”女装设计大赛总决赛7月31日即将启幕，佳作抢先看！

备案解决了合规问题，但从备案到产品落地之间，还有版本适配、功能裁剪、模型调优等工程环节要走完。

5、大谷22轰60打点，施瓦伯33轰联盟第一 道奇费城人决战第三场

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

它不仅找到了反例背后的结构性机制，还在指导人类如何重新定义这个问题。

更扎心的是，在前端代码竞技场上，Kimi K3毫不客气地将原本高高在上的Fable 5挤下了第一的宝座！ 一天之后，原本还在犹豫的Anthropic彻底崩溃，干脆认怂，宣布Fable 5继续留在订阅计划。

6、罗马诺：曼联已告知马赛，他们不会激活格林伍德的回购条款；世界杯之后，拉什福德将和卡里克面谈，他将随队参加季前赛

内部人士称，Gemini 3.5 Pro的开发进度已经落后了数月。

然而，在经过一系列繁琐且无效的内部沟通后，特纳做出了一个大胆的决定：直接给谷歌DeepMind CEO Demis Hassabis发私信。

7、公羊队被看好裁掉老将冲刺新赛季，辛普森或成斯塔福德唯一替补

/goal奔着终点跑，到了自己停；/loop按点反复跑，直到你喊停。

一个人类数学家会怎么处理这道题？ 他会先试那个最自然的做法，检查一遍线性代数，发现不行，然后耸耸肩，心里想一句「本来也没指望能这么容易」，起身走人。

8、哈梅内伊葬礼未完，以军发起“斩首”，普京表态，特朗普松口停火

MCP能干的，还不止喂数据。

/loop则不奔某个终点，而是按点反复跑，跑到你喊停。

这一幕绝非偶然。

9、热身赛13分，辽宁男篮4号位挖掘新人，18岁中锋首秀 姜宇星边缘化

但先别急着感动！ 就在刚刚，Anthropic发了一篇论文，把自家309,815段真实对话摊在聚光灯下，一行行数了一遍，然后发现—— 那根本不是它的性格，那只是你碰巧说对了语言。

而这一次，变了。

10、CNN记者称菲律宾船只被中方水炮袭击，菲方称中方行为咄咄逼人，中方：现场操作专业规范、无可指摘，菲方应立即停止侵权挑衅和煽宣炒作

分析发现，两张图都带着ChatGPT的SynthID隐形水印——彻头彻尾的AI生成。

生成智能构建物理世界的内在表征，物理智能掌握物理因果、推演平行世界，认知智能负责复杂逻辑推理与长程任务分解。

1、英格兰青年队酒店斗殴视频曝光 队友围观录像无人劝架

AI 创意智能体围绕「露营也能喝现磨」和「办公室三分钟咖啡自由」两个卖点，批量生成了数十组英语图文和短视频素材。

2、750分钟全勤冻结梅西登贝莱 皇马5500万签下他赚翻了

ChatGPT为啥突然需要搜索框？ 因为，它早就不只是聊天机器人了。

3、15岁便能踢曼联一线队，JJ Gabriel首度进入成年队大名单

Anthropic教育负责人Drew Bent举了个例子：让它讲「怎么构造线性函数」，它会先把对应的课标拽出来，标好学生在这一块最容易犯的那些错，再围着这些错去搭这节课。比恩佐更拉胯！阿根廷世界杯丢冠头号罪人！离谱失误坑惨全队过去大量被检测漏掉、直接混入仓库的风险，现在在编码阶段就能被拦截。

4、德尔加多好意思溜达？梭鱼湾6万多人呐喊！泰山只出不进？外援后腰或泡汤！

参考资料： https://x.com/jenny_wen/status/2076679443754475919?s=20 https://jennywen.ca/ 编辑：桃子新智元报道 【新智元导读】人类迈入全新科学时代！卡半年的弦论笔记被Claude Fable 5一晚破解，AI甚至主动写代码验证自己的预测，AI怀疑论或彻底破产。

5、U23国足主力得到荷乙邓伯什续约合同！已官宣确认，新赛季值得期待

AI这边，从只会写文案的GPT-3.5，进化到能反证数学家几十年啃不动的猜想。

6、文明培育丨大连市文明家庭创建暨家教家风建设主题活动进校园

表面看，大家都在追逐「通用机器人」；真正把几份技术路线叠在一起，却是刀光剑影。

一出道直接在小红书、B站杀疯了，获得了大量反馈，评论区全是「求上线」的呼声！ 成年人哪里做什么选择？民国恋爱、玄幻修罗场、霸道疯批、绿茶修狗……主打一个我全都要。

（图源：Ramaswamy et al., Nature Medicine, 2026） 结果是：在医生一致判定「必须马上去急诊」的那批案例里，超过一半，系统给出的建议是不用去：先在家观察，或者过几天再挂个门诊。

7、休战数周后，马丁·佩雷兹今日复出先发对阵教士

理由她后来讲得很直白：这个行业变得太快，中层管理在未来可能不再安全；一个不亲手用AI工具的管理者，很快就会失去对团队的同理心和指导力。

但科学，绝不妥协于「八成正确」，它要的是精确、可靠、可溯源—— 一个结论，必须能被验证；一条推理链，必须能被追溯；一个错误，必须能被定位和修正。

8、极限截胡！利物浦最后一搏！硬抢 9400 万世界杯无解边锋

过去这4年，ChatGPT本质上是个「会话工具」。

Ontology 主要回答： 企业世界中有什么对象； 对象之间有什么关系； 当前状态是什么； 哪些行动可以作用于这些对象。

具体做三件事。

先看一个多数人没留意的默认设置。