本报讯（记者王兆昱）日前，记者从初创公司Axiom Math联合创始人洪乐潼（Carina Hong）处获悉，该公司开发的AxiomProver系统使用可验证的Lean语言，完成了埃尔德什问题集中第124题和第481题的形式化证明，分别用时1天和5小时，全程无人为干预。该成果是Axiom Math打造 ...

China-born Carina Hong, a 24-year-old Stanford dropout, has drawn an elite group of AI researchers and a world-renowned mathematician to Axiom Math, her startup building an AI mathematician. Hong’s ...

Carina Hong, a brilliant mathematician, has left formal studies to found Axiom Math. The company aims to build artificial intelligence capable of advanced mathematical reasoning. Hong has already ...

【新智元导读】传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，加入了自己学生Carina Hong创办的Axiom Math，打造「AI数学家」。促使他做出这一决定的，只因他在一次研讨会上看到了AI在数学研究上的无限可能。 刚刚，57岁的数学教授Ken Ono宣布辞去终身教职，跟随 ...

近日，AI 初创公司 Axiom 宣布其模型在没有人类干预的情况下，自动完成了两个数学猜想的证明——埃尔德什问题（Erdős Problem）中的 481 号和 124 号。 据称，481 号问题仅用时 5 小时，代码量为 656 行；124 号问题则耗时超 24 小时。值得关注的是，这些证明均通过 ...

最后只能说：没法验收。 Axiom Math，一家总部在旧金山的 AI 初创公司，换了个思路：不是追求 AI 能做什么，而是证明它做对了什么。 这家刚在 2025 年 10 月完成种子轮融资（6400 万美元，估值 3 亿美元，B Capital 领投）的公司，在做一个 AI 数学家，能独立给出答案 ...

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.

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

2025年，创投圈被一则重磅消息点燃：24岁的广州女孩洪乐潼创立的AI数学公司Axiom Math，仅用10人团队便拿下首轮6400万美元（约4.6亿人民币）融资，投后估值飙升至3亿美元（约20亿人民币）。

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

Ken Ono, one of the most prominent figures in modern number theory, has taken leave from the University of Virginia to join ...