廣州出生長大的00後女孩洪樂潼，僅用3年即修畢麻省理工學院（MIT）數學和物理雙學位，在史丹福大學博士在讀期間退學，創立AI公司Axiom。該公司近獲得2億美元的A輪融資，消息令公司估值急飆，升至市值16億美元（約125.3億港元）。 成功獲2億美元A輪融資 據快科技報道，洪樂潼（Carina Letong Hong）創立Axiom約1年多，聚焦AI數學基礎層缺陷，核心邏輯是通過Lean程式語言建