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

2025年10月，Axiom Math完成6400万美元首轮融资，投后估值达3亿美元。创始人洪乐潼，24岁，广州出生，曾就读华南师大附中、麻省理工、牛津大学，现为斯坦福博士生。公司专注于开发解决复杂数学问题的AI模型，未来可应用于金融建模、芯片架构等领域。团队仅10人，但包括多位Meta AI专家。洪乐潼因一次咖啡馆交流退学创业，目标推动数学复兴。此外，00后创业者正集体登上AI舞台，如Sola Solutions、Anysphere等初创公司均获高额融资，展现年轻一代在科技领域的潜力。