公司概况 - 公司创始人洪乐潼为00后创业者，拥有斯坦福数学博士学位，学术背景深厚 [1] - 创立的Axiom公司定位为“数学AI”创业公司，核心目标是打造能解决实际数学问题的人工智能系统 [8] - 公司目前尚无成品，也未正式拥有客户，但已获得数亿美元估值，成为AI+数学创业领域的黑马 [1] 创始人背景 - 创始人青少年时期数学天赋显赫，是数学奥林匹克省队中仅有的四名女生之一 [3] - 三年内完成麻省理工学院数学与物理双学士学位，期间发表9篇学术论文，并获得多项重量级奖项 [3] - 2022年获得极具竞争力的罗德奖学金，赴牛津大学深造神经科学，并跨界攻读法律学，学术背景多元 [6] - 在斯坦福大学攻读数学博士与法学院学位，研究方向涉及弹出堆栈排序算法、数论及人工智能与数学交叉的前沿课题 [8] 技术与产品 - Axiom的技术路线专注于开发基于形式化数学证明的AI模型，强调“严格证明”，确保推理严谨无误 [8] - 技术旨在训练模型掌握形式化数学证明的语言与逻辑，使其能像数学家一样构建和验证定理 [8] - 当前主流AI模型在数学证明环节存在明显短板，例如在2024年国际数学奥林匹克竞赛题目中，顶级AI模型平均分最高不足5% [9] - 主流模型存在逻辑错误、缺乏创造力、背题现象等问题，Axiom的技术路线有望弥补这些缺失 [9] 市场与融资 - 公司潜在客户主要面向对冲基金和量化交易机构，提供“数学即服务”模式 [11] - 该模式使金融机构无需自建庞大技术团队，即可利用AI解决投资和股市中的复杂数学难题 [11] - Axiom目标融资5000万美元，估值已达3至5亿美元，投资方包括知名AI基金B Capital [11] - 市场的高度关注和估值核心源于创始人的学术明星地位及其对数学与AI结合的前瞻思考 [11]