洪乐潼

中国籍学者洪乐潼创立的Axiom公司专注于开发基于形式化数学证明的AI模型，目标估值3亿至5亿美元，旨在解决复杂数学问题并弥补主流AI在该领域的不足。