洪乐潼

公开资料显示，洪乐潼是广州出生长大的潮汕人。

创业仅4个月，洪乐潼带领不足10人的团队（核心成员仅4人），用自主研发的AxiomProver系统，可在分钟级完成IMO银牌难度几何题，并接连攻克两道悬而未决的数学难题，震惊了数学界与AI圈。

创业仅4个月，洪乐潼带领不足10人的团队接连攻克两道悬而未决的数学难题

世界著名数学家小野健跳槽去了一家由他的学生洪乐潼创办的公司

然而很快，他跳槽去了一家由他的学生洪乐潼创办的公司，成为了这家初创公司里最令人意想不到的员工。

2001年，洪乐潼出生在广州天河区的一个普通家庭，父母是土生土长的潮汕人，在广州务工打拼。

他们谈天说地，聊理论机器学习的实践价值，聊共同认识的研究者，聊未来AI与广告的融合……这位员工后来成为洪乐潼公司的首席科技官。

2025年12月3日，洪乐潼在社交平台发文，宣布其公司开发的AxiomProver系统，分别用1天和5小时，在无人为干预的情况下完成了埃尔德什问题集中第124题和第481题的证明

2025年12月3日，洪乐潼在社交平台发文，宣布其公司开发的AxiomProver系统

2025年10月，在Axiom Math完成6400万美元（约合人民币4.6亿元）融资后，洪乐潼放弃了博士学位

2025年10月，在AxiomMath完成6400万美元（约合人民币4.6亿元）融资后，洪乐潼放弃了博士学位，全身心投入了创业。

洪乐潼有多优秀？

公司的创始人是他曾经的学生洪乐潼，24岁。

有57岁的顶尖数学家小野健——为了加入前学生洪乐潼的团队，他不惜辞去弗吉尼亚大学终身教职。

公开资料显示，洪乐潼是广州出生长大的潮汕人。

世界著名数学家小野健跳槽去了一家由他的学生洪乐潼创办的公司

然而很快，他跳槽去了一家由他的学生洪乐潼创办的公司，成为了这家初创公司里最令人意想不到的员工。