速递｜斯坦福90后中国数学博士的AI公司，未出产品先融资5000万美元，B Capital正洽谈领投
图片来源：MIT数学家们一直痴迷于能够解决复杂数学问题的人工智能。OpenAI 等机构开发这些模型的部分开发者认为，学会解决数学难题的 AI 可以运用相似的推理方法来解决其他类型的问题。但由于当前的人工智能尚未证明能在高等数学领域超越人类专家，一些创业者看到了开发专业数学模型的机遇。斯坦福大学数学博士生Carina Hong就是其中一员，她正与投资者洽谈，为其新创公司Axiom 筹集 5000