出生于广州、父母为潮汕籍的洪乐潼，携 AI 公司 Axiom Math 以 6400 万美元种子轮融资、3 亿美元估值惊艳硅谷，成为岭南科创精神的新代言人。 这位 24 岁的广州姑娘， ...

初创公司 Axiom Math 由 24 岁的 Carina Hong 创立，致力于开发能够自主验证逻辑正确性的“AI 数学家”。该公司在 2025 年获得 6400 万美元融资，核心团队汇聚了来自 Meta 和 Google ...

这项由NVIDIA公司Wei Du、Shubham Toshniwal等研究团队开展的突破性研究于2025年12月发表在arXiv预印本平台，论文编号为arXiv:2512.15489v1。该研究构建了迄今为止最大规模的数学推理数据集Nemotron ...

因此，在AI时代，博士生必须全面提升提问能力、想象能力和阅读能力。与此同时，切不可认为AI的应用弱化科研工作者原本具备的核心能力与素养。可以说，勤奋、博闻强记与细心这“老三样”依然是博士生需要保持的能力与素养。

洪乐潼受访者供图本报讯（记者王兆昱）日前，记者从初创公司AxiomMath联合创始人洪乐潼（CarinaHong）处获悉，该公司开发的AxiomProver系统使用可验证的Lean语言，完成了埃尔德什问题集中第124题和第481题的形式化证明，分别用 ...