庄群施遗容曝光
如实亦然颤动数学和 AI 两界了。
因为就在最近，世界级顶尖数学家告示离职，前去硅谷，全职加入 AI 初创公司——
这家公司，如故我方学生创办的——一个 24 岁 00 后华东谈主女生。
这个数学家，恰是被誉为"最懂拉马努金确现代数论学者"的小野肯（Ken Ono）。
一辈子都扑在纯数学上，拿奖拿笔直软、荣誉满身的他，如今脱掉学者长衫，带着学生一块儿离职创业，其抉择号称激进。
诱骗他的这家公司，也不是拖拉之辈，而是硅谷新贵—— Axiom，一家主打 AI 数学的明星公司。
几个月前，凭借 0 居品 0 用户就罢昭彰 3 亿好意思元估值，创举东谈主 24 岁、斯坦福数学博士辍学，名叫洪乐潼（Carina Letong Hong）。
洪是公认的数学少年天才、IMO 金牌得主、三年 MIT 数学和物理双学位、2022 年度中国罗德学者，亦然仅有的 4 名中国获奖者之一……
如今师生搭档，创业之路再获精深助力。
最不行能作念 AI 的东谈主作念 AI 了
据悉，小野肯将手脚该公司的第 15 位职工加入，职位是创举数学家。
他主要的责任是鼓吹里面 AI 模子达到性能极限，通过磋磨出唯有深度显露数学原聪慧商够贬责的数常识题，以及制定斟酌系统性能的基准，指挥模子优化。
用小野肯我方的话来说便是，他负责镇守公司的大后方，为模子"绘图舆图"，评估模子现存的水和睦掌持数学界公理。
在开赴去探索新地皮之前，你需要知谈你目下的位置以及依然探索过的地点。
而事实上，在不久前，小野肯对加入硅谷 AI 初创公司这件事还并不伤风，以致他对通盘 AI 领域都持怀疑气派。
他频频簸弄我方是个天生智能（Naturally Intelligent），AI 思要在数学方面取代他，再过个几十年吧。
这并非他自吹自擂，好意思国数学学会前会长 Ken Ribet 曾评价他是"数学领域举足轻重的东谈主物"。
他鼓吹并彭胀了拉马努金的分拆表面，调解诠释注解了多量对于分拆函数的新等式、母函数、模体式结构，包括拉马努金同余式到影蟾光猜思。
2024 年 9 月，他还在 PNAS（好意思国国度科学院院刊）上调解发表了一篇对于罗杰斯 - 拉马努金恒等式的诳骗论文，并将其用于检测质数。
为此他还一度被誉为"招揽拉马努金精神的现代数学家之一"。
另外手脚好意思国数学学会（AMS）会士的他历久在好意思国名校任教，领有弗吉尼亚大学终生教职，指令了世界顶尖的精英本科生筹商技俩，并延续指挥出数十位摩根奖取得者。
恰是这么一个学术界的"老痴呆"，却出乎预想地辞去了我方的终生教职。
变嫌他思法的机会出目下昨年春天，他被受邀参加专为 AI 模子测试编纂筹商级数常识题的研讨会，截止在 AI 眼前，他有点交心落空：
我也曾对 AI 模子的种植上风正在收缩，尤其是在我不擅长的数学领域，我嗅觉模子依然遥遥种植于我。
Sad！嗅觉我方的饭碗不保……截止怒视切齿多日后，他终于顿悟：那不如我方砸我方的饭碗（bushi）。
他刚毅到模子提供的也不外是一种全新的数学贬责道路，造一个数学 AI 也未始不行。
于是小野肯决定作念出变嫌，离开学术界，并关系了我方的门生——那时正在广招东谈主才的洪乐潼。
从师生到 AI 创业调解
洪乐潼正本在斯坦福读博，其后退学创业，建设了 AI 公司 Axiom（公理）。
Axiom 和小野肯的见地一口同声，中枢见地便是为量化和对冲基金公司设备不错贬责本色数常识题的 AI。
具体来说，将通过学习严格的逻辑推理和数学诠释注解的经由，让 AI 大略像数学家一样构建和考据体式化诠释注解（formal mathematical proofs），并保证截止的准确性和严谨性。
然后将居品卖给对冲基金和量化往还公司，匡助他们快速贬责投资、股市等金融领域的复杂数常识题。
最近，Axiom 在数学界推崇亮眼，一举贬责了Erd ő s 问题。
Erd ő s 网站共网罗了 1100 个组合数学和数论难题，泰国修车群其中唯有 266 个得到诠释注解，Lean 体式化的仅有 10 个。
其中是一个 30 年前的加法数论问题，触及将整数默示为多个进制下的幂之和，在 Axiom 发布的前两天，Harmonic 雷同宣称贬责了该问题，但只完成了简化版问题的诠释注解，以及 Lean 体式化考据。
而 AxiomProver 模子则将其进一步考据到基础公理层面。
则源自 45 年前，接头某个特定的迭代算术经由是否最终一定会产生相易元素。几周前，OpenAI 曾宣称GPT-5贬责了该问题，但社区指出，它仅仅检索到了现存文件，并莫得信得过贬责。
Axiom 则是如实完成了这项责任，并借助 Lean 体式化完成了统统的类型查验。
要知谈，这一切都来自于一个刚刚成立的初创公司，起步晚、公司职工也唯有十来名。
但却挖走了一普遍顶尖 AI 和数学界巨匠，除了小野肯，其中知名的还有前 Meta 筹商员Fran ç ois Charton，他曾让 Transformer 模子解常微分方程 ( ODE ) 与偏微分方程 ( PDE ) ，这项筹商其后也被视作让神经汇聚显露数学结构的前驱效果。
而小野肯在加入 Axiom 之前，还连气儿拒却了多份硅谷其它公司的邀请。
之前首轮融资更是靠着 0 居品 0 用户，就罢昭彰3 亿好意思元估值，投资东谈主中也不乏 B Capital 这类顶级 VC。
为啥人人都押注 Axiom 呢？
究其根底，如故因为其创举东谈主洪乐潼值得。
细数洪乐潼的经验：
出身于中国广州，父母莫得受过高档锻练，但她从小就对数学酷爱酷爱浓厚，于是自学英语以读懂领域教科书。
高中加入 CMO 省队，经过层层筛选，成为终末仅剩的 4 位女生之一。
其后在罗斯接洽和斯坦福数学营中迷上了勒让德 / 雅可比象征和处理表面，并决心攻读高档数学。
我一直对数学发现相配感酷爱酷爱。奥林匹克数学是一种持续的多巴胺冲击，但筹商型数学则是头撞南墙。这是灾荒和折磨的，但我喜欢这部分。
随后她只用了 3 年时辰，就读完麻省理工数学和物理本科双学位，并拿下 IMO 金牌。
在此时间还发表了 9 篇论文，触及领域卓越平庸，包括模椭圆弧线与 K3 曲面的 L 函数、蟾光猜思、theta 与别离函数同余方程、堆栈排序算法，和二部图边染色的马尔可夫链。
其中大多数如故和张盛桐（本科时间登上数学四大顶刊）调解完成，并刊登在《好意思国数学会会报》、《拉马努金期刊》上。
亦然在 MIT 时间，如故大一重生的洪乐潼成为了小野肯的学生，加入了他的数论技俩。
在小野肯的指挥下她贬责了拉马努金表面中的部分猜思，并取得了拉马努金精神奖学金。
随后她又连气儿取得 Schaefer 数学奖全好意思女生第一，Frank 和 Brennie Morgan 本科生特出数学筹商奖，并被提名为 2022 年度中国罗德学者，是仅有的 4 名中国获奖者之一。
2024 年拿下斯坦福数学博士登第 offer，筹商标的为数论、组合学和概率学，还进修了法律学课程。
凭借着对数学和 AI 的喜欢，她最终决定告别校园全身心插足创业，和 Meta 的 AI 科学家Shubho Sengupta一皆加入了这场与时辰竞走的竞争，她默示：
筹商数学果然很难，为数学设备 AI 更难。
但她长久牢记 AMD CEO苏妈给他们的残暴："朝着最贵重的问题前进"。
她也真实这么作念了，Axiom 从建设之初就高亢寻找数学公理，破解困扰东谈主类数个世纪的问题，她最近也被评为2026 年福布斯 30 位 30 岁以下的 AI 精英。
目下 Axiom 不仅有 00 后斯坦福数学博士创举东谈主、大量融资加持，还再度迎下世界级顶尖数学家的加盟。
从师生到调解伙伴，他们正在像昔时的黄金师徒哈代和拉马努金，联袂面临数学界的 GPT 时刻。
而一切，才刚刚启动。
参考连气儿：
[ 1 ] https://www.wsj.com/tech/ai/math-ken-ono-carina-hong-axiom-startup-649bc417?st=v3DHMi&reflink=desktopwebshare_permalink
[ 2 ] https://x.com/CarinaLHong/status/1996606602238189831
[ 3 ] https://x.com/CarinaLHong/status/1995921695010685109
[ 4 ] https://mp.weixin.qq.com/s/xxlKJ-6_SlHbia_RPnwiJA
一键三连「点赞」「转发」「防止心」
宽饶在驳倒区留住你的思法！
— 完 —
� � 锁定 12 月 10 日周三，AI 圈一年一度全都禁锢错过的盛宴赶紧就要来了——MEET2026 智能改日大会。� � 了解笃定
� � 重磅 GenAI 对话 + 前沿 Agent 圆桌，深挖年度最热议题
� � 近三十位来自学术界、产业界与前沿创业一线的分量级嘉宾
� � 「东谈主工智能年度榜单」与「年度 AI 趋势禀报」认真发布
，一皆来 AI 剖析跨年 ❤️� �
� � 点亮星标 � �
科技前沿进展逐日见庄群施遗容曝光