数论

斯坦福华人数学博士洪乐潼创立的Axiom公司目标估值3-5亿美元，专注于利用AI解决实际数学问题，并已获得知名投资机构的关注。