数百万穆斯林把她当成偶像，掏出真金白银，支持她「行善天下」。

1、星空体彩 参考资料： https://x.com/eknight/status/2075643450196971805 https://x.com/SebastienBubeck/status/2075596982622835006?s=20 编辑：Aeneas新智元报道 这个月刚过半，AI圈就已经卷出天际了！ Fable 5、GPT-5.6全量开放，Grok 4.5逼平Opus级，Meta下一代Muse Spark重返赛场。

然而，Opus 4.8早已被GPT-5.6踩在了脚上。星空体彩他还在X演示自己的循环：让Codex每5分钟醒一次，自动维护代码仓库、分派任务，部分工作全自主落地。

2、杨明洋：我会说几门语言，包括中英法德，常用法语和蹇韬对话

我以为到现在，它早该变了。

3、正式确定！上海海港签约2名强援，亚冠专属外援，具体细节曝光

历经17.4小时鏖战，花费31美元。

4、DeepSeek过了算力的河，美团LongCat正在弯腰造船

数学家Lichtman惊呼，希望能看到顶尖代数学家对GPT提出的新猜想作何反应。

5、TA：切尔西与达拉斯达成协议，15岁小将弗劳尔斯在成年后加盟

拥有115个自由度的全尺寸人形机器人KAIBot，正自主迈步走到观众面前。

第67届国际数学奥林匹克正式落幕，中国队以232分斩获桂冠。

点击进入后，整个UI质感和视觉表现非常震撼。

6、四连败的山东男篮目标赢得季后赛

Token按量卖是收入，每一分技术优化省下的成本，不用降价让利，直接沉淀成毛利；省得越狠，赚得越多。

要坚持「产业出题、科技答题」。

7、值得「纯」爱_网易订阅

它接入了一个叫Learning Commons的系统，拿到全美50个州的学术标准，以及每条标准底下更细的能力点、学生通常的学习顺序。

在分析层面，它提供了一套完备的概念框架来描述模型所处理信息的结构化形态——我们可以追问一个陈述中是否隐含了「实体与偶性」的归属、「因果性」的判断或「模态」的承诺，从而系统描述模型构建了何种知识结构，而非笼统地说「模型似乎理解了因果关系」。

8、央视报道：伊朗击毁12架美军战机，大批美军被转移，特朗普求帮手

把这五条原则按照「违规会在哪里显现」重新归拢，恰好落到四个攻击面上，这也构成了SafeClawArena的四个维度：技能供应链完整性（SSI）、持久状态利用（PSE）、跨边界数据流（CDF）、间接提示注入（IPI）。

灵犀生成的PPTX、DOCX、XLSX，打开就能编辑、公式在、引用能追、格式完整。

分工口诀就三句：有明确终点，用/goal；按周期重复，用/loop；要一直跑到某个条件达成，两个叠着用。

9、31岁前中超冠军与球迷互喷！回应：我被冷烟花砸 但没说脏话骂人

它接收地图提供的全局方向，结合机器人第一视角判断下一步应该经过的位置，并在执行偏差发生后主动恢复。

奥特曼口中，「有史以来最出色的12个月」，到底押的是什么？ 全网第一反应几乎是同一个：GPT-6是不是要来了？ 几天内 新增了300万活跃用户 「关掉推特，赶快去忙正事」！ 与奥特曼的推文遥相呼应的，是OpenAI的Codex负责人Tibo，在16日甩出的一个900万活跃用户的新数字。

10、比喝油还长胖的4类食物！看完你还敢吃吗！

实际上，模型公司的智能不等于企业的智能。

编程也一样，代码AI一秒就能生成，可亲手把逻辑搭起来的过程，锻炼的是大脑。

1、港股风向标｜资金面观望恒指交投萎靡 外围风险情绪进一步发酵

同一高层导航策略在没有使用真实世界数据进行微调的情况下，被部署到四足机器人和人形机器人，并完成超过1200米的真实环境导航验证。

2、起底直播间「霸王契约」，「巴图们」在收割谁？

更能说明问题的是它赢在哪里。

3、世界杯结束了，中国队还有机会进世界杯吗？答案是，有，而且很快

比如在生产层，通过软件优化支持FP4格式，在使用DeepSeek等模型时，原本需要4台机器的显存，现在1台机器就能搞定，直接为企业节省了75%的成本。超1万AI智能体统统下架？智能时代，为什么越来越多人爱上AI伴侣它更关键的贡献在于：将长程导航从「路径生成问题」，推进为「持续执行问题」。

4、男篮打回奥运无望？曝归化项目已暂停 唯李凯尔能接受召唤

一个放得下办公桌的盒子，能跑70B到150B参数大模型的原生推理，能基于分布式架构实现多智能体（Multi-Agents）并行计算与智能调度，还能通过2×10G RDMA多机级联，攒出一个桌面集群。

5、Love！Love！Love！APEC嘉宾薛珍纳：成都正成为未来产业重要枢纽

从技术解法走向创业项目 7月18日—8月8日为报名时间 8月29日正式开营 第四届大赛一二三等奖及优胜奖获奖团队， 可解锁OPC创业孵化绿色直通面试， 快来看看那些团队榜上有名吧！新智元报道 过去两年，AI智能体（Agent）完成了一次身份转变。

6、京喜小店2026年中成绩单出炉 订单量及新开店商家同比增长60%

此外，「模速空间」大模型创新生态社区、上海漕河泾新兴技术开发区及上海青浦国科创智经济发展（集团）有限公司，还将联合为大赛优秀项目提供产业孵化园区场地支持，助力团队就地落地发展。

有人网友提出了一个深刻的问题：「并行TTC确实发挥了作用，但没有说出口的问题是：64个独立搜索的质量，能否等同于一个漫长而连续的单线深度推理逻辑链？广度和深度并不总是可以互换的。

PixVerse Game的思路，是一套把实时世界模型、抽象游戏机制和智能体编排放进同一闭环的实验系统。

7、iPhone 18 Pro 系列起售价要涨上千元？？？

瞄准出线框，按住左键出进度条，挖碎了掉碎屑粒子。

它让单一模型具备了处理多类科学任务的能力，并能输出符合专业规范、高度可验证的成果。

8、印尼公开赛：25秒“计时器系统”首次在1000赛测试

那么问题来了，通用LLM已经这么强了，为什么还要单做「科学基础模型」？ 答案，藏在一个根本的错位里。

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

」 参考资料： https://turntrout.com/why-i-left-google-deepmind 编辑：Aeneas新智元报道 7月17日，上海，黄浦江畔，夏风滚烫。

去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。