25岁天才少女拿下超14亿融资她的核心技术，简单说就是解决AI的"幻觉"问题。现在的大模型很会写代码、做推理，但经常出错、瞎编，用在金融、航天、芯片领域风险极大。洪乐潼的思路是用数学给AI"上保险"。她造的"AI数学家"，能像证明数学题一样，严格验证每一步推理和代码，确保绝对正确。 这个技术能帮金融机构做精准定价、帮科技公司杜绝漏洞，市场前景巨大。