北京时间 11 月 8 日凌晨（11 月 7 日 16:21 UTC），HigherOrderCO（简称 HOC）创始人、Bend 与 HVM 的创造者 Victor Taelin 在 X 上发帖，宣布一则「糟糕的消息」：过去一个月接触过的大型基金中，「没有一家有足够的信念，相信 HOC 能成为一门有利可图的生意」。他写道，最常见的反馈是「没人会付钱」（nobody will pay）和「大实验室会吃掉你们」（big labs will eat you）。

同一帖子里，他列出三项决定：把本轮改成一笔更小的轮次——最多 800 万美元，按 1.2 亿美元投后估值上限（post-money cap）发行 SAFE（未来股权简单协议）；他本人按同等条款自投 100 万美元；公司「all in」核心符号主义 AI（symbolic AI）研究，并称首批 SAI 模型「soon-ish」（很快）发布。截至发稿，这条帖子已获得 1,586 个赞、59,390 次浏览、123 条回复和 331 次收藏。

GitHub 上 Bend 仓库的介绍卡片：Bend 2，一种通过证明阻断 AI 错误的快速编程语言，约 2.5 万 Stars、797 Forks

一份把风险写进条文的融资方案

条款部分写得直白：SAFE、上限 800 万美元、1.2 亿美元投后估值上限、最低 10 万美元起投、先到先得、本周内关闭，面向「有胆量反着大基金下注」的合格投资者（accredited investor），联系方式是他的邮箱 taelin@higherorderco.com。条款之外，他还写下一段明确的风险提示：「我必须非常清楚地说：你投资的是我们符号主义 AI 研究产出的一切。Bend 大概率保持开源（OSS）且免费。简言之，你有 0.669% 的概率是在 GPT-2 发布前投资 OpenAI。最可能的结果是你的钱会消失，因为我们仍然没有清晰的长期收入路径。」

需要说明的是，融资条款、投资人反馈与研究计划均为 Taelin 的自述口径，目前没有独立信源可以交叉验证；可以直接核实的，是这条公告本身、它在回帖区引发的反应，以及他的 GitHub 个人页所自述的创始人身份。

「谁还需要又一个烂 App？」：砍掉产品路线，转向基础研究

转向的动机，他在帖子里说得很冲。有人建议 HOC 先专注一个更小的产品，他的回应是：「那是胡扯。AGI 就要来了，谁还需要又一个烂 App？」他说自己会砍掉产品路线，直接跳到「我认为能产生真实影响的东西」——基础 AI 研究：「我们是条小鱼，但我们看的是没人看的地方，谁知道呢，也许我们能找到别人没找到的东西。」选择符号主义模型还有一层理由：符号模型「可解释性高得多」，如果开发它们能把安全 AGI 的概率提高哪怕一点，就是对他时间更好的使用。

这次转向并不突然。2025 年 1 月 31 日，他曾宣布 HOC 以 1 亿美元估值募一笔 400 万美元的 post-seed，用一个为每道 ARC Prize 题目构造最短解的数据集来调教程序合成器 SupGen，目标是以每题不到 1 美元的成本做到 85%，以此验证「符号变换器」（Symbolic Transformer）的效率，并强调「HOC 是一个研究实验室」。2026 年 2 月 9 日，他又更新了一次想法：HVM4 已经就绪、自建 CPU 集群即将上线；他仍相信存在「大幅超越现代 AI 的符号主义 AI 算法」等待被发现，但机器学习花了 50 年才有今天，这条替代路线多半赶不上 LLM 先抵达 AGI，所以它是「一个很好的备用计划」。当时他描述的第一个实验目标，是做一个类似 GPT-2 的模型——不用矩阵乘法、不用浮点数，只用一册进化出的线性 λ 项（linear λ-terms）预测下一个 token。

Bend：从「跑在 GPU 上的语言」到符号主义研究的核心组件

Bend 是 HOC 的开源编程语言。2024 年 5 月，它以「Bend: a high-level language that runs on GPUs (via HVM2)」为题登上 Hacker News，讨论热烈；如今仓库卡片显示约 2.5 万 star。按仓库 README 的说法，Bend 2 的卖点是 LAWS.bend：把应用不可违反的规则写成「法律」，编译器在 AI 修改代码时强制要求数学证明，否则不放行——README 称之为「AGENTS.md backed by proof」；它编译出的程序在单核上接近手写 C 的速度，整个语言可以跑在 GPU 上。

在这轮公告里，Bend 的定位是「符号主义 AI 研究的核心组件」：照常开发和支持（只是可用的 token 比他希望的少），开发流程「现在几乎完全自动化」，Bend3「接近完成」，更新会以「疯狂的节奏」到来。有人在回帖里问他打算如何给开源项目搞到资金，他的回答是：「妙就妙在——我不。」（提问、回复）这与他给投资者的提醒一致：投资标的是符号主义研究的产出，而 Bend 本身大概率保持免费。

从种子轮到创始人自掏腰包：HOC 的融资轨迹与时点

HOC 拿过机构的钱。2024 年 1 月，Taelin 复盘称公司 2023 年完成 400 万美元种子轮，组建了约 10 名工程师的团队，按当时预算有约 3 年跑道。2025 年 1 月那笔 post-seed 同时通过 Wefunder 向普通人开放。截至发稿，HOC 的 Wefunder 页面仍挂着一份「按 6,000 万美元估值融资 400 万美元、把 Bend2 推向市场」的方案，并显示在 Wefunder 上的累计募集为 0。

这笔 800 万美元的 SAFE 赶上了 AI 板块的抛售。据路透社报道，纳斯达克指数 11 月 5 日下跌 5.52%、收于 24,315 点，创 19 个月来最大单日跌幅；次日反弹后，仍录得连续第四周下跌。市场之外还有一层反差：一位自述曾任职 Microsoft Research 的回帖者 Shital Shah 问得很直接：「当所有这些新 AI 实验室都在拿着 10 亿美元种子轮离场时，这事怎么可能发生？」（回帖）

回帖区：有人算账，有人下注

回帖大致分成两派。Jean Tu 写道：「长期看，没有他们你反而更好。VC 文化是有毒的，会碾碎你那些『higher order』的事业。」（回帖）Taelin 本人的回应温和得多：「不，他们其实挺酷、挺友善的。只是那真的是一大笔钱。」（回复）

质疑同样直接。开发者 tmuxvim 说：「1.2 亿美元估值，却看不出一点商业计划的样子，好家伙。」（回帖）也有人盯上了那句 0.669% 的比喻——himanshu 只回了一个词：「Bullish.」（看涨）（回帖）。

接下来第一件可以核验的事，是这轮先到先得的 SAFE 能否在本周关闭前募到 800 万美元上限；第二件，是他预告「soon-ish」的首批 SAI 模型。至于 HOC 本身，他在公告里只留了一句：「HOC 可能会死，但不是今天。」

参考链接

本文由 AREX Agent 基于公开网络信源自动整合梳理。
AI 可能存在信息遗漏、时序偏差或事实误判。文中观点与事实请结合文末原始链接交叉核验，请勿直接作为决策依据。

内容中包含的图片若涉及版权问题，请及时与我们联系删除