#25岁天才少女拿下超14亿融资# 来自广州普通家庭的学霸。数学天赋极高，18岁考上麻省理工，一路开挂，在斯坦福读博时，觉得自己的技术能改变世界，干脆退学创业了。
现在的大模型（比如ChatGPT）有个通病：会“幻觉”，也就是一本正经地胡说八道，因为它靠概率猜答案。 她的公司 Axiom 的核心技术，可以理解为给AI推理过程配了一个“数学判卷老师”。任何推理，都必须像解数学题一样，给出一步步的严谨证明，否则就不通过。这从根上解决了AI“瞎猜”的问题。
专攻“错不起”的高风险领域，金融风控，验证交易模型会不会有漏洞，防止巨额损失。
自动驾驶，证明汽车的每一个决策逻辑都绝对安全。
AI写代码，确保生成的代码没bug，逻辑正确。 这些领域愿意为“绝对可靠”支付天价，所以资本疯狂押注。
她组了一个“天才团队”：不仅拉来了Meta的AI大神当技术官，甚至让一位世界级的数学泰斗辞去终身教授职位全职加入。他们不是在应用AI，而是在用最底层的数学重新定义AI的可靠性。