大陸「數學天才女孩」洪樂潼自史丹福大學攻讀法學與數學雙博士輟學，在矽谷創立人工智慧初創公司Axiom Math，公司成立僅一年多，便完成2億美元（美元，下同，約合新台幣65億元）A輪融資，估值達16億美元，躋身獨角獸行列，成為AI與基礎數學交叉領域備受關注的新創企業。 綜合陸港媒體報導，洪樂潼創立的Axiom，名稱源自數學中的「公理」，聚焦AI數學推理與形式化證明，希望解決傳...