当整个 AI 行业都在追逐更大的模型、更强的生成能力、更像人的表达时，她偏偏转身去做了一件最不性感、也最难商业化的事：用数学验证 AI … 她创办的公司叫 Axiom，成立不足两年，员工只有 20 多人，最近拿下 2 亿美元 A 轮融资，投后估值高达 16 亿美元，折合人民币超 110 亿元 … 洪乐潼要做的就是用数学公理和形式化验证，让 AI 每一步推理都可证明，可以直接面向金融、军工、芯片和自动驾驶等对可靠性要求极高的市场。
当整个 AI 行业都在追逐更大的模型、更强的生成能力、更像人的表达时，她偏偏转身去做了一件最不性感、也最难商业化的事：用数学验证 AI … 她创办的公司叫 Axiom，成立不足两年，员工只有 20 多人，最近拿下 2 亿美元 A 轮融资，投后估值高达 16 亿美元，折合人民币超 110 亿元 … 洪乐潼要做的就是用数学公理和形式化验证，让 AI 每一步推理都可证明，可以直接面向金融、军工、芯片和自动驾驶等对可靠性要求极高的市场。