据悉，洪乐潼曾是美国斯坦福大学博士生，目前退学创业。她本科毕业于美国麻省理工学院，获数学和物理双学位，后在英国牛津大学获得神经科学硕士学位。她还曾获得表彰北美地区数学专业本科生杰出研究的AMS-MAA-SIAM摩根奖。不久前，洪乐潼入选“福布斯30岁 ...

美国弗吉尼亚大学数学系讲席教授小野健（Ken Ono）今年57岁，学术声誉卓著。但前不久他刚辞去教职，加入了一家成立仅4个月的AI创业公司Axiom Math。 公司的创始人是他曾经的学生洪乐潼，今年24岁。 12月3日，Axiom Math宣布：其“AI数学家”在无人干预的情况下，攻克了困扰数学界数十年的两道埃尔德什难题。同一天，洪乐潼收到了入选“福布斯30岁以下30人”榜单的消息。 洪乐潼形容 ...

传奇数学家Ken Ono辞去了弗吉尼亚大学终身教职，加入了自己学生Carina Hong创办的Axiom Math，打造「AI数学家」。促使他做出这一决定的，只因他在一次研讨会上看到了AI在数学研究上的无限可能。

或许人们还沉浸在Gemini 3带来的冲击中，但就在11月27日晚间，DeepSeek在AI开源社区Hugging Face上发布其最新数学模型DeepSeek Math-V2一事，再次引起AI圈内一片沸腾。 在一同发布的论文中，DeepSeek方面表示，该模型通过自验证的方式突破了目前AI在深度推理方面的局限，尤其是针对大模型在数学领域“只是做题家，难成数学家”的症结，即，只重视答案却无法保证推 ...

人工智能领域迎来新突破，DeepSeek团队在开源社区Hugging ...

新发布的模型DeepSeek-Math-V2DeepSeek-Math-V2是一个基于DeepSeek-V3.2-Exp-Base的垂类模型，主攻是的数学，数学推理与证明能力很强：在 IMO 2025 与 CMO 2024 上获得金牌水平成绩，并在 Putnam 2024 上通过扩展测试时计算取得几乎满分的 118/120。