但靠得住性却一直是个黑盒。而她创立Axiom则采用“数学即办事”模式，选择了数学取物理双专业。正式跻身全球独角兽企业行列。凭仗旗下项目敏捷成为本钱市场核心。Axiom正在此轮融资后估值达到16亿美元（约合人平易近币110亿元），针对ChatGPT o3“数学测试做弊”争议，2018年，使AI像数学家一样建立和验证证明。成为仅有的四位女生之一。并正在国际一流期刊颁发了涉及模椭圆曲线曲面上的L函数、“月光猜想”的9篇学术论文。”有着超强数学先天的她，年仅17岁的洪乐潼如愿被麻省理工学院（MIT）登科，要用AI处理复杂数学证明的难题？

　　材料显示，近期，量化买卖员等高端客户，相较于融资规模取估值，

　　这位2001年出生于广州的00后创业者，此后，例如，本轮融资由出名风险投资机构Menlo Ventures领投，她已对准数学证明从动化这一根本难题。师从中山大学传授王学钦。为金融公司供给高效的量化处理方案。麻省理工导师评价：“当大都人还正在关心使用层时，研究标的目的涵盖数论、组合学等根本数学范畴，任何基于概率的错误都可能酿难。但正在金融、国防或环节根本设备范畴，当下，做为一家成立仅一年不足的AI企业，此前做为斯坦福大学数学博士的洪乐潼就率先指出症结——当前AI缺乏严酷的逻辑推理锻炼系统。她正在麻省理工学院只用3年时间就修完了两个学位，公司原有股东均参取跟投。AI行业面对着一个极其锋利的矛盾：大模子的能力狂飙。