不久前，57岁的美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）辞去教职，加入了一家成立仅4个月的人工智能（AI）创业公司Axiom Math。公司的创始人是他曾经的学生洪乐潼，24岁。

出生于广州、父母为潮汕籍的洪乐潼，携 AI 公司 Axiom Math 以 6400 万美元种子轮融资、3 亿美元估值惊艳硅谷，成为岭南科创精神的新代言人。 这位 24 岁的广州姑娘， ...

初创公司 Axiom Math 由 24 岁的 Carina Hong 创立，致力于开发能够自主验证逻辑正确性的“AI 数学家”。该公司在 2025 年获得 6400 万美元融资，核心团队汇聚了来自 Meta 和 Google 的顶尖人才以及知名数学家。与主流大模型不同，其系统通过 Lean 编程语言确保推理过程的每一步都可追溯、可检查，解决了 AI 产出结果难以验收的信任难题。通过在 ...

她放弃 斯坦福 双博士在读资格，公司还没推出任何产品，估值就飙升到21亿元人民币，更让人意外的是，57岁的传奇数学家竟主动放弃终身教职，甘愿投靠她麾下效力。

00后正在改变世界。 智东西10月13日报道，由00后女生创办的AI创企Axiom Math，最近拿下6400万美元（约合人民币4.56亿元）种子轮融资，估值达到3亿美元（约合人民币21.39亿元）。 Axiom Math创始人洪乐潼（Carina Hong）是一位00后中国女学霸，凭借着在数学上的天赋和 ...

狂揽4.6亿元！近日，来自广州的00后再一次刷新了硅谷的想象。总部位于旧金山的人工智能初创公司Axiom Math，宣布完成首轮6400万美元（约合4.6亿元人民币）融资。 Axiom Math由B Capital领投，Greycroft、Madrona和Menlo Ventures等知名机构共同参与。此轮融资后，公司估值 ...

12月4日，AI初创公司Axiom Math宣布著名数学家、弗吉尼亚大学前教授小野健Ken Ono加入公司，担任创始数学家（Founding Mathematician）职位。 Axiom Math致力于打造“AI数学家”——能推理、发现并证明数学问题的AI，公司已融资6400万美元，核心团队包括多位来自Meta等科技 ...

Carina Hong, 24, raised $64 million to build an AI mathematician that discovers new theorems and solves century-old problems.

At just 24, Carina Hong has become one of the most talked-about young figures in AI, a China-born mathematician who dropped out of a Stanford Ph.D. program to build the AI math startup Axiom Math.