导读THECAPITAL
当00后女博士用数学重构AI规则本文4146字，约5.9分钟作者 |李冰之编辑 | 吾人泉源 |元素elements（ID：rzelements）
[color=rgba(0, 0, 0, 0.9)]00[color=rgba(0, 0, 0, 0.9)]后、斯坦福、女博士、[color=rgba(0, 0, 0, 0.9)]5000[color=rgba(0, 0, 0, 0.9)]万融资、[color=rgba(0, 0, 0, 0.9)]3-5[color=rgba(0, 0, 0, 0.9)]亿估值——这些标签使洪乐潼[color=rgba(0, 0, 0, 0.9)](Carina Hong)[color=rgba(0, 0, 0, 0.9)]和她的数学[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]初创公司[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]成为国表里投资圈焦点。
[color=rgba(0, 0, 0, 0.9)]6[color=rgba(0, 0, 0, 0.9)]月[color=rgba(0, 0, 0, 0.9)]3[color=rgba(0, 0, 0, 0.9)]日，《[color=rgba(0, 0, 0, 0.9)]The Information[color=rgba(0, 0, 0, 0.9)]》报道称这位从广州走出的数学天才、斯坦福大学数学与法律双博士在读生，正为她的初创公司[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]筹集约[color=rgba(0, 0, 0, 0.9)]5000[color=rgba(0, 0, 0, 0.9)]万美元的融资，公司估值预计达到[color=rgba(0, 0, 0, 0.9)]3-5[color=rgba(0, 0, 0, 0.9)]亿美元，[color=rgba(0, 0, 0, 0.9)]B Capital[color=rgba(0, 0, 0, 0.9)]（波士顿投资）可能领投。
[color=rgba(0, 0, 0, 0.9)]值得关注的是，[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]成立仅一个月，目前[color=rgba(0, 0, 0, 0.9)]0[color=rgba(0, 0, 0, 0.9)]产品[color=rgba(0, 0, 0, 0.9)]0[color=rgba(0, 0, 0, 0.9)]用户，却锁定对冲基金、量化交易员等高端客户，宣称要用[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]解决复杂数学证实的难题，为金融公司提供高效的量化解决方案。
[color=rgba(0, 0, 0, 0.9)]而这位[color=rgba(0, 0, 0, 0.9)]00[color=rgba(0, 0, 0, 0.9)]后创始人洪乐潼的履历更加令人惊叹：三年内完成[color=rgba(0, 0, 0, 0.9)]MIT[color=rgba(0, 0, 0, 0.9)]（麻省理工）的数学与物理本科双学位，一年斩获牛津大学神经科学硕士，现于斯坦福大学攻读数学和法学跨学科博士，其刁悍的学术背景引发业界高度关注。
从广州奥数天才少女到跨界学术先锋
[color=rgba(0, 0, 0, 0.9)]
[color=rgba(0, 0, 0, 0.9)]2001[color=rgba(0, 0, 0, 0.9)]年广州梅雨季，洪乐潼出生于天河区的一家小医院。作为未受过高等教育的普通务工者，她的父母从潮汕老家来羊城打拼，在城市中维系着平凡的生计。尽管家庭经济条件有限，母亲仍全力支持女儿的学业发展，为她报名了免费的奥数培训项目——这成为了洪乐潼数学兴趣抽芽的起点。
[color=rgba(0, 0, 0, 0.9)]初中时，[color=rgba(0, 0, 0, 0.9)]MIT[color=rgba(0, 0, 0, 0.9)]已成为洪乐潼的目标院校，她常于草稿纸边缘书写校名“[color=rgba(0, 0, 0, 0.9)]MIT[color=rgba(0, 0, 0, 0.9)]”以自勉。凭借突出的数学天赋与刻苦学习，她提前被华南师大附中广东奥校高中数学特长班、大学先修实验班录取。[color=rgba(0, 0, 0, 0.9)]2017[color=rgba(0, 0, 0, 0.9)]年，她入选广东省中门生英才计划，师从中山大学与中山医学院双聘教授王学钦，在[color=rgba(0, 0, 0, 0.9)]“[color=rgba(0, 0, 0, 0.9)]华罗庚金杯[color=rgba(0, 0, 0, 0.9)]”[color=rgba(0, 0, 0, 0.9)]数学竞赛、全国高中数学联赛等赛事中成绩优异。
[color=rgba(0, 0, 0, 0.9)]在广州数学会主理的省队选拔现场，[color=rgba(0, 0, 0, 0.9)]1000[color=rgba(0, 0, 0, 0.9)]名考生与家长挤满礼堂。这场实行淘汰制的免费选拔终极仅录取[color=rgba(0, 0, 0, 0.9)]25[color=rgba(0, 0, 0, 0.9)]人，每周都有选手因成绩落选离场。洪乐潼终极入选了[color=rgba(0, 0, 0, 0.9)]CMO[color=rgba(0, 0, 0, 0.9)]省队，成为[color=rgba(0, 0, 0, 0.9)]25[color=rgba(0, 0, 0, 0.9)]人中仅有的[color=rgba(0, 0, 0, 0.9)]4[color=rgba(0, 0, 0, 0.9)]名女生。这时，她的父母清晰地认识到女儿的数学天赋，也萌生了支持她迈向更广阔平台的想法。
[color=rgba(0, 0, 0, 0.9)]高三那年，洪乐潼向麻省理工学院（[color=rgba(0, 0, 0, 0.9)]MIT[color=rgba(0, 0, 0, 0.9)]）递交了申请，正式向多年来魂牵梦绕的学术殿堂发起冲刺。出身普通工薪家庭的她，既没有显赫的身份背景，也缺乏广泛的人脉资源，但凭借着对自己近乎严苛的要求，在数学范畴深耕，将竞赛佳绩、科研成果和学术潜力汇聚成近乎完美的申请材料。终极，这份优秀的答卷成功叩开了[color=rgba(0, 0, 0, 0.9)]MIT[color=rgba(0, 0, 0, 0.9)]的大门。
[color=rgba(0, 0, 0, 0.9)]进入这所顶级学府后，她本意向量化金融范畴发展，却因对数学的热爱在学术范畴不断深耕，取得了许多数学奖项的成就，如美国女性数学家协会每年只给一名数学专业的女性颁发的[color=rgba(0, 0, 0, 0.9)]Alice T. Schafer Prize[color=rgba(0, 0, 0, 0.9)]、美国数学协会和相关机构联合颁发的[color=rgba(0, 0, 0, 0.9)]Frank Brennie Morgan Prize[color=rgba(0, 0, 0, 0.9)]等。洪乐潼总计发表过[color=rgba(0, 0, 0, 0.9)]10[color=rgba(0, 0, 0, 0.9)]篇学术论文[color=rgba(0, 0, 0, 0.9)]，其中[color=rgba(0, 0, 0, 0.9)]9[color=rgba(0, 0, 0, 0.9)]篇是在大学时期发表，研究覆盖数论、弹出栈排序算法、应用数学、组合学及代数几何等前沿范畴。
[color=rgba(0, 0, 0, 0.9)]同时，她担任门生组织要职，并在国际会议上演讲，履历堪称完美。她说：“在知识的世界里，我得以环游世界。”她在推特（[color=rgba(0, 0, 0, 0.9)]X[color=rgba(0, 0, 0, 0.9)]）上的座右铭 “热爱数学就如同瞥见天主的面容”也映射出她对学术的狂热。
[color=rgba(0, 0, 0, 0.9)]出于对本科专业数学、物理之外科学范畴的兴趣，洪乐潼在斩获牛津大学罗德奖学金后，毅然决定赴英国攻读神经科学硕士学位。在此期间，她曾在伦敦大学学院盖茨比计算单位作为第一作者开展[color=rgba(0, 0, 0, 0.9)]深度学习[color=rgba(0, 0, 0, 0.9)]研究项目，正式踏入[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]范畴。
[color=rgba(0, 0, 0, 0.9)]当她在神经科学范畴完成深造后，又因对科学之外人文学科的强烈好奇，成为斯坦福大学[color=rgba(0, 0, 0, 0.9)]Knight-Hennessy[color=rgba(0, 0, 0, 0.9)]学者，开启了数学与法律双学科博士项目的研究。在这一系列跨界探索中，唯有对数学的热爱始终如一地贯穿其学术轨迹，成为她学术生涯中稳定的底色：[color=rgba(0, 0, 0, 0.9)]“[color=rgba(0, 0, 0, 0.9)]我始终以研究者的身份自居，渴望攻克真正的技术难题。[color=rgba(0, 0, 0, 0.9)]”[color=rgba(0, 0, 0, 0.9)]她关注[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]与数学的互动边界：[color=rgba(0, 0, 0, 0.9)]“[color=rgba(0, 0, 0, 0.9)]人工智能与数学家的互动将来会走向何方？应用科学家又将如何与人工智能数学家协作？这些都是我希望在后续研究中着力探索的难题。[color=rgba(0, 0, 0, 0.9)]”
公司技术方向：用形式化数学证实，
重构AI高等数学求解本领
[color=rgba(0, 0, 0, 0.9)]
[color=rgba(0, 0, 0, 0.9)]斯坦福大学[color=rgba(0, 0, 0, 0.9)]2025[color=rgba(0, 0, 0, 0.9)]年[color=rgba(0, 0, 0, 0.9)]人工智能指数报告[color=rgba(0, 0, 0, 0.9)]显示，人工智能系统在[color=rgba(0, 0, 0, 0.9)]GSM8K[color=rgba(0, 0, 0, 0.9)]和[color=rgba(0, 0, 0, 0.9)]MATH[color=rgba(0, 0, 0, 0.9)]等主要评估高中和大学数学水平的基准测试中，表现已接近完美。然而，在高等数学基准测试发布时，[color=rgba(0, 0, 0, 0.9)]Gemini 1.5 Pro[color=rgba(0, 0, 0, 0.9)]仅解决了[color=rgba(0, 0, 0, 0.9)]2%[color=rgba(0, 0, 0, 0.9)]的高等数学问题，[color=rgba(0, 0, 0, 0.9)]OpenAI[color=rgba(0, 0, 0, 0.9)]的[color=rgba(0, 0, 0, 0.9)]o3[color=rgba(0, 0, 0, 0.9)]模型也仅获得[color=rgba(0, 0, 0, 0.9)]25.2%[color=rgba(0, 0, 0, 0.9)]的分数。前沿数学[color=rgba(0, 0, 0, 0.9)](FrontierMath)[color=rgba(0, 0, 0, 0.9)]高等数学基准测试的创建者们希望，在将来几年里，该基准测试能够不断带来挑战，促使尖端[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]系统升级。
[color=rgba(0, 0, 0, 0.9)]洪乐潼的[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]正是为了解决[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]在高等数学问题解答与证实上的缺陷。今年[color=rgba(0, 0, 0, 0.9)]4[color=rgba(0, 0, 0, 0.9)]月，在一场关于[color=rgba(0, 0, 0, 0.9)]超级人工智能的讨论会[color=rgba(0, 0, 0, 0.9)]上，洪乐潼指出了现有[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]模型的不足：“它们在证实方面的表现仍然相当糟糕。”她表示，尽管大语言模型可能在美国数学约请赛中得到[color=rgba(0, 0, 0, 0.9)]96%[color=rgba(0, 0, 0, 0.9)]的分数，但是如果要求它们展示证实过程，它们的终极得分就会降到[color=rgba(0, 0, 0, 0.9)]5%[color=rgba(0, 0, 0, 0.9)]。洪乐潼认为人工智能必须学会证实，而不仅仅是回答问题——这样才能使人类信任这些运算系统的结果。
[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]定位“数学[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]”，让[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]“真正理解数学本质和逻辑结构”，其核心理念是通过形式化数学证实训练大模型，以实现类似数学家的证实过程。具体而言，[color=rgba(0, 0, 0, 0.9)]Axiom[color=rgba(0, 0, 0, 0.9)]的训练数据来自已被证实的定理和公认的数学公理，通过严密的逻辑推理验证数学命题的真伪。这一技术路径直指对冲基金等机构的痛点[color=rgba(0, 0, 0, 0.9)]——[color=rgba(0, 0, 0, 0.9)]它们需要高效、高可信度的量化模型，而传统[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]无法满足其严谨性的要求。
[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]译为“公理量化”。洪乐潼曾在[color=rgba(0, 0, 0, 0.9)]2024[color=rgba(0, 0, 0, 0.9)]年[color=rgba(0, 0, 0, 0.9)]8[color=rgba(0, 0, 0, 0.9)]月的[color=rgba(0, 0, 0, 0.9)]CGTN[color=rgba(0, 0, 0, 0.9)]广播采访中提到数学界新纳入的公理——“数学潜力在差别群体中均等分布，与地理、人口统计及经济界限无关。”这一表述打破了传统认知中背景条件对数学本领的预设，将“公平性”纳入数学公理体系的底层逻辑，也同样与洪乐潼从广州走向世界的履历相互呼应。“公理”作为数学理论的基石，在其学术路径中起到了至关重要的作用，也体现了[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]让[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]数学证实规范化与社会科学问题数学化的愿景。
融资争议与行业逻辑：0产品为何能获高估值？
[color=rgba(0, 0, 0, 0.9)]
[color=rgba(0, 0, 0, 0.9)]据[color=rgba(0, 0, 0, 0.9)]6[color=rgba(0, 0, 0, 0.9)]月[color=rgba(0, 0, 0, 0.9)]3[color=rgba(0, 0, 0, 0.9)]日的报道，[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]目前正在洽谈一轮融资，目标融资金额为[color=rgba(0, 0, 0, 0.9)]5000[color=rgba(0, 0, 0, 0.9)]万美元，公司估值预计在[color=rgba(0, 0, 0, 0.9)]3[color=rgba(0, 0, 0, 0.9)]亿[color=rgba(0, 0, 0, 0.9)]-5[color=rgba(0, 0, 0, 0.9)]亿美元之间。知情人士透露，美国知名风险投资机构[color=rgba(0, 0, 0, 0.9)]B Capital[color=rgba(0, 0, 0, 0.9)]（波士顿投资）正在商讨领投此轮融资，但交易尚未终极敲定，具体条款或有变革。此前，[color=rgba(0, 0, 0, 0.9)]B Capital[color=rgba(0, 0, 0, 0.9)]曾投资多家[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]初创企业，如[color=rgba(0, 0, 0, 0.9)]Apptronik[color=rgba(0, 0, 0, 0.9)]，[color=rgba(0, 0, 0, 0.9)]Icertis[color=rgba(0, 0, 0, 0.9)]，[color=rgba(0, 0, 0, 0.9)]Lambda[color=rgba(0, 0, 0, 0.9)]等。
[color=rgba(0, 0, 0, 0.9)]有意思的是，洪乐潼于[color=rgba(0, 0, 0, 0.9)]6[color=rgba(0, 0, 0, 0.9)]月[color=rgba(0, 0, 0, 0.9)]6[color=rgba(0, 0, 0, 0.9)]日在知乎平台上回应称“[color=rgba(0, 0, 0, 0.9)]The Information[color=rgba(0, 0, 0, 0.9)]走漏了我们（并不准确）的融资信息”，否认相关报道——尽管她并未在海外自媒体账号发布相关言论。与此同时，[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]正在积极招揽国表里人才。洪乐潼的领英及知乎账号都已发布招聘信息，积极组建团队，为后续研发做准备。
[color=rgba(0, 0, 0, 0.9)]那么，一家尚无产品的[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]初创公司为何能获得云云高的估值和融资额？业内分析认为，关键在于创始人洪乐潼的个人实力与数学[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]在金融和科研等高端应用场景中的长远潜力。
[color=rgba(0, 0, 0, 0.9)]正如雷军所言，投资，“人靠谱比什么都重要。”洪乐潼的学术履历堪称传奇：[color=rgba(0, 0, 0, 0.9)]MIT[color=rgba(0, 0, 0, 0.9)]、牛津、斯坦福的教育履历，[color=rgba(0, 0, 0, 0.9)]24[color=rgba(0, 0, 0, 0.9)]岁却已发表[color=rgba(0, 0, 0, 0.9)]10[color=rgba(0, 0, 0, 0.9)]篇前沿学术论文的本领，以及数学奥赛、各类奖项和奖学金的殊荣，使她在投资人眼中极具吸引力。
[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]在[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]数学垂直范畴的聚焦，可能也是投资人愿意为之买单的关键。其一，这类由学术派年轻人主导的项目近年来备受资本关注；其二，当前对冲基金和量化交易机构对数学模型的准确性和可靠性要求极高，而现有通用模型在复杂数学理论上仍存在不足，[color=rgba(0, 0, 0, 0.9)]Axiom[color=rgba(0, 0, 0, 0.9)]的定位恰恰满足了这个市场需要。
行业趋势：
从通用大模型到严谨逻辑主义AI
[color=rgba(0, 0, 0, 0.9)]
[color=rgba(0, 0, 0, 0.9)]当前[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]范畴正分化出两条路径：[color=rgba(0, 0, 0, 0.9)]OpenAI[color=rgba(0, 0, 0, 0.9)]等大厂聚焦通用模型，而[color=rgba(0, 0, 0, 0.9)]Axiom[color=rgba(0, 0, 0, 0.9)]、[color=rgba(0, 0, 0, 0.9)]Harmonic[color=rgba(0, 0, 0, 0.9)]等初创公司深耕垂直场景。资本市场对“高可信度[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]”和具备多步调逻辑推理本领的专业应用模型需求激增。一方面，[color=rgba(0, 0, 0, 0.9)]OpenAI[color=rgba(0, 0, 0, 0.9)]、谷歌等大厂的通用大语言模型在数学推理和严谨证实方面依然存在漏洞，无法保证答案的准确性。另一方面，新一代细分范畴专用模型正在崛起，如法国开源公司[color=rgba(0, 0, 0, 0.9)]Mistral AI[color=rgba(0, 0, 0, 0.9)]推出的专注数学推理[color=rgba(0, 0, 0, 0.9)]AI MathΣtral[color=rgba(0, 0, 0, 0.9)]，深度求索（[color=rgba(0, 0, 0, 0.9)]Deepseek[color=rgba(0, 0, 0, 0.9)]）发布强调推理本领的模型[color=rgba(0, 0, 0, 0.9)]Deepseek-R1[color=rgba(0, 0, 0, 0.9)]，[color=rgba(0, 0, 0, 0.9)]Google[color=rgba(0, 0, 0, 0.9)]在科学计算和算法方面独具优势的[color=rgba(0, 0, 0, 0.9)]Deepmind[color=rgba(0, 0, 0, 0.9)]。这些[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]大模型都会与[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]形成差异化竞争。
[color=rgba(0, 0, 0, 0.9)]尽管目前市场上缺乏既能正确解答高等数学问题又能严谨证实逻辑的[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]大模型，但数学[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]范畴仍面对着不小的竞争压力。比如，由美国券商[color=rgba(0, 0, 0, 0.9)]Robinhood[color=rgba(0, 0, 0, 0.9)]的[color=rgba(0, 0, 0, 0.9)]CEO Vlad Tenev[color=rgba(0, 0, 0, 0.9)]于[color=rgba(0, 0, 0, 0.9)]2023[color=rgba(0, 0, 0, 0.9)]年开办的数学[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]初创公司[color=rgba(0, 0, 0, 0.9)]Harmonic[color=rgba(0, 0, 0, 0.9)]也同样聚焦让其[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]用严谨逻辑和数学计算解决贸易公司的市场分析和量化难题。[color=rgba(0, 0, 0, 0.9)]Harmonic[color=rgba(0, 0, 0, 0.9)]首轮融资[color=rgba(0, 0, 0, 0.9)]7500[color=rgba(0, 0, 0, 0.9)]万美元，估值[color=rgba(0, 0, 0, 0.9)]3.25[color=rgba(0, 0, 0, 0.9)]亿美元，投资方也包括知名投资公司[color=rgba(0, 0, 0, 0.9)]Sequoia Capital ([color=rgba(0, 0, 0, 0.9)]红杉资本[color=rgba(0, 0, 0, 0.9)])[color=rgba(0, 0, 0, 0.9)]，[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]的出现会与其直接对标。
[color=rgba(0, 0, 0, 0.9)]于中国科创圈而言，洪乐潼的创业模式提供了新的启示。她将纯粹的学术训练与前沿的[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]创新结合，体现出对技术深度与应用场景的双重重视。在国内，不论是深度求索这样的[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]独角兽还是大厂高管们各自创建的垂直范畴[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]初创公司，都开始突出模型的推理本领和场景应用，显示出产业界正在重新评估自主创新的潜力。洪乐潼所代表的跨界思路，以及资本对更加严谨的[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]产生的浓厚兴趣，都可能促使国内[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]创业者在细分赛道，如高端金融科技与科学计算范畴，考虑引入更严密的数学推理方法。
00后AI创业军团崛起
[color=rgba(0, 0, 0, 0.9)]
[color=rgba(0, 0, 0, 0.9)]洪乐潼并非是孤身在闯[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]创业赛道的[color=rgba(0, 0, 0, 0.9)]00[color=rgba(0, 0, 0, 0.9)]后。她的[color=rgba(0, 0, 0, 0.9)]MIT[color=rgba(0, 0, 0, 0.9)]师兄[color=rgba(0, 0, 0, 0.9)]Michael Truell[color=rgba(0, 0, 0, 0.9)]和他的朋友们创立的[color=rgba(0, 0, 0, 0.9)]Anysphere[color=rgba(0, 0, 0, 0.9)]，本月刚完成新一轮[color=rgba(0, 0, 0, 0.9)]9[color=rgba(0, 0, 0, 0.9)]亿美元融资（约合人民币[color=rgba(0, 0, 0, 0.9)]65[color=rgba(0, 0, 0, 0.9)]亿元）[color=rgba(0, 0, 0, 0.9)],[color=rgba(0, 0, 0, 0.9)]公司估值飙升至[color=rgba(0, 0, 0, 0.9)]99[color=rgba(0, 0, 0, 0.9)]亿美元（约合人民币[color=rgba(0, 0, 0, 0.9)]710[color=rgba(0, 0, 0, 0.9)]亿元），一跃成为今年最炙手可热的[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]编程独角兽企业。[color=rgba(0, 0, 0, 0.9)]Anysphere[color=rgba(0, 0, 0, 0.9)]开发的[color=rgba(0, 0, 0, 0.9)]AI Cursor[color=rgba(0, 0, 0, 0.9)]是编程辅助工具，利用[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]技术资助开发者更高效地编写代码。
[color=rgba(0, 0, 0, 0.9)]四个月前，由三位[color=rgba(0, 0, 0, 0.9)]00[color=rgba(0, 0, 0, 0.9)]后创立的[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]招聘网站[color=rgba(0, 0, 0, 0.9)]Mercor[color=rgba(0, 0, 0, 0.9)]也宣布完成[color=rgba(0, 0, 0, 0.9)]1[color=rgba(0, 0, 0, 0.9)]亿美元的[color=rgba(0, 0, 0, 0.9)]B[color=rgba(0, 0, 0, 0.9)]轮融资，公司估值达[color=rgba(0, 0, 0, 0.9)]20[color=rgba(0, 0, 0, 0.9)]亿美元（约合人民币[color=rgba(0, 0, 0, 0.9)]140[color=rgba(0, 0, 0, 0.9)]亿元）。短短两年，[color=rgba(0, 0, 0, 0.9)]Mercor[color=rgba(0, 0, 0, 0.9)]凭借其独特的贸易模式和出色的运营，成长为百亿级别的独角兽。
[color=rgba(0, 0, 0, 0.9)]同为[color=rgba(0, 0, 0, 0.9)]00[color=rgba(0, 0, 0, 0.9)]后的杨丰瑜在耶鲁博士毕业后选择回国创业，在客岁成立了具身智能公司优理奇（[color=rgba(0, 0, 0, 0.9)]UniX AI[color=rgba(0, 0, 0, 0.9)]），[color=rgba(0, 0, 0, 0.9)]5[color=rgba(0, 0, 0, 0.9)]个月内便完成了一款轮式人形机器人的研发制造，已于上个月完成数亿元的天使轮及天使[color=rgba(0, 0, 0, 0.9)]+[color=rgba(0, 0, 0, 0.9)]轮融资。
[color=rgba(0, 0, 0, 0.9)]这些[color=rgba(0, 0, 0, 0.9)]00[color=rgba(0, 0, 0, 0.9)]后创业者们的成功绝非偶然。作为互联网原住民，他们自幼打仗智能装备，对新技术有着与生俱来的敏感度和接纳本领，能够敏捷把握并运用最新的[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]技术，将其转化为实际的贸易应用。同时，[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]技术的快速迭代与工具开源化，极大地降低了创业门槛，小团队乃至个人开发者都能以较低的预算实现技术落地。这使得[color=rgba(0, 0, 0, 0.9)]00[color=rgba(0, 0, 0, 0.9)]后创业者们能够更加便捷地、快速地搭建起自己的创业项目。
结语：当00后博士用数学重构AI规则
[color=rgba(0, 0, 0, 0.9)]
[color=rgba(0, 0, 0, 0.9)]Axiom Quant[color=rgba(0, 0, 0, 0.9)]提出的“数学[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]路线”实际上是一场技术冒险：若能成功落地，它有望为对冲基金等场景提供颠覆性工具，也可能推动[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]参与科研突破。正如黄仁勋所言，“将来十年，[color=rgba(0, 0, 0, 0.9)]AI[color=rgba(0, 0, 0, 0.9)]将成为无所不在的社会底子设施。”在这场浪潮中，[color=rgba(0, 0, 0, 0.9)]00[color=rgba(0, 0, 0, 0.9)]后的创业者们也逐渐站在风口上，洪乐潼和她的偕行们正在改写游戏规则。从[color=rgba(0, 0, 0, 0.9)]“0[color=rgba(0, 0, 0, 0.9)]产品[color=rgba(0, 0, 0, 0.9)]0[color=rgba(0, 0, 0, 0.9)]用户[color=rgba(0, 0, 0, 0.9)]”[color=rgba(0, 0, 0, 0.9)]到贸易落地，[color=rgba(0, 0, 0, 0.9)]Axiom[color=rgba(0, 0, 0, 0.9)]的下一步不仅关乎一家公司的成败，更将检验[color=rgba(0, 0, 0, 0.9)]“[color=rgba(0, 0, 0, 0.9)]严谨逻辑主义[color=rgba(0, 0, 0, 0.9)]”AI[color=rgba(0, 0, 0, 0.9)]的可行性与科技价值[color=rgba(0, 0, 0, 0.9)]——[color=rgba(0, 0, 0, 0.9)]这场冒险，才刚刚开始。
#线索爆料# rzcj@thecapital.com.cn[color=rgba(0, 0, 0, 0.9)]
媒体合作：010-84464881
来源：https://view.inews.qq.com/k/20250627A04ASK00
免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！ |
/1 
