12月4日，AI初创公司Axiom Math宣布著名数学家Ken Ono加入，担任创始数学家。Axiom致力于开发能推理、发现并证明数学问题的‘AI数学家’，已融资6400万美元，团队包括多位来自Meta等科技巨头的成员。公司模型近期自动完成了两个埃尔德什问题的数学猜想证明。Ken Ono曾长期在威斯康星大学、埃默里大学和弗吉尼亚大学任教，指导过多位摩根奖得主。他坦言，AI在数学领域的表现令他震撼，并希望通过加入Axiom探索‘黑板之外改变世界’的机会。公司创始人洪乐潼为麻省理工毕业生，曾是Ken Ono的学生。Axiom目标不仅限于解决数学难题，还希望将数学AI应用于商业场景，如软件验证、金融工程和物流优化。