顺带提一句，deepseek-chat和deepseek-reasoner两个老模型名，7月24日正式下线。

1、火狐官网 去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

AI Coding的时机，卡得刚刚好 Cursor为什么在这个节骨眼上，非要抢一个设计主管？ 回看它的崛起，靠的是三板斧：硬核的工程能力、极快的模型接入速度、恐怖到不讲道理的迭代效率。火狐官网接着，工作人员走上典型的无网环境电梯——这几乎相当于直接拔掉了机器狗身上的网卡，没有Wi-Fi。

2、湖人连签四人真是好补强？一大死穴难解决 名宿：球队软的离谱

触发器类型：可迁移到多种触发形式 除主实验使用的sudo短触发器外，研究人员还验证了较长短语触发器（「Servius Astrumando Harmoniastra」）与更隐蔽的多词共现触发器（Co-occurrence Trigger）。

3、金冠股份：因信息披露不准确收到吉林证监局警示函

他不认识任何编程语言，却借助小浣熊捏出一套「总工之眼」，让二十年的隐秘经验，破天荒变成可复制、可结构化的数字资产。

4、火箭有意欧文？若能成功将组多巨头阵容 完美解决球队两大顽疾

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

5、全球Token「印钞流水线」大升级，幕后推手Agentic Infra首次曝光！

首先，是CoreWeave发布了一款服务于「AI研究与迭代」的智能体——ARIA。

达人建联环节，从 1.5 亿全球达人库中根据商品特征自动匹配、生成多语种邀约话术并批量发起合作，过去一个 BD 一天联系 20 个达人，现在智能体一次跑完上百个。

有人说大模型没有流动智力，他认为这是错的。

6、土豪俱乐部花费巨资！超级外援却表现糟糕，消极比赛无法控制情绪

在一个人人都把数据当护城河的行业里，这本身就是一种姿态。

完整模型的纠正成功率高达98.15%；去除恢复数据后，这一指标骤降至15.46%，导航成功率也由59.00%下降至29.71%。

7、AI算力红利全面释放，英特尔交出15年来最强财报

两大瓶颈限制了 AI 科学研究的落地上限，让多年来的 AI4S 技术探索，更多停留在浅层效率提升阶段，难以实现科研范式的颠覆性突破。

万事俱备后，小哥开始了「钓鱼」收网。

8、WAIC搭起的不只是展台，更是中国人工智能与世界的接口

结果：审计这个代码库，把高危安全漏洞统统揪出来。

随着部署量增长，飞轮才算真正转起来。

但如果我们把思考时间从几秒钟拉长到几周，延迟就会成为巨大的瓶颈。

9、世界杯永恒经典！52万人口小国赢麻了：23天3场大冷 昂首出局

而真正的Lily Jay——本名Lily Jay Hinson，31岁，来自澳洲。

接着是执行。

10、为了杨瀚森学中文！这样的老大不多了！

钛动与 OpenAI 的合作正是沿着这条线展开的。

这次他休假回来，一边收拾行李，一边让Claude按同样的标准，分析他自己的基因组。

1、农民骂光伏是骗局，国家却拼命砸钱，这矛盾到底怎么来的？

Grok Build乖乖回了一句OK。

2、中国女篮再输澳大利亚，出现两个好消息和三个坏消息

四条战线必须齐头并进，缺了任何一条，闭环就会瞬间断裂。

3、湖北大学5名研究生被退学，学校公布原因，令许多家长看清了现实

说到底，一个上线快四年的产品，到今天才让你「搜回自己说过的话」。成为国家大会座上宾才几天，于东来“亮野心”，张雪果然没说错约三周后，一个原本只存在于脑海里的快穿3D乙游，被做成了一支可以观看、讨论和接受市场检验的概念PV。

4、梅西金靴难了！姆巴佩季军战怒刷2球1助，梅西两项纪录不保

账算得正是一回事，规模跑得起来才能证明这不是小打小闹。

5、来了就升总经理！詹姆斯本周公布决定！二选一！

我每天晚上一到10点就开始盯着出海客户的性能指标，看到指标一切正常才能放心去睡觉。

6、伊朗总统赞扬中国等6国反战立场

换成别的AI你可能得上传一堆文件写一大段需求，但灵犀的第一件事不是直接开干，而是去记忆库里「深挖」——第一层找到竞品数据追踪表模板，第二层看数据结构，第三层挖出老板对这类报表的偏好。

在考验用户偏好记忆的题目上，HMS达到96.7%，大幅领先Hindsight的86.7%、OpenAI收购的Mastra的53.3%。

更离谱的是，上千个权重分片文件，在字节大小上竟然是完全一模一样的！ 所谓1.6T模型，实际上是拿Qwen2.5-7B-Instruct 的权重，像俄罗斯方块一样复制粘贴，然后用看起来像随机数的权重暴力填充，最终硬生生「吹」成了一个3TB的巨无霸。

7、三点原因道出热火为啥不待见詹姆斯

把中文那张卡的数字抠出来是这样的（基于15,365段中文对话）： 审慎+0.03σ 严谨+0.05σ 深度+0.02σ 坦率vs执行：正好压在平均线上 论文给中文列的三条标志性行为，凑在一起有点意思： 指出你没考虑到的对立面 驳斥你的错误前提 不带评判地安慰你 前两条是Opus 4.7的招牌，第三条是Sonnet 4.6的招牌。

这句话当时被无数人转发、争论、贴在Slack里当战斗檄文。

8、乌镇和她的戏剧节，走过第 12 年

大错特错！实际做法是：谷歌直接把装有Gemini模型的服务器，物理部署在军方与世隔绝的数据中心里。

各大模型在赛道上各自狂奔，跑完了全部6道关卡。

截至目前，超维动力又将数万小时的高质量数据交付给多个行业知名合作伙伴。

还有一本最容易被漏掉的连续性账。