洪樂潼25歲，其AI初創上月獲A輪2億，公司估值16億。MIT本科數理，斯坦福數博退學創業。公司方向ai驗證程序，正招人

來源: 天青雲淡 於 2026-04-06 11:25:23 [] [舊帖] [給我悄悄話] 閱讀數 : (1525 bytes)

洪樂潼（英文名：Carina Letong Hong），女，中國廣州人，2001年出生，洪樂潼曾就讀於華南師範大學附屬中學，並入選2017年廣東省中學生英才計劃 。本科就讀於美國麻省理工學院，用三年完成數學與物理雙學位學業 ，並修讀了20門高等數學課程 ，在此期間還發表了9篇論文，刊登在《美國數學會會報》、《拉馬努金期刊》上。
2022年，洪樂潼入選羅德學者後赴牛津大學攻讀神經科學碩士學位 ，期間還在倫敦大學學院進行人工智能和機器學習研究 。2024年8月，洪樂潼進入斯坦福大學攻讀數學博士和法學博士，後退學並投身人工智能領域。同年創辦Axiom Math公司，其團隊研發的Axiom Prover係統在普特南競賽中取得滿分，並於2025年12月自主證明了埃爾德什問題#124（用時超24小時）和#481（用時5小時）等開放性數論猜想 。該項目致力於發展可驗證人工智能，通過形式化驗證確保AI推理結果的正確性。2026年3月，Axiom Math完成2億美元A輪融資，估值達16億美元 。團隊包括人工智能與數學領域專家，如CTO Shubho Sengupta、核心科學家François Charton，以及傳奇數學家小野健（Ken Ono）辭去終身教職加入。

所有跟帖： 

• 像這樣的小留創業者，H1B/綠卡也會有問題嗎？ -BeLe- ♀ 給 BeLe 發送悄悄話 BeLe 的博客首頁 (0 bytes) () 04/06/2026 postreply 11:28:32

• 有創業小留分享自己辦o1 好像沒兩三個月就下來 -米湯- ♂ 給 米湯 發送悄悄話 米湯 的博客首頁 (0 bytes) () 04/06/2026 postreply 11:34:48

• 這人在mit就作弊，不作弊，課都學不下來，發論文也是靠別人。Reddit 早就有M的人爆料。在斯坦福是因為作弊被退學的。 -youtub- ♂ 給 youtub 發送悄悄話 youtub 的博客首頁 (0 bytes) () 04/06/2026 postreply 11:32:38

• 還有這事？ -米湯- ♂ 給 米湯 發送悄悄話 米湯 的博客首頁 (0 bytes) () 04/06/2026 postreply 11:36:03

• 有點意思，她是Rhodes Scholar -BeLe- ♀ 給 BeLe 發送悄悄話 BeLe 的博客首頁 (180 bytes) () 04/06/2026 postreply 11:36:32

• 背景？ -bia- ♂ 給 bia 發送悄悄話 (0 bytes) () 04/06/2026 postreply 11:40:50

• 廣東潮汕人， 父母沒有念過大學 -Mike121212- ♂ 給 Mike121212 發送悄悄話 (108 bytes) () 04/06/2026 postreply 19:17:38

• 就是前兩年誰誰誰在這裏提到的學期中間缺課跟家人外出旅遊，被教授揪出作弊的那個？ -數與形- ♀ 給 數與形 發送悄悄話 (0 bytes) () 04/06/2026 postreply 11:39:31

• 時間對不上。她在MIT獲得羅德獎，你信這層層篩選的羅德獎會給一個作弊者？ -天青雲淡- ♂ 給 天青雲淡 發送悄悄話 (0 bytes) () 04/06/2026 postreply 11:45:32

• 應該給出證據來源。風投家們是絕對不可能投給一個作弊者，隻有你能給出確實證據，她肯定是一點血同樣下場。 -天青雲淡- ♂ 給 天青雲淡 發送悄悄話 (0 bytes) () 04/06/2026 postreply 11:41:06

• 這個的確有爭議 -凊荷- ♀ 給 凊荷 發送悄悄話 凊荷 的博客首頁 (169 bytes) () 04/06/2026 postreply 11:43:24

• 又看了一下公司的信息 -凊荷- ♀ 給 凊荷 發送悄悄話 凊荷 的博客首頁 (36 bytes) () 04/06/2026 postreply 11:50:58

• 也是很好奇，這個公司的風險投資者是那裏的？如果是老美風險肯定被仔細評估過，投資者如果是大陸的那就不好說了，動機可能有多種 -gegenion- ♂ 給 gegenion 發送悄悄話 (0 bytes) () 04/06/2026 postreply 12:03:21

• 據說axiom公司大模型做Putnam滿分。現在風投有太多未變現增值，不投白不投；a16z領導也說過：不怕投錯，就怕錯過 -米湯- ♂ 給 米湯 發送悄悄話 米湯 的博客首頁 (265 bytes) () 04/06/2026 postreply 13:06:10

• 這種話除非有證據有公開，不然可不能亂講的 -trivial- ♀ 給 trivial 發送悄悄話 (120 bytes) () 04/06/2026 postreply 11:41:17

• Ken Ono 是知名學者， 她有好幾篇論文是在Ono 指導下做的。Ono 去加入她的公司，至少證明她的導師認可她 -trivial- ♀ 給 trivial 發送悄悄話 (0 bytes) () 04/06/2026 postreply 11:43:26

• 你說的這個消息比較令人吃驚，如果是真的，這個小女孩未來的credits非常令人擔憂！ -gegenion- ♂ 給 gegenion 發送悄悄話 (0 bytes) () 04/06/2026 postreply 11:42:22

• 小留發生啥都不稀奇 -阿拉拉- ♂ 給 阿拉拉 發送悄悄話 (0 bytes) () 04/06/2026 postreply 12:54:52

• 作弊這個事Google 一下就有lol -成功的米菲兔- ♀ 給 成功的米菲兔 發送悄悄話 (0 bytes) () 04/06/2026 postreply 11:47:53

請您先登陸，再發跟帖！