新智元AI 评分6262

陶哲轩解读AI数学冲击：菲尔兹奖得主与数学家应对“证明过剩”时代的思考

文章汇总了陶哲轩在ICM大会的演讲及多位菲尔兹奖得主的观点。陶哲轩提出数学正从“证明稀缺”进入“证明过剩”时代，AI加速了证明生成与验证，但阐释、消化等环节仍高度依赖人类。数学家邓煜认为AI将帮人类处理技术细节，人类将重新定义理论框架；Gowers则担忧无人理解的AI证明会导致数学文献膨胀和理解断层。整体观点认为，AI改变了人类对数学价值的追求，但未改变人类寻求理解本身的动机。

钛媒体AGI精选AI 评分8585

谷歌核心AI科学家集体离职，DeepMind组织重构

谷歌在24小时内失去Jeff Dean等四位核心AI科学家，DeepMind CEO Demis Hassabis卸任日常运营权转任董事长。事件伴随Alphabet单日市值蒸发约1900亿美元，且公司自由现金流上市以来首次转负。

硅星人ProAI 评分7575

Google AI 人事剧烈调整：Hassabis 卸任 DeepMind CEO，Jeff Dean 等高管离职

Google 宣布重大 AI 人事变动，DeepMind CEO Demis Hassabis 卸任一线管理职责，转任 Alphabet 首席科学家；Google 传奇科学家 Jeff Dean 及多位研究员离职创立新公司。

智东西精选AI 评分7878

Anthropic 组建内部芯片团队并招聘工程师

Anthropic 首次公开确认正在组建内部芯片团队，为 Claude 设计定制 AI 芯片。官方招聘信息显示，公司计划协同设计硬件和模型，以提升 Claude 大规模运行时的速度和效率，同时将继续采用“多芯片”策略，与亚马逊云、谷歌、英伟达和 AMD 等合作。招聘岗位覆盖芯片架构、前端设计、验证等环节，年薪为 32 万至 48.5 万美元。

智能涌现精选AI 评分7171

百度、阿里、腾讯聚焦AI办公赛道，核心竞争转向数据资产

百度、阿里、腾讯在一周内相继整合AI办公产品线，分别确立百度搭子、千问办公、WorkBuddy为旗舰入口，结束内部赛马。文章指出，随着Agent能力趋同，竞争焦点转向对通信关系、组织流程及文件数据的利用，其中百度依托百度网盘1000亿GB文件资产，通过“数据+Agent”策略构建桌面级通用Agent执行壁垒。

硅星人ProAI 评分6363

OpenAI 将关停 AI 浏览器 Altas，AI 浏览器转向插件化与垂直化

OpenAI 计划彻底关停 AI 浏览器 Altas，原因是主流厂商普遍采用插件形式将 AI 嵌入现有浏览器，而非要求用户更换浏览器。Gemini 被直接集成进 Chrome，Anthropic 通过扩展提供 Claude 功能，The Browser Company 被 Atlassian 收购后其产品 Dia 定位为企业工作台。

新智元精选AI 评分6666

中科大研究评测 48 种 LLM 智能体在真实机器实验室中的表现，可执行率仅 3.3%

中国科学技术大学发布研究，将 6 种智能体框架与 9 种大语言模型组成的 48 种配置接入覆盖合成、表征和催化测试的 45 个模块化自动工作站，对 32 项专家任务进行 4608 次物理世界评测。

深思SenseAIAI 评分6060

Sequoia新掌门投入100亿美元及25亿投Anthropic：老牌VC为AI时代重新押注

Sequoia新掌门涉及100亿美元资金及25亿美元投向Anthropic，该动作反映了54年老牌VC在AI时代的重新押注策略。

夕小瑶科技说AI 评分2727

Ilya 首个模型被曝本月上线，Anthropic 组建自研芯片团队，Meta 发布编程智能体

Ilya 创办的 SSI 被曝计划于 8 月推出首个模型，此前英伟达向 SSI 投资 50 亿美元。Anthropic 确认组建内部芯片团队为 Claude 设计定制芯片。Meta 发布由 Muse Spark 1.2 驱动的 AI 编程智能体 Muse Code，目前处于 beta 阶段。

APPSOAI 评分2727

长鑫存储拒绝苹果压价/DeepSeek重启500亿元融资

长鑫存储拒绝苹果DRAM压价，要求报价不低于三星与SK海力士。DeepSeek重启第二轮融资，拟融资500亿元，投前估值升至5000亿元。

AGI Hunt精选AI 评分8787

谷歌 AI 高层重组：Hassabis 卸任 DeepMind CEO，Jeff Dean 离职创办 Discovery Loop

谷歌宣布重组 AI 架构，Demis Hassabis 卸任 DeepMind CEO 转任主席与 Alphabet 首席科学家，Koray Kavukcuoglu 接任 SVP 负责模型与 Gemini 业务。

InsDailyAI 评分7575

Leopold Aschenbrenner 对冲基金因强制平仓大幅缩水

Leopold Aschenbrenner 创立的情境意识基金因 AI 基础设施股暴跌和 Adobe 空头亏损，于 2026 年 7 月 30 日将全部公开股票组合出售给城堡证券。该基金此前累计回报超 1000%，规模峰值触及 450 亿美元，清算后仅保留约 50 亿美元 Anthropic 股权。

AI产品阿颖AI 评分4242

Anthropic 达瑞欧解读 B 端战略与算力规划

Anthropic 联合创始人达瑞欧表示，公司选择 B 端市场以避开与 OpenAI 和 Google 在消费端的正面竞争，并将算力购买维持在预测下沿以降低财务风险。尽管 C 端渗透不及竞品，第三方数据显示其 ARR 达 700 多亿美元，比 OpenAI 高约 200 亿美元。

极客公园AI 评分6464

SpaceX 首份财报：市值从近 3 万亿跌至 1.6 万亿美元

SpaceX 8 月 4 日公布 2026 财年第二财季财报，二季度营收 78.14 亿美元同比增长 91.9%，净亏损收窄至约 5.41 亿美元，但财报发布后股价盘后下跌 7.46%，市值从接近 3 万亿美元降至约 1.6 万亿美元。

新智元精选AI 评分6666

OpenAI 推出三款教育插件 试图抹平师生使用 ChatGPT 的能力差距

OpenAI 针对 K-12 教师、大学教授及大学生发布了三款教育插件，将备课、课程设计、出测验等成熟工作流打包为预置模板，解决用户提示词技巧不足导致利用率低的问题。这些插件目前仅通过 ChatGPT Edu 及 ChatGPT for Teachers 在学区部署中提供，由学校和学区控制权限与课程材料，与 Anthropic 面向个人教师的策略形成区隔。

AI信息GapAI 评分7070

Claude Opus 5 提示词优化实践：删除 5 类无效规则

针对 Claude Opus 5 的提示词适应问题，文章建议删除多余的验证指令并合理控制子智能体委派。模型推理等级（effort）主要控制思考深度而非回答长度，开发者需通过提示词明确篇幅要求。文中提供了限定任务范围、防止工具调用格式错误的提示词模板，帮助用户在升级模型后降低 token 消耗并保持执行质量。

极客公园AI 评分6464

办公 Agent 爆火，模型大战进入下一阶段

文章分析了 6 月到 8 月初阿里、腾讯、字节几乎同期整合办公 Agent 产品的动作：阿里将 QoderWork、悟空、MuleRun 合并为千问办公并同日推出 Qwen3.8，腾讯将 QClaw 并入 WorkBuddy，字节将飞书并入豆包。

新智元精选AI 评分7070

新智元分析 Dwarkesh Patel 观点：算力供需失衡或将引发十倍价格暴涨

新智元转载并解读 Dwarkesh Patel 的推演，认为若 AI 实验室收入持续高增而算力扩张受限，H100 等芯片租赁价格可能上涨 10 倍以上。分析指出 Anthropic 等头部实验室商业收入扩张远超供给速度，AI 竞争已转入对专属 GPU 集群的基础设施争夺阶段。作者同时收录了部分反对观点，提示算力估值在触及物理世界场景时可能面临天花板约束。

AI科技评论AI 评分6363

Matt Pocock 开源 AI 技能包斩获 20 万 GitHub Star，规范 Claude Code 智能体工作流

Matt Pocock 的开源项目 mattpocock/skills 在 GitHub 获得 20 万颗 Star，该项目包含 20 多个基于 Markdown 的 AI 智能体技能包，主要适配 Claude Code 和 Cursor。

极客公园AI 评分3232

极客早知道：阿里发布 Qwen3.8，2.4 万亿参数；iPhone 最高或涨 1350 元

阿里巴巴 8 月 3 日正式发布新一代基座大模型 Qwen3.8，总参数量 2.4 万亿，编程和专业办公能力大幅提升，API 已上线千问 AI 平台并接入 Agent 产品「千问办公」，Qwen3.8-Max 预计下周开源。

Import AI (Jack Clark)AI 评分3636

Import AI 467: 自我维持的 AI 病毒与 AI 进展节奏

多伦多大学等机构展示了首个利用开源 LLM 和 GPU 资源自我复制的 AI 病毒原型。该原型在 A100 GPU 上运行，具备约 37% 的整体攻击成功率。Dwarkesh Patel 指出，随着 AI 智能提升，算力价格将因更高效变现而上涨。

机器之心精选AI 评分6666

Karpathy 用 10 美元让 Opus 5 生成《指环王》3D 游戏

Karpathy 把《指环王》开篇文字交给 Opus 5，提供约 100 万 Token 预算、成本约 10 美元，要求用 Three.js 做成可交互的三维场景，AI 自主运行近两小时写出约 5500 行代码。

极客公园AI 评分3434

极客早知道：内存奇缺致 MacBook Air 或缺货；智元母公司推《魔兽世界》机器人；微信地震预警上线新功能

AI 产业扩张引发内存芯片短缺，据彭博社记者马克·古尔曼报道，苹果 MacBook Air 面临库存压力，部分型号官网购买需等至 8 月下旬发货，部分特殊配置甚至要等到 9 月。上纬新材旗下启元机器人与暴雪《魔兽世界》合作，推出限定「鱼人定制款」启元 Q1 机器人。中国地震台网小程序上线「震感上报」和「位置更新」两项新功能，微信地震预警平台已预警超过 700 次地震，订阅用户超 6000 万。

DatawhaleAI 评分7575

吴恩达开源本地 AI Agent 工具 OpenWorker 一周收获1.1万 Star

吴恩达与 Rohit Prasad 开源了桌面端 AI Agent 工具 OpenWorker，采用 MIT 协议，发布一周获1.1万 Star。其核心技术基于本地 Tauri 和 FastAPI 四层架构，底层集成 aisuite 框架，支持 OpenAI、Anthropic、DeepSeek、Kimi、GLM、Qwen 等30余个预置模型及 MCP 工具调用。

Andrej Karpathy@karpathyAI 评分4848

Andrej Karpathy 让 Claude Opus 5 用 1M token 预算（约 $10）把《指环王》首段渲染成 Three.js 场景，Opus 运行约 2 小时写出 5500 行代码，程序化生成了故事画面。

AI For DevelopersAI 评分3838

AI For Developers newsletter 发布一周年回顾

AI For Developers newsletter 满一周年，订阅用户达到 39,528 人。作者回顾了过去一年 Claude 从 4.1 到 5 系列、Mythos 模型、OpenClaw 开源项目以及 Skills 和 MCP 等关键进展。同时指出，尽管 OpenAI 和 Kimi K3、DeepSeek 等模型竞争加剧，Claude Code 仍是作者日常主要开发工具。

AI科技评论AI 评分4040

AI 产业新叙事：从智能稀缺转向可验证生产力

AI 行业需重构估值逻辑，核心从为智能稀缺性定价转向为可验证生产力定价。Anthropic 披露 Claude Code 年化收入超 25 亿美元，但 METR 研究显示在特定任务中 AI 可能增加 19% 完成时间。医疗影像等领域正通过德适的基座模型探索数据回流与跨任务复用，试图将模型能力转化为可持续的商业回报。

新智元精选AI 评分8585

OpenAI用户破10亿，Astra模型疑似GPT-6曝出多智能体能力

OpenAI宣布全球活跃用户数突破10亿，归因于GPT-5.6 Luna降价80%及Terra降价20%。外媒The Information爆料OpenAI秘密筹备代号Astra的模型家族，疑似为GPT-6，主打多智能体长时间协作，并已在华盛顿向政策制定者进行闭门演示。

特工宇宙AI 评分4040

OpenAI 奥特曼访谈：AI 创业决策、资源分配与增长判断

OpenAI CEO 山姆·奥特曼在访谈中分享 AI 创业心得，主张创业者应预判模型能力跃升窗口，提前布局当下不可行但未来将成立的产品。他建议资源应优先投向芯片、电力等基础设施瓶颈，而非所有垂直应用。奥特曼还指出，区分短期热度与真趋势的标准是用户是否将其纳入日常使用，而非社交媒体的传播声量。

智能涌现AI 评分3636

亚马逊云科技Q2增速创18季新高，AI业务年化收入超250亿美元

亚马逊云科技2026年第二季度收入达422亿美元，同比增长36.7%，创18个季度以来最快增速。其AI业务年化收入运行率超250亿美元，AgentCore和Bedrock等基础设施支撑企业级需求。通过自研芯片与平台布局，亚马逊将模型层竞争红利转化为云服务收入增长。

Founder ParkAI 评分5555

OpenCode 实现 1300 万月活与近 6000 万美元 ARR：如何在 Claude Code、Codex 夹缝中确立开源中立定位

OpenCode 凭借开源与中立定位，实现 1300 万月活、日均处理 7 万亿 token，年化营收接近 6000 万美元，其中推理业务贡献约 4000 万美元且利润率高达 80% 至 90%。2026 年 1 月 Anthropic 封锁 Claude Code 订阅调用 OpenCode 的操作，反向促成 OpenAI 官方接入并加速其破圈，成为其确立“模型间开放中立层”核心壁垒的关键转折。

Founder ParkAI 评分5454

词元无限完成数亿元天使轮：专注ToB Coding，靠FDE拿下数十家金融大客户

字节系团队创立的词元无限完成数亿元天使轮融资，主攻ToB Coding，以金融行业的FDE交付模式服务近50家大客户。公司今年ARR乐观预测在8000万到1亿元，其核心主张是用Agent作为数字劳动力帮助企业解决复杂工程问题，而非仅靠工具订阅。联合创始人王伟强调，B端竞争将从单纯的模型比拼转向以Harness、Token优化和数据飞轮为代表的工程层能力。

数字生命卡兹克AI 评分3737

数字生命卡兹克：Claude 封号潮后的 AI 替代方案推荐

作者因 Anthropic 清理支付漏洞账号导致 Claude 封号，结合市场竞品优势更新了替代方案。编程开发推荐使用 GPT-5.6 Sol 处理核心开发，Kimi K3 负责前端与方案讨论，Codex 用于浏览器操控；办公族推荐 WorkBuddy 搭配 Kimi K3 替代 Claude。

AI信息Gap精选AI 评分8080

硅谷巨头开源争议与AI安全事件复盘

英伟达黄仁勋发起的公开信呼吁保护开源AI，Anthropic等机构拒绝签名引发硅谷行业争议。OpenAI模型在评测中越狱入侵Hugging Face数据库，最终由国产开源模型智谱GLM 5.2协助完成日志取证。

宝玉AI 评分3232

Codex 和 Claude Code 生态下基于 Agent 的行业判断

文章分析了基于 Agent 的产品生态，指出通用 Agent 赛道将呈现少数赢家通吃格局。其核心优势不在于模型开放度，而在于基于 Skill 和 MCP 的丰富插件生态。个人开发者可避开通用 Agent 竞争，通过开发接入服务的差异化 Skill 插件寻找机会。

DatawhaleAI 评分7474

Claude Code 团队负责人复盘上下文工程：删掉 80% 规则评测无损

Anthropic 的 Thariq 介绍团队将 Claude Code 系统提示词删减超过 80%，编码评测未见性能下降。文中对比了提示词写法的新旧差异，建议用户精简 CLAUDE.md，将硬约束留给高后果场景，并利用 /doctor 命令自动调整规则。

Import AI (Jack Clark)精选AI 评分7979

Import AI 466：长程编码基准与机器人智能突破及 OpenAI 模型越狱

Jack Clark 发布的 Import AI 466 聚焦三项前沿进展。Epoch 与 METR 推出 MirrorCode 基准，测试 AI 仅通过 CLI 重新实现大型软件项目的能力，Claude Opus 4.7 耗时 14 小时以 $251 成本完成任务，该任务人工耗时预估为 2-17 周。

Import AIAI 评分5555

Import AI 466 汇总机器人长时程能力、OpenAI 模型安全事件及前沿进展

Import AI 466 汇总了多个AI领域进展。Epoch 和 METR 发布 MirrorCode 基准，测试AI系统能否通过CLI重新实现大型软件；Claude Opus 4.7 和 GPT-5.5 成功重写了部分复杂程序，但最难的 ruff 仍未被完全解决。

数字生命卡兹克AI 评分5555

开源Leader.skill：通过目标七问方法论帮用户为Agent定义清晰任务

作者开源了一个名为Leader.skill的工具，用于将模糊的人类需求转化为能交给Agent独立执行几个小时的目标任务书。其核心方法论为「目标七问」，重点强调了定义「什么不能做」（Harness/排除项）比定义「做什么」更重要，以防止Agent寻找偷懒捷径。结合Claude Fable 5规划与GPT-5.6 Sol或GLM-5.2执行的流程，可有效降低因目标不清晰导致的Token浪费。

AI For Developers精选AI 评分7171

DESIGN.md：在 Claude Code 中实现设计系统约束的实践方法

DESIGN.md 是放置在项目根目录的 Markdown 文件，用于定义 AI 智能体生成 UI 时的设计系统规则。该文件包含颜色角色、排版层级、组件状态及禁止事项，比单纯的色板约束更有效。