公司概况与融资信息 - 公司名称为Axiom（公理），核心目标是开发可解决实际数学问题的人工智能[6] - 公司目前处于零产品、零用户的极早期阶段，但正在进行目标为5000万美元的融资[4][11] - 公司估值预计在3亿至5亿美元之间，投资方B Capital可能领投此轮融资[4][12][13] 技术方向与商业模式 - 训练数据来源于形式化数学证明，通过使用已被证明的定理或公认数学公理来验证数学陈述的真实性[7] - 人工智能将专注于数学领域，学习严格的逻辑推理和证明过程，以构建和验证形式化证明[7] - 产品主要面向对冲基金和量化交易公司，帮助其快速解决投资、股市等金融领域的复杂数学问题[8][9] 创始人背景与竞争优势 - 创始人兼CEO洪乐潼（Carina Letong Hong）来自中国广州，3年完成麻省理工学院数学和物理本科双修，并获斯坦福大学数学博士录取[5][25] - 本科期间已发表9篇论文，涉及模椭圆曲线、月光猜想、堆栈排序算法等多个数学领域[19][20] - 2021年获得牛津大学罗德奖学金，成为仅有的4名中国获奖者之一，并在斯坦福期间涉猎数学与深度学习相结合的跨学科研究[5][23][26]