在硅谷和华尔街风起云涌的AI创业热潮中，洪乐潼（Carina Letong Hong）是一位格外引人注目的年轻女性创业者。00后出生的她已经获取了斯坦福数学 博士，而她创立的Axiom公司目前尚无成品，也未正式拥有客户，却已获得数亿美元的估值，成为AI+数学创业领域的一匹"黑马"。这种惊人的市场认 可，背后是她一条极具传奇色彩的学术与创业之路。 从奥数小将到MIT双学位 洪乐潼出生于中国广州，父母虽未接受高等教育，却悉心培养她对知识的渴望。她的数学天赋早在青少年时期便崭露头角，加入免费的奥林匹克数学项 目，面对来自全球数学家的难题，她曾说："我在知识的世界里环球旅行。"高中时期，她是数学奥林匹克省队的唯一四名女生之一，站在竞赛顶尖的门槛 上。 怀揣对数学的热爱与渴望，洪乐潼14、15岁时便开始在笔记本边缘写下"MIT"，自我激励。三年内，她完成了麻省理工学院（MIT）数学与物理双学士学 位，期间发表9篇学术论文，涵盖数论、组合学、代数几何等纯数学前沿领域，这在本科生中极为罕见。她曾多次获得包括美国数学协会颁发的Alice T. Schafer奖和Frank & Brennie Morgan本科生研究奖等重量级 ...

明敏 鹭羽 发自 凹非寺 量子位 | 公众号 QbitAI 斯坦福华人数学博士AI创业， 0产品0用户 ，目标估值3亿美元。 0产品实现3-5亿估值 方向瞄准 数学AI ，要为量化和对冲基金公司提供可解决实际数学问题的模型能力。 （嗯，打造了DeepSeek的幻方量化，也是用AI来做投资量化） △ 来自个人主页 来自中国广州的 洪乐潼 （Carina Letong Hong）近期开启创业，立马一鸣惊人。 据The Information消息，她正在筹集目标为 5000万美元 的融资，公司估值预计 3-5亿美元 ——尽管目前公司还没有开发出一款产品。 为啥能实现如此估值？ 来看创始人兼CEO洪乐潼身上的标签： 3年时间完成麻省理工数学和物理本科双修 ，然后拿下斯坦福数学博士录取offer研究方向为数论、组合学和概率学，同时也进修了法律学课 程。 本科期间的论文已经发表在《美国数学会会报》、《拉马努金期刊》等刊物。2021年获得牛津大学罗德奖学金，成为仅有的4名中国获奖者之 一…… 如今，她开启创业，希望利用编程语言来训练模型，使其能掌握形式化证明的"语言"。 洪乐潼创立的公司名叫Axiom （公理） ，它的核心 ...

机器之心报道 编辑：大盘鸡、泽南 DeepSeek R2 的前奏？ 五一劳动节到了，DeepSeek 的新消息可没停下来。 前些天到处都在流传着 DeepSeek-R2 即将发布的传言，DeepSeek 确实有新动作，不过大家没等来 R2，等来的是 DeepSeek-Prover-V2，它当然也是 开源的。 Prover-V2 在定理证明赛道上实现了业内最佳性能，在 MiniF2F 测试中达到了 88.9% 的通过率，在 AIME 24、25 上也有不错的分数。 在 4 月 30 日晚，机器学习协作平台 HuggingFace 上就更新了 DeepSeek-Prover-V2 的一些技术细节。 | Models | | --- | 其中，DeepSeek-Prover-V2-671B 是在 DeepSeek-V3-Base 基础上训练而成，而 DeepSeek-Prover-V2-7B 则基于 DeepSeek-Prover-V1.5- Base 构建，并支持最长 32K tokens 的上下文长度扩展。 要一句话总结 DeepSeek-Prover-V2 到底是什么？ 它是一款专为「数学 AI 编程语言」L ...