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