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

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

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

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

AI领域正迎来一波青春风暴，多位“00后”创业者崭露头角，以技术实力和创新思维掀起行业新波澜。其中，24岁的华裔女生洪乐潼（Carina Hong）创办的AI数学公司Axiom Math，凭借首轮6400万美元融资（约合人民币4.6亿元）引发关注，投后估值达3亿美元（约合人民币20 ...

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

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

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

Frustrated by the AI industry’s claims of proving math results without offering transparency, a team of leading academics has ...