速递｜斯坦福90后中国数学博士的AI公司，未出产品先融资5000万美元，B Capital正洽谈领投
数学博士Carina Hong创立Axiom公司，计划开发能够进行形式化数学证明的人工智能，目标客户为对冲基金和量化交易公司。
Axiom
斯坦福中国学霸开挂创业：AI解数学难题，0产品目标估值3亿美元
中国籍学者洪乐潼创立的Axiom公司专注于开发基于形式化数学证明的AI模型，目标估值3亿至5亿美元，旨在解决复杂数学问题并弥补主流AI在该领域的不足。
数学博士Carina Hong创立Axiom公司，计划开发能够进行形式化数学证明的人工智能，目标客户为对冲基金和量化交易公司。
中国籍学者洪乐潼创立的Axiom公司专注于开发基于形式化数学证明的AI模型，目标估值3亿至5亿美元，旨在解决复杂数学问题并弥补主流AI在该领域的不足。