⌘ K
… 读取采集状态 同步中...
雷

#行业动态

今日 27 条
8月6日周四
  1. 极客公园34

    极客早知道：DeepSeek 重启第二轮融资，首例破坏 AI 模型刑案宣判

    DeepSeek 重启第二轮融资，本轮计划募资 500 亿元、投前估值约 5000 亿元，计划 8 月下旬完成签约，但部分投资机构称通道仍处暂缓状态。Anthropic 首次公开确认正组建内部半导体团队，为 Claude 设计专用芯片。北京首例破坏 AI 模型刑案宣判，九零后算法工程师王某因「删库」被判有期徒刑五年十个月，赔偿 20.4 万余元。

8月5日周三
  4. 量子位73

    微软叫停Tokenmaxxing：设AI Token预算目标，内部默认模型换为GPT-5.6

    微软从今年7月起为各业务部门设置AI Token预算目标，并将内部默认模型切换为GPT-5.6，原因是更便宜；执行副总裁Jay Parikh在内部邮件中称Tokenmaxxing不是优化目标，要求像管理其他关键资源一样管理token花费，员工可查看个人token支出，许多工程师每月花费在几百到几千美元之间。

    推荐理由：原文梳理了Tokenmaxxing从激励到收紧的完整链条，读者可理解企业为何转向按成果考核AI使用。

  5. 量子位6

    量子位招聘 AI 产业、AI 财经、AI 产品方向编辑作者

    量子位面向社招与校招开放 AI 产业、AI 财经、AI 产品三大方向的编辑、主笔、主编岗位，均为全职，工作地点北京中关村，校招接受实习且可转正。AI 产业方向覆盖芯片、AI Infra、云计算，AI 财经方向聚焦创投与财报，AI 产品方向关注应用与硬件终端落地。截至2025年，量子位微信公众号订阅用户超260万，全网用户超700万，日均阅读量200万+。

8月4日周二
  2. 量子位5

    量子位编辑作者招聘：AI产业、AI财经、AI产品三大方向全职岗位开放

    量子位面向社招和校招开放AI产业、AI财经、AI产品三大方向的编辑、主笔、主编全职岗位，工作地点北京中关村，校招接受实习且可转正。AI产业方向覆盖芯片、AI Infra、云计算，AI财经方向聚焦创投与财报，AI产品方向关注应用与硬件终端落地。简历投递至[email protected]，量子位公众号订阅用户超260万，全网用户超700万。

  3. Founder Park32

    Founder Park 发布 2026 中国 AGI 创新影响力机构 TOP 30 榜单

    Founder Park 基于商业价值、交互体验、技术能力及场景融合四个维度，发布了 2026 年度“中国 AGI 创新影响力机构 TOP 30”榜单。入选的 30 家公司与产品覆盖模型、Agent、视频生成及具身智能等领域，其中包括推出 2.8 万亿参数 K3 模型的 Kimi，以及将原生 4K 视频生成应用于好莱坞影视制作的可灵。

  5. NVIDIA Generative AI Blog38

    NVIDIA Vera Storage Benchmarks: Faster Encryption, Compression, Integrity Checking, and Recovery for AI-Native Storage

    NVIDIA 发布 Vera 存储基准测试，展示了针对 AI 原生存储的加密、压缩、完整性检查和恢复速度优势。该基准测试关注存储在智能体 AI 工作流中的作用，因为智能体在执行检索、访问持久内存、复用 KV cache 数据、执行工具和生成新结果时，存储系统需持续供应和保留驱动智能体推理循环的数据。

8月3日周一
  2. 量子位56

    智元机器人官网合伙人名单中已无首席科学家罗剑岚

    量子位发现智元机器人官网最新合伙人团队名单中已无罗剑岚的名字，其个人主页和X简介也不再提及智元，疑似已离职。罗剑岚2025年4月加入智元任首席科学家，后升任合伙人、高级副总裁，任职约1年4个月，牵头组建智元具身智能研究中心。此前2026年7月24日智元创新刚确认启动赴港上市流程，截至发稿双方均未公开宣布这一人事变动。

  3. 量子位5

    量子位编辑作者招聘：AI产业、AI财经、AI产品三大方向全职岗位开放

    量子位面向北京中关村开放AI产业、AI财经、AI产品三大方向全职编辑作者招聘，社招覆盖编辑、主笔、主编各层级，校招接受应届毕业生及可转正实习。AI产业方向聚焦芯片、AI Infra、云计算，AI财经方向跟踪创投与财报，AI产品方向关注应用与硬件终端落地。截至2025年，量子位微信公众号订阅用户超260万，全网用户超700万，日均阅读量200万+。

  5. 新智元77

    OpenAI推理模型取得数学进展，Lean验证漏洞引争议

    OpenAI发布内部推理模型，在量子并行重复定理等数学问题上取得进展，但前哥大教授Yuen指出AI证明缺乏直觉解释。同时，Lean形式化证明在验证Collatz猜想时被发现存在内核漏洞，提醒AI与机器验证需人类专家把关。

    推荐理由：事件聚焦于OpenAI在数学推理上的突破及Lean形式化验证的局限，展示了当前AI能力边界与人类理解的差异。

  6. AI科技评论48

    破壳机器人完成亿美元级融资：聚焦机器人操作能力

    通用具身智能公司破壳机器人（PokeBot）近日完成亿美元级 Pre-A 轮融资，由顺为资本与经纬创投领投。破壳创始人许华哲是清华大学助理教授，该公司成立于 2026 年 4 月，致力于解决机器人“操作”难题。破壳提出了 WAM×RL×DATA 飞轮体系，旨在通过世界动作模型、全链路真机强化学习和高质量真实世界数据，建立能理解物理规律、持续学习并迁移复用能力的通用具身智能系统。

  7. 极客公园34

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

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

8月2日周日
  1. 新智元93

    OpenAI Astra 模型攻克 10 个数学难题并获 Lean 4 验证

    OpenAI 下一代模型 Astra 在涉及群论、编码理论等 10 个数学难题上取得突破，包括构造非 sofic 群及突破高维球体堆积界限，相关证明已通过 Lean 4 形式化验证。

    推荐理由：文章梳理了OpenAI Astra模型在十个数学难题上的突破及Lean 4验证，读者可评估AI推理能力在纯数学研究中的实际进展。

8月1日周六
  2. 新智元85

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

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

    推荐理由：材料将十亿用户里程碑与降价策略及Astra多智能体架构计划结合，为观察OpenAI商业化与监管路径提供了具体交叉视角。

  3. 新智元72

    OpenAI 启动学术研究员计划：向全球 10 万名科学家免费开放 GPT-5.6 全家桶

    OpenAI 正式启动「ChatGPT for Academic Researchers」计划，向全球 10 万名科学家、数学家和工程师免费提供前沿模型访问权。入选者将获得 GPT-5.6 全家桶（Terra、Luna、Sol）的使用权，并享受更高额度与上下文窗口。数据表明，arXiv 数学类论文中致谢 ChatGPT 的论文数在半年内从 14 篇激增至 100 篇。

    推荐理由：原文记录了OpenAI启动学术研究员计划并向10万科学家开放GPT-5.6全家桶，展示了AI如何切入科研核心环节并改变工作模式。

7月31日周五
  1. 特工宇宙40

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

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

  4. Founder Park55

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

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

7月30日周四
  3. Founder Park54

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

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

7月29日周三
  2. AI信息Gap80

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

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

    推荐理由：原文串联了巨头争议与模型安全事件，展示了开源模型在闭源系统失效时的实际替代价值。

7月28日周二