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

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

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

最近，美国一位传奇数学家，放下了终身教职，开始为一位24岁的年轻人“打工”。 据《华尔街日报》，57岁的美国顶尖数学家小野健（Ken Ono）辞去了弗吉尼亚大学终身教职，上周正式加入了他之前的学生，一位24岁年轻人洪乐潼（Carina Hong）创办的AI数学公司 ...

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

数学家小野健（Ken Ono）和他的学生洪乐潼，图片来源：WSJ 最近，美国一位传奇数学家，放下了终身教职，开始为一位24岁的年轻人“打工”。 据《华尔街日报》，57岁的美国顶尖数学家小野健（Ken Ono）辞去了弗吉尼亚大学终身教职，上周正式加入了他之前的 ...

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

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 ...

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