量子位新品速递｜第8期：极佳视界百台家庭机器人进社区、Axiom Math AI数学论文登上期刊，本期仅2款
本期收录2款量子位5月28日报道的科技新品：极佳视界发布物理AGI「双金字塔」体系，拾光S1家庭轮臂机器人获百台订单，Q3进社区运营；Axiom Math的AxiomProver系统，5篇AI生成论文通过同行评审登上学术期刊，00后创始人洪乐潼估值16亿美元。
リサーチノート
本期收录 2 款量子位 5 月 28 日报道的科技新品：极佳视界发布全球首创物理 AGI「双金字塔」体系，旗下拾光 S1 家庭轮臂机器人获百台真实家庭订单；Axiom Math 的 AI 数学证明系统 AxiomProver，5 篇 AI 生成的论文通过同行评审登上学术期刊。
极佳视界「双金字塔」体系 · 拾光 S1 家庭轮臂机器人
极佳视界在 5 月 28 日首次完整披露「双金字塔」技术体系，并宣布旗下拾光 S1 家庭版轮臂机器人已获百台真实家庭订单，将于第三季度在武汉光谷社区启动规模化运营。1
- 产品：拾光 S1 家庭版轮臂机器人（轮式底盘+人形双臂构型），搭载自研 GigaBrain 系列具身基础模型
- 技术体系：全球首创物理 AGI「双金字塔」——数据金字塔（互联网视频→真人数据→世界模型模拟器→仿真合成→真机数据）与算法金字塔（世界模拟→动作对齐→经验强化）
- 落地节奏：5 月 31 日起开放体验空间；Q3 百台规模化运营，同时发布下一代产品拾光 S2（底盘缩小 60%、续航提升 70%、操作范围扩大 40%）
- 商业进展：2026 年 3-4 月连续完成两轮共约 25 亿元融资，跻身国内首个世界模型百亿独角兽，投资方含华为哈勃等顶级产业资本
- 竞赛成绩：GigaWorld-1 在 WorldArena 登顶全球第一（首个突破 60 分大关的具身世界模型）；RoboChallenge、RoboCasa365 双榜第一
- 路线图：Q3 发布 GigaBrain-1 → GigaBrain-2 → 12 个月内 GigaBrain-3 剑指物理 AGI 的「GPT-3 时刻」
简评：在 Figure AI 仍聚焦工厂、Tesla Optimus 尚未对消费者开售的背景下，极佳视界率先把百台机器人送进真实家庭，用「双金字塔」体系打通从数据采集到模型迭代的全链路闭环。拾光 S1 选择轮臂构型而非全人形，是对家庭场景稳定性和成本的真实考量。接下来最值得关注的信号是：百台真机在家庭环境下能跑出多少有效数据回流模型。
Axiom Math · AxiomProver AI 数学证明系统
初创公司 Axiom Math 宣布，其 AI 系统 AxiomProver 生成的 8 篇数学论文中，5 篇已通过同行评审并登上学术期刊，横跨数论、组合学、交换代数、代数几何等领域。2
- 产品：AxiomProver，AI 形式化数学证明系统。研究者给出自然语言问题陈述，系统翻译成 Lean 形式化证明，再由独立检测器逐步骤验证
- 关键成就：已解决两个困扰学界数十年的 Erdős 猜想；在普特南数学竞赛取得满分；其中一篇论文的 AI 证明了 6 个猜想并发现一个反例
- 团队：创始人洪乐潼（2001 年生），MIT 三年拿下数学与物理双学位、罗德奖学金+摩根奖得主，从斯坦福退学创业；联合创始人含前 Meta AI 高管 Shubho Sengupta；知名数学家 Ken Ono 辞去弗吉尼亚大学终身教职全职加入
- 融资：6400 万美元种子轮 + 2 亿美元 A 轮（约合 13.56 亿元人民币），估值 16 亿美元（约 108 亿元）
- 跨界进展：最新论文与哈佛商学院教授合作，用 Lean 形式化证明博弈论经典定理，进入经济学领域
- 愿景：打造可自我改进的超级智能推理器——「AI 将编写所有代码，但数学将证明其是否有效」
简评：Axiom Math 选择了一条从数学形式化推理切入「可验证 AI」的独特路径。当大模型普遍面临幻觉问题时，AxiomProver 的「生成+形式化+机械验证」闭环提供了一种可信替代方案——AI 产出的不是文本而是可逐行校验的证明。5/8 的论文接收率相当可观，但需注意论文的期刊影响力参差不齐。团队背景豪华，融资节奏极快，值得持续关注其从数学向其他学科扩展的落地进度。
このコンテンツについて、さらに観点や背景を補足しましょう。