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

不久前，57岁的美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）辞去教职，加入了一家成立仅4个月的人工智能（AI）创业公司Axiom Math。公司的创始人是他曾经的学生洪乐潼，24岁。 近日，Axiom Math宣布其“AI数学家”在无人干预的情况下，攻克了困扰数学界数十 ...

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

Ken Ono, one of the most prominent figures in modern number theory, has taken leave from the University of Virginia to join Axiom Math, an AI startup founded by his former student, Carina Hong.

One of the first in her family to receive higher education, Carina Hong, 24, excelled academically before leaving her Stanford PhD program to start Axiom Math, an AI math startup attracting top talent ...

Carina Hong’s path into artificial intelligence began far earlier than her decision to leave Stanford University. Before founding Axiom Math in March, Hong studied mathematics and physics at the ...