Axiom Math获2亿美元融资，估值16亿美元，用AI与Lean验证代码

Axiom Math是一家由24岁中国00后女生洪乐潼创立的AI初创公司，致力于用人工智能解决极其复杂的数学难题，该公司成立仅数月即获得6400万美元种子轮融资，估值达3亿美元。

6 来源

天才创始人和豪华团队阵容

4 来源

融资规模和投资方支持

3 来源

AI数学家的技术使命

2 来源

未来展望与行业意义

1 来源

本内容由AI生成