Robinhood CEO：AI公司独占发现权是反乌托邦，价值必须归用户
Robinhood CEO兼Harmonic AI联合创始人Vlad Tenev发帖提出AI时代的两种未来路径：一是AI公司凭借大规模数据中心在内部完成重大发现和发明、自己捕获几乎全部价值；二是AI公司构建工具供人使用、发明和发现的价值与荣誉归于用户，从而释放数学发现和创业活动的洪流。Tenev明确表态：前者是"dystopian"（反乌托邦），后者是"我们正在构建的未来"。
这一表态与Tenev的双重身份高度一致。在Robinhood一侧，据公司官网，AI投资助手Robinhood Cortex已嵌入全平台，用户可以用自然语言执行交易、研究市场、调整账户设置，预测市场产品已交易超110亿份合约。在Harmonic一侧，据Reuters报道，Harmonic已完成C轮1.2亿美元融资、估值14.5亿美元、累计融资2.95亿美元，其核心产品"Aristotle Agent"被定位为"全球首个自主数学家"，在ProofBench形式化数学基准测试中排名第一，领先第二名15%，且以免费API向公众开放。据Benzinga报道，该系统可将自然语言数学问题转化为形式化证明，连续运行24小时无需人工干预，已有用户直接将其输出合并进代码库。
来源：公开信息
ABAB AI Insight
Tenev的二分法看似是一个价值观声明，实际上是对AI产业定价权归属的结构性判断。当前AI产业的主流商业模式——无论是OpenAI的订阅制、Google的云端推理计费还是Anthropic的API调用——本质上都更接近他所说的"第一种未来"：算力、模型和数据集中在少数公司手中，用户支付使用费，但发现和创造的核心能力不可转移。Tenev提出的替代方案是把AI变成"工具层"而非"平台层"——用户拥有发现过程的主权，AI公司退到基础设施提供者的位置。这与Robinhood当年用零佣金颠覆券商的逻辑完全同构：不赚交易本身的钱，赚的是用户规模带来的生态价值。
Harmonic的技术路径为这一愿景提供了一个具体的验证场景。传统LLM用自然语言输出推理结果，无法被数学验证——Harmonic的做法是强制模型以Lean4编程语言输出形式化证明，每一步推理都可以被机器自动校验，从根本上消灭幻觉。这意味着Aristotle Agent的输出不是"可能正确的建议"，而是"可验证正确的证明"。如果这条路径成立，它将重新定义AI辅助科学发现的信任机制：用户不需要信任模型本身，只需要信任形式化验证器——而验证器是开源、确定性、可审计的。这实际上是在AI和用户之间建立了一条"零信任"的价值传递通道。
从更长的周期看，Tenev的"工具论"暗含一个关于阶层流动性的深层命题。如果AI重大发现的价值被少数公司内部捕获，那么科学发现和技术创新的回报分配将进一步向资本密集型机构集中，个体研究者和小型创业团队将被挤出前沿——这本质上是科学界的"赢家通吃"格局。而如果AI以工具形态普及，一个独立数学家、一个车库创业者就能调用与Google DeepMind同等水平的数学推理能力，那科学发现的分布就有可能从幂律分布重新向正态分布回归。Tenev把Aristotle Agent免费开放，正是在用实际行动测试这一假设——问题是，当Harmonic需要商业化时，"免费工具"和"价值归用户"之间的张力将如何解决，这才是真正考验其叙事一致性的时刻。