2025年，世界级数学家小野肯辞去弗吉尼亚大学终身教职，全职加入硅谷AI初创公司Axiom，担任创始数学家。这家公司由他的学生、24岁的华人女生洪乐潼创立，专注于开发解决实际数学问题的AI技术。洪乐潼是斯坦福数学博士辍学生，曾获IMO金牌及多项数学荣誉。Axiom近期解决了Erdős问题#124和#481，在数学界引发轰动。公司成立不久即获3亿美元估值，吸引了顶尖专家加盟，包括前Meta研究员François Charton。师生携手创业，目标是破解困扰人类数世纪的数学难题，推动AI在数学领域的突破。

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

2025年，中国00后创业者正以惊人的速度改变世界。AI编程公司Anysphere的00后CEO Michael truell，三年内将公司估值提升至2079.1亿人民币，成为硅谷焦点。潮汕天才洪乐潼创立Axiom Math，获6400万美元融资，投后估值破3亿美元，其目标是打造‘AI数学家’。陈源培团队研发的机器人‘小灵’在世界人工智能大会上展现灵巧手技术，公司估值迅速破亿。付智创立的共绩科技通过算力共享平台解决中小企业算力需求，接入设备算力相当于两个长三角智算中心总和。这些年轻创业者聚焦前沿科技，获得头部资本青睐，被视为中国创新崛起的新生力量。

清华AI数学家系统攻克均匀化理论难题！人机协同完成17页严谨证明 清华大学科研团队利用自主研发的AI数学家系统（AIM），通过人机协作成功解决了一项均匀化理论研究问题，完成了约17页的数学证明。这一成果验证了AI从“解题工具”升级为“科研伙伴”的可行性，为复杂数学问题的突破提供了新路径。 近年来，A...

清华AI数学家：独立完成理论难题，自动调用基本定理构建证明思路 近日，清华大学团队推出了一款名为AIM（AI Mathematician）的数学推理框架，旨在解决前沿数学理论问题。这项技术通过自动化推理，能够独立完成复杂理论的证明工作，并展现出较高的完成度。 例如，在解决吸收边界条件问题时，AI...