Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

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

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

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

美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）今年57岁，学术声誉卓著。但前不久他刚辞去教职，加入了一家成立仅4个月的AI创业公司Axiom Math。 公司的创始人是他曾经的学生洪乐潼，今年24岁。 12月3日，Axiom Math宣布：其“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）辞去了弗吉尼亚大学终身教职，上周正式加入了他之前的 ...

Investors usually fund startups based on metrics involving revenue, profits or product usage. But investors backing newer AI ...

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