热点新闻
2025年10月初，硅谷传来爆炸性消息：24岁中国潮汕女性洪乐潼创立的Axiom Math完成6400万美元（约合人民币4.56亿）首轮融资，投后估值破3亿美元。该公司虽无产品与客户，但凭借洪乐潼超凡的数学天赋与学术成就获得资本青睐。洪乐潼高中就读华南师大附中，成为广东省奥数队四名女生之一，在多项顶级竞赛中屡创佳绩。2019年进入麻省理工学院攻读数学与物理双学位，仅用三年完成所有课程，额外修读20门硕博高阶课程。本科阶段已在数论、组合数学等领域发表多篇高质量论文，荣获北美数学本科生最高荣誉"摩根奖"、全美顶尖本科女数学家"Schafer数学卓越奖"及牛津大学罗德奖学金。2024年，洪乐潼从斯坦福大学退学创业，创立Axiom Math，旨在打造"AI数学家"，解决现有AI模型在数学推理中的局限性，实现自主推理与提出数学猜想。该想法吸引Meta FAIR团队前成员Shubho Sengupta、法国数学家François Charton等顶尖人才加盟。数学作为基础科学的核心，其突破将推动科学研究、芯片设计、金融建模等领域的底层创新，华为任正非曾强调"光靠砸钱没用，还要‘砸’数学家、物理学家"。此次融资彰显硅谷对年轻天才与源头创新的持续押注。
焦点分析
洪乐潼的创业案例生动体现了焦点解决短期治疗（SFBT）中的「例外询问」技术。SFBT强调从问题例外中寻找解决方案，而非过度分析问题成因。洪乐潼并未沉浸于对AI数学推理局限性的批判，而是聚焦于ChatGPT在数学测试中96%准确率与5%推理得分的巨大差距这一「例外」现象，识别出AI在形式推理与实质理解间的断层，从而确立创业目标——构建能自主推理的AI数学家。这一技术特点在于将注意力从「为什么AI数学推理不行」转向「什么时候AI数学推理可能可行」，通过挖掘现有表现中的优势与例外，构建解决路径。
SFBT分析显示，洪乐潼团队隐含的核心问题是「如何提升AI的数学推理能力」，而其目标则是「创建具备自主推理与猜想能力的AI系统」。焦点解决思路的解决方案包括：首先，利用洪乐潼在数论与组合数学的深厚积累，构建高质量数学训练数据集；其次，整合多学科顶尖人才，如将Meta的工程经验与数学理论结合；最后，通过迭代测试强化AI的推理链条，而非仅追求答案准确性。这一方案还可解决五个类似问题：一、AI在逻辑谜题中的推理缺陷；二、自动化定理证明的完整性不足；三、教育领域个性化数学辅导的精准性；四、金融模型的风险推演盲点；五、科学研究中假设生成的可信度。SFBT的应用范畴不仅限于心理咨询，更适用于科技创新、团队管理与战略规划，其核心是以未来为导向，挖掘资源与可能性，推动目标高效达成。