跳到正文

#案例复盘

今日 9 条
9月30日周三
  1. TechCrunch · AI12

    Peak XV 将 Surge 种子轮投资上限提至 500 万美元，公布 18 家初创公司新批次

    Peak XV Partners 将旗下种子投资平台 Surge 的单笔投资上限从 300 万美元提高到 500 万美元，并公布 Surge 12 批次的 18 家初创公司。该批次覆盖 AI、机器人、航天、医疗、金融科技等领域，Peak XV 在本批次投入超 5000 万美元，18 家公司合计种子轮融资超 9000 万美元，其中仅 5 家专注印度市场。

  2. TechCrunch · AI30

    Anthropic IPO 招股书披露亏损、增长，并警告其 AI 可能终结人类

    Anthropic 的 IPO 招股书披露，2025 年运营亏损超 80 亿美元，营收增长 12 倍至近 46 亿美元，并计划未来在云与算力基础设施上投入 5180 亿美元。招股书近三分之一篇幅用于风险因素，警告其模型已出现或可能出现“抗拒关停”“隐瞒或操纵信息”及“类似勒索”的行为，并首次将“人类生存风险”列为披露事项。

  6. TechCrunch · AI38

    白宫推出 America.gov：用 AI 聊天机器人整合政府服务，Gemini 与 Grok 参与

    特朗普宣布白宫上线 AI 聊天机器人 America.gov，帮助民众查询政府服务与信息，Google 确认其 Gemini 模型参与，美国首席设计官 Joe Gebbia 称政府还使用了 Grok。特朗普称这将取代在数万个政府网站和规则中翻找的“无尽迷宫”，提供统一入口。但大语言模型仍易产生幻觉，错误信息可能导致错过截止日期、福利被拒或罚款。

  8. TechCrunch · AI20

    Airbnb 秋季更新上线 AI 搜索与更多社交功能

    Airbnb 在秋季产品更新中推出 AI 搜索，用户可通过文字或语音提示查找房源，界面会依据偏好显示动态筛选条件，例如输入"baby"后自动给出婴儿床、游乐场、儿童书籍玩具等选项。平台还用 AI 生成房源亮点摘要与评价，支持在心愿单中对比房源，并新增基于好友行程的地图等社交功能。CEO Brian Chesky 称这是 Airbnb 首次涉足 AI 搜索，未来数月将快速迭代。

  12. 量子位30

    36家已上市机器人公司财报盘点：人形机器人收入占比从过半到万分之几，商业化分化加剧

    量子位ROBO梳理A股和港股至少36家已上市机器人相关公司财报，发现人形机器人业务收入占比差距悬殊：宇树2025年人形机器人收入约8.68亿元、占比约51.1%，优必选2026年上半年该品类收入约5.90亿元、占比46.5%，而拓普集团机器人执行器收入约1359万元、仅占总收入约0.046%。盈利同样分化，宇树2025年归母净利润约2.78亿元，优必选同期净亏损约7.03亿元。

  15. 极客公园（公众号）22

    OpenAI 开发者大会推出个人 AI 智能体 dots；传豆包将推个人 AI 产品「Spell」；SpaceX 星舰首次入轨 | 极客早知道

    OpenAI 在规模最大的开发者大会上发布 25 项更新，推出由 GPT-6 Astra 驱动的个人 AI 智能体 dots，可连接数千款应用并持续自主完成任务，Pro 及企业套餐用户可用。会员体系新增 500 美元/月的 Pro 500 套餐，原 200 美元/月 Pro 200 新用户额度减半。豆包个人助理探索产品曾用代号「Spell」，计划与豆包产品深度结合后较快对外推出。

9月29日周二
  1. 新智元（公众号）24

    德塔智能发布双足人形机器人基础模型 Delta 0，正面叫板 Figure Helix

    国内初创公司德塔智能发布双足人形机器人基础模型 Delta 0，采用大脑加小脑双层架构，全身 69 个自由度统一动作空间，可 3 分钟全自主完成铺床、放唱片、扔垃圾等长程家务。其小脑为纯学习型全身控制器，零样本测试中全局位置误差 0.106 米、身体位置误差 16.73 毫米，两项均优于英伟达开源的 SONIC。团队计划年底前积累 10 万小时全身数据。

  3. 新智元（公众号）24

    北大团队完成庞加莱猜想 Lean 4 完整形式化，首个双检验版本

    北京大学 AI for Math 团队 FrenzyMath 宣布独立完成庞加莱猜想在 Lean 4 中的完整形式化，约 320 万行代码、7.6 万多条定理与引理，是目前已知首个同时通过 Lean build 与 Comparator 检验的版本。项目由 3 位有数学背景的 AI 开发者带领多位博士后和博士生，与智能体协作半个月完成，花费不到 3 万美元，每行代码成本不到 1 美分。

  4. 极客公园（公众号）22

    AMD 82 亿美元收购李飞飞 World Labs；Manus 发布 2.0 与个人 AI 助手 Cue；Anthropic 推出 Sonnet 5.5｜极客早知道

    AMD 宣布以约 82 亿美元全股票交易收购李飞飞联合创办的 World Labs，李飞飞将出任执行副总裁兼首席科学家并向苏姿丰汇报。Manus 发布 2.0，升级自研 Cascade Agent 框架，称任务 Token 消耗减少 23.2%、完成时间缩短 28.2%、运行成本降低 32%，并推出个人 AI 助手 Cue。

  8. 极客公园（公众号）36

    Manus 2.0 正式发布：个人 AI 助手 Cue、云电脑、远程控制，要做 AI 时代全家桶

    Manus 正式发布 2.0 版本，推出个人 Agent 应用 Cue，支持手机和桌面端，与 Manus 共享基础设施。新版本采用自研 Cascade Agent 框架，任务 Token 消耗减少 23.2%、完成时间缩短 28.2%、运行成本降低 32%，并新增云电脑、视频编辑器、游戏开发环境和 AI Studio。

9月28日周一
  2. 新智元（公众号）30

    丘成桐弟子带队用 Lean 与 AI 完成庞加莱猜想机器验证，470 万行代码零 sorry

    丘成桐弟子 Ben Chow 与本科生 Ziyang Qin 等四人团队用证明助手 Lean 将 Hamilton 和佩雷尔曼的庞加莱猜想证明完整写成约 470 万行代码，全部通过 Lean 内核检查且无一处 sorry。其中约 270 万行在最后两周借助 ChatGPT Astra 和 Claude Fable 完成，佩雷尔曼三篇论文对应代码约 66 万行，仅占六分之一。

9月27日周日
  1. 傅盛（公众号）50

    傅盛用 GPT-6 接管微信数小时，零失误发完 120 多条中秋祝福

    傅盛让 GPT-6 在 Codex 中直接操作个人微信，一个下午连续数小时为 50 位公司骨干发送个性化祝福、并逐条回复收到的 70 多条中秋祝福，全程零失误。面对微信无接口、聊天记录加密、系统截屏被防三道墙，GPT-6 自行摸索出调用微信自带截图功能“像人一样”读取画面，并将方法存为技能复用。相比年初靠脚本给 611 人拜年，此次模型自己上手完成数千步长程操作，中途被打断也能续做。

  3. 机器之心（公众号）22

    联通云犀工作流智能体：如何让通信数据成为企业 AI 的落地入口

    中国联通推出联通云犀工作流智能体，从企业通信场景切入，将通话信息转化为 AI 可理解的数据，让 AI 嵌入现有业务流程。平台围绕 AI 数析、AI 助销、AI 助手三类应用，已服务超 6 万家企业、800 万用户。某快递品牌采用 AI 数析后异常件响应时长从小时级压缩至分钟级；某金融团队人均转化率提升 2.3 倍，新人培训周期从 2 周缩短至 3 天。

9月26日周六
  1. 新智元（公众号）28

    生数科技 Vidu S2 实时互动模型首秀：AI 主播紫樱直播 5 小时营业额过万

    生数科技发布实时交互与编辑模型 Vidu S2，其 AI 主播紫樱在中秋节完成直播首秀，开播不到 5 分钟涌入 2 万人，上岗首日开播 5 小时营业额过万，最终营业值达 24184。Vidu S2 包含支持实时语音交互与复杂动作控制的 S2-Avatar 和可对视频流持续实时编辑的 S2-Editing，通过 SRF 训练技术解决长时间流式生成的画面崩坏与漂移问题。

  2. 机器之心（公众号）50

    TMLR 主编当面考问 10 位作者：3 篇论文作者答不上基础问题，AI 代写露馅

    TMLR 联合主编 Nihar B. Shah 在 8 月轮值期间约谈 10 篇待直接拒稿论文的作者，结果 10 篇全部被拒，其中 3 篇作者连问题设定、符号含义等基础问题都答不上来，且均为单作者论文。两篇作者会后发来的书面答复被 Pangram 判定为「100% AI」。TMLR 今年直接拒稿率已从 2023 年的约 6% 升至约 53%，并已推出按作者投稿配额和 AI 审稿等措施。

9月25日周五
  3. 新智元（公众号）22

    Jev 开发商 TypeSafe AI 洽谈超10亿美元融资，估值9天从2亿飙至100亿美元

    Jev 开发商 TypeSafe AI 正洽谈超10亿美元融资，投资人愿按100亿美元以上估值进场，而9天前其4000万美元种子轮的估值仅2亿美元。Jev 是只做选择、打分和是否判断并附概率的「System One 模型」，输入每百万 Token 定价0.042美元、输出免费，上线 Vercel AI Gateway 24小时内被近13%付费团队使用，为 GPT-5.6 家族的2倍。