「數學如今能以指數級規模和空前速度展開」。多知10月15日消息，總部位於舊金山的人工智慧新創公司Axiom獲得了由B Capital 領投的6,400萬美元種子輪融資，Greycroft、Madrona Venture Group和Menlo Ventures也參與其中。此輪融資後，該公司的估值約為3億美元。利用新融資，Axiom 計劃擴大其工程和研究人才，增強其推理引擎，並在密碼學、物理學和高級演算法等領域的基準問題上測試其係統。Axiom創辦為洪樂潼(Carina Hong)，她出生於中國廣州，畢業於史丹佛大學，擁有麻省理工學院和牛津大學的學位，她在麻省理工獲得數學和物理雙學位，然後拿下史丹佛數學博士錄取offer研究方向為數論、組合學和機率學，同時也進修了法學課程。她本科期間的論文已經發表在《美國數學會會報》、《拉馬努金期刊》等刊物。 2021年獲得牛津大學羅德獎學金，成為僅有的4名中國得獎者之一。洪樂潼組建了一支由經驗豐富的人工智慧和數學專家組成的團隊，其中許多人來自Meta 的FAIR 實驗室。核心成員包括因解決百年數學難題而聞名的弗朗索瓦·查頓(Francois Charton) 、人工智慧安全和公平性專家阿拉姆·馬科斯揚(Aram Markosyan ) 以及深度學習程式碼生成領域的先驅休·萊瑟(Hugh Leather) 。在洪樂潼的帶領下，Axiom 正在開發一種人工智慧系統，該系統不僅可以解決複雜的數學問題，還可以透過提出猜想(尚未得到證實的數學陳述)來產生新的數學知識。該模型能夠產生嚴格的、逐步的證明，並可使用Lean 和Coq 等證明助手進行獨立驗證。該方法旨在將教科書和研究論文中的英語數學轉化為程式碼，使人工智慧能夠創建和驗證突破現有知識界限的新問題。近日，洪樂潼在X平台上發布了Axiom的宣傳視頻，稱“我們正在構建一個能夠自我進化的超級智能推理系統，從打造一個AI數學家開始。”在她看來，數學發現揭開萬物的奧秘，從人類大腦到浩瀚宇宙。歷史上的每次數學突破都成為下一發現的基石。而人工智慧正徹底改變這場探索。洪樂潼認為，數學如今能以指數級規模和空前速度展開，這場革命建立在三大支柱之上：1、人工智慧以難以想像的規模生成創意;2、 程式語言將抽象概念轉化為現實;3、 數學將萬物緊密相連。由此形成的發現飛輪，讓每一個突破都能催生下一個飛躍。而Axiom 則組建了一支橫跨三大領域的頂尖團隊，希望實現：大規模同步訓練架構、將AI引入代碼生成，以及應用Transformer模型破解百年數學猜想。研究人員和投資者都認為Axiom 的目標極具說服力且鼓舞人心。目前，Axiom 正在開發能夠發現和解決新數學問題的模型。研究人員也希望將他們的研究成果應用於金融、飛機設計、晶片設計和量化交易等領域。除了純數學之外，Axiom 的人工智慧工具正在金融、飛機和晶片設計以及量化交易等需要嚴格運算精度的領域進行實際應用測試。 B Capital 合夥人Yan-David Erlich 表示：“解決複雜的數學問題是許多人類發明的核心。”今年9月下旬，Axiom受邀參加了Oberwolfach 數學人工智慧研討會，該會議僅限受邀者參加，以促進傑出研究人員之間的合作而聞名於世。未來，Axiom希望看到人類數學家與人工智慧數學家之間的合作。可以看到，Axiom憑藉其雄心勃勃的願景、深厚的專業知識和大量資金，希望重新定義AI在科學發現和行業創新方面所能取得的成就。(多知)

00後登場。創投圈的00後面孔越來越多了。投資界獲悉，Axiom Math正式完成首輪6400萬美元（約合人民幣4.6億元）融資，由B Capital領投，Greycroft、Madrona和Menlo Ventures等機構參與，投後估值3億美元（約合人民幣20億元）。締造Axiom的正是00後洪樂潼（Carina Hong）——在廣州出生長大，她曾就讀於著名的華南師大附中，多次拿下奧數競賽獎牌。後考入麻省理工學院，碩士畢業於牛津大學，又來到史丹佛大學攻讀博士學位。頗為戲劇性的是，Axiom的誕生來自於一次咖啡館的交流。(圖片來源：麻省理工學院)悄然間，00後創始人正在大舉登上AI舞台。10個人，完成首輪融資估值20億Axiom是誰？官網顯示，這家嶄露頭角的AI公司，定位為“以AI數學家為起點，打造一個能夠自我提升的超級智能推理系統”。換言之，這是一個可以解決複雜數學問題的模型，可以生成為獲得答案改採取的不同步驟的詳細推理，同時進行驗證。具體而言，Axiom的想法是將教科書、論文和期刊中的英文數學內容轉換為程序化知識，以便人工智慧可以解決數學問題，並能通過驗證來檢驗解答。未來，這一模型的研究場景有望拓展到金融建模、晶片架構甚至是量化交易等領域。在創始人洪樂潼的設想中，該模型或許能提出新的數學猜想，由此產生全新的知識。為何瞄準AI數學賽道？當中有一段插曲。今年ChatGPT o3曾被爆出數學測試作弊，洪樂潼在社交媒體指出，OpenAI的大模型之所以在數學測試中表現良好，可能是因為該公司在訓練模型時已接觸過這些題目。她舉例稱，美國數學邀請賽考試中，部分大語言模型可以達到96%的精準率，但當要求展示證明過程時，分數驟降至5%。“為什麼會有這樣的差異？因為訓練方式有問題。”當前AI大模型無法完美解決的組合數學問題，恰恰是洪樂潼的研究專長。在Axiom看來，人工智慧帶來了一個歷史性的轉折點，即數學領域的發現能夠以指數級的速度迅猛發展，因此現在正站在一場數學復興的門檻之上。而這場復興建又立在三大支柱之上：人工智慧、程式語言以及數學。三者共同推動著一系列發現的出現，每一次突破都會為下一次創新提供強大的動力。如今首輪融資正式出爐，Axiom的核心團隊也首次亮相——儘管目前僅有10名全職員工，但當中不乏多位來自Meta的AI大牛。例如現任CTO Shubho Sengupta，曾領導Meta FAIR團隊，開發出OpenGo和CrypTen，此前他還參與過Google分佈式訓練系統的研究工作，同時也是最早開發CUDA技術的專家之一；François Charton，則在Meta負責過大語言模型在數學和理論物理學的研究，他在2019年就開始探索如何將Transformer技術應用於複雜的數學問題；Hugh Leather，也是Meta前人工智慧研究科學家，曾開發出首批用於編譯器和GPU程式碼生成的大語言模型。作為此次領投方，B Capital合夥人在官網中表示，解決複雜的數學問題是許多人類發明的核心，因此一種能夠提出新的定量假設並進行驗證的工具，從而為決策提供可靠的依據，無疑會具有極高的價值。而Axiom團隊也具備獨特的優勢，能夠抓住這一機遇，將先進的數學推理技術變為現實。“Carina Hong是一位傑出的數學家，她不僅擁有非凡的學術成就，更具備最優秀的創業者所具備的那種熱情與專注力，她將遠見卓識的領導力與堅定不移的執行力完美地結合在了一起。”她的征程才剛剛開始。一位00後女學霸帶隊來自廣州Axiom的故事，離不開一路開掛的洪樂潼。出生於廣州，今年24歲，她的父母是土生土長的潮汕人。儘管父母並沒有接受過高等教育，洪樂潼卻自幼展現出不凡的數學天賦，她中學就讀於廣東名校華南師範附中。高中時期，洪樂潼是數學奧林匹克省隊的唯一四名女生之一，多次在“華羅庚金盃”、全國高中數學聯賽等競賽中取得好名次。2019年，她考入麻省理工學院，攻讀數學和物理雙學位。本科期間，洪樂潼曾擔任數學協會主席，並修讀20個碩博課程，發表多篇高品質學術論文，涉及模橢圓曲線與K3曲面的L函數、月光猜想、彈出棧排序演算法研究等領域。畢業前後，洪樂潼先是拿下Schafer數學卓越獎，該獎每年僅頒發給一名本科女生；後獲得北美數學本科生的最高榮譽——摩根獎，她是第五位獲此殊榮的女生。2022年底，洪樂潼成功拿到牛津大學羅德獎學金，成為僅有的四名中國獲獎者之一。羅德獎學金是世界上歷史最悠久、最負盛名的國際獎學金項目之一，有“本科諾貝爾獎”的美譽。隨後，洪樂潼前往英國牛津大學學習神經科學，獲得碩士學位。期間還在倫敦大學學院進行人工智慧和機器學習研究，當時她曾表示，“人工智慧與科學家未來的互動會怎樣？是我接下來希望研究的課題。”到了2024年8月，洪樂潼進入史丹佛大學攻讀數學博士和法學博士。“一直以來，我都是一名研究者。”此前一次採訪中她稱，內心深處最想要解決真正困難的技術問題。很快，還在博士就讀的她闖入了AI界。她創辦Axiom源於一次在咖啡館的交流。去年秋天的一個周末，洪樂潼在史丹佛附近的一家咖啡館，與當時還在Meta工作的Shubho Sengupta進行了交流。兩人聊了幾個小時，討論了各自研究領域的交叉點，以及開發人工智慧解決世界上最棘手的數學問題的可能性。這次交流後不久，洪樂潼便從史丹佛退學，著手創辦Axiom。有意思的是，Axiom的會議室都是以數學巨匠來命名，例如高斯和阿達·洛夫萊斯。就在年初DeepSeek火爆全球之際，洪樂潼曾發出這樣的感慨：“一個小而專注、特立獨行的團隊。一群理想主義者組成的優秀合作夥伴。他們執行力強，親力親為。最珍貴的，是那份理想與使命交織的信念。這就是DeepSeek的故事，也是我想親自書寫的故事。”正如Axiom在官網中所言，“數學發現的未來，就從這裡開始。”投身AI00後正集體登場放眼望去，00後創始人正集體登上AI舞台。不久前，兩位來自麻省理工的00後——22歲的華裔女生Jessica Wu和23歲的尼爾·德什穆克，所創立的Sola Solutions拿下矽谷知名風投的融資。官網顯示，融資包括由Conviction領投的350萬美元種子輪，以及由a16z領投、Conviction跟投的1750萬美元A輪，總計2100萬美元（約合人民幣1.5億元）。這樣的案例正在湧現。今年5月，AI初創公司Anysphere完成一輪9億美元融資（約合人民幣65億元），估值達90億美元，成為今年最火AI程式設計獨角獸之一。而掌舵公司的是四位年輕面孔——2022年，從麻省理工學院畢業的Michael Truell和他三位同學一拍即合，瞄準AI程式設計賽道下場創業，旗下產品Cursor一舉改變程式設計方式，迅速席捲矽谷AI圈。無獨有偶，今年3月AI招聘網站Mercor宣佈完成1億美元B輪融資，估值達到20億美元，成長速度令人咋舌。公司創始人是三位退學的00後。大二那年，三人在宿舍裡創立Mercor，後來決定從哈佛及喬治敦大學退學全職創業。我們將視野拉回到國內，相似一幕同樣上演。今年初，三個來自清華的“00後極客”——閔宇恆、程頤、李宜哲創業做機器人，零次方誕生。如今公司一舉完成天使+和天使++輪億元級融資，集結河創投、同創偉業、力合科創、水木基金、瑞穗力合、拉爾夫創投等知名機構。還有此前完成天使輪融資的靈初智能，由高瓴創投和藍馳創投領投，公司聯合創始人陳源培是一名痴迷機器人的00後，曾作為Stanford訪問學者師從Karen Liu和李飛飛教授；具身智能公司UniX AI創始人兼CEO楊豐瑜，出生於2000年，本科就讀於密歇根大學電腦專業，從耶魯大學博士畢業後回國創業，同樣受到不少VC的關注。一支00後軍團悄然崛起。曾有投資人分析，這一波AI創業潮中，00後和90後、80後的創始人起點都一樣，甚至前者優勢更大。因為很多事物太新了，原有經驗無法直接復用，而00後沒有包袱，對新事物的認知觸感更多。“我們始終堅信，創業在很多時候是屬於年輕人的。”真格基金管理合夥人戴雨森最近感嘆，“無知者無畏。諸多科技創新成果誕生，正是源於當事人雖瞭解卻無所畏懼，由此萌生出創新想法。”“少年負壯氣，奮烈自有時。”每一代年輕的創業者，註定在歷史長河裡留下屬於自己的印記。 (投資界)

【新智元導讀】2024年，史丹佛博士生Carina Hong與前Meta AI研究員的一次數小時對話，讓她毅然輟學投身於打造「AI數學家」的夢想，創辦Axiom Math並吸引到來自Meta等公司的頂尖AI人才加盟。Axiom Math首輪融資6400萬美元後估值3億美元。一次咖啡館中的談話，誕生了一家估值3億美元的創業公司！2024年，仍為史丹佛大學博士生的Carina Hong與前Meta的AI研究員Shubho Sengupta有過一次數小時的交談。在那次交談中二人探討了如何用AI來解決數學領域的難題。這次談話不久，Carina Hong選擇從史丹佛退學創辦了Axiom Math，目標是打造「AI數學家」，而Sengupta也加入了這家新創辦的公司擔任CTO。近日，Carina Hong在X平台上發佈了Axiom的宣傳視訊，稱「我們正在打造一個能夠自我改進的超級智能推理系統，起點是一個AI數學家。」a16z前高管、投資人Jon Turow在Carina Hong的推文下留言祝賀：「世界上最難的問題，不是資料或算力，而是推理本身的瓶頸。」前OpenAI高管William Fedus認為數學是一個極好的可驗證環境，他對於Axiom的快速進展十分樂觀。B Capital將24歲的Carina Hong稱作一個「推動數學超級智能的人」。2025年3月Carina Hong創立Axiom Math並擔任CEO，Axiom Math核心員工中大多數來自Meta一次談話，點燃創業夢想2024年秋，仍在史丹佛大學攻讀博士的Carina Hong在學校附近的Verve Coffee Roasters咖啡館，偶然遇到了前Meta的AI研究員Shubho Sengupta，當時Sengupta正在研究能編寫軟體測試的大語言模型。兩人聊得十分投機。在數小時的談話中，他們共同探討了AI是否有可能解決世界上最難的數學問題。那次談話後不久，Carina Hong便從史丹佛退學，創辦了Axiom Math，立志打造一款「AI數學家」。在Carina Hong看來，數學是打造超級智能的完美試驗場。Axiom Math的理念是將教科書、論文和期刊裡的英文數學內容轉化為程序化知識，這樣AI不僅可以解決複雜的數學問題，還能通過嚴格驗證來檢驗解答。未來，Carina Hong希望「AI數學家」甚至能夠提出全新的數學猜想。據Axiom官網顯示，該公司使命是「從AI數學家起步，打造自我改進的超級智能推理器」。估值3億美元，Meta大牛排隊加入Axiom Math成立短短幾個月，便已完成了6400萬美元的種子輪融資：由B Capital領投，Greycroft、Madrona和Menlo Ventures等風投參與。融資後，Axiom Math估值已達3億美元。B Capital的官方部落格文章中，將Carina Hong稱作一個「推動數學超級智能的人」，並稱讚她「以驚人的速度組建了一支人才密度極高的創始團隊。」Axiom Math的核心成員中，如Shubho、François Charton、Aram H. Markosyan均來自Meta。Shubho SenguptaShubho Sengupta目前擔任Axiom Math CTO，前文提到正是他與Carina Hong的一席談話，促使了後者創辦Axiom Math的想法。Shubho Sengupta曾帶領Meta FAIR團隊開發OpenGo和CrypTen。此前，他還參與了Google Brain關於分佈式訓練系統的研發。Shubho Sengupta還是最早一批CUDA開發者。François Charton早在2019年，François Charton已經率先探索Transformer在複雜數學問題上的應用，最近更是解決了一個延續百年的公開問題，推翻了一個流傳30年的猜想。François Charton表示，他將在Axiom Math負責數學發現：如何將AI應用於實際研究問題，而不是像數學奧林匹克那樣將其用於已經解決的問題。Hugh LeatherHugh Leather在Axiom Math擔任研究科學家。Hugh Leather是最早將深度學習應用於程式碼生成的先驅之一，曾打造首個用於編譯器和GPU程式碼生成的大語言模型。Aram MarkosyanAram Markosyan是一位曾負責Meta安全與公平性研究的AI科學家。不到一年時間，Carina Hong為初創公司吸引到了上述一批資深科技老將。就在Meta重金攬才的同時，也在持續流失關鍵AI人才。Axiom Math核心團隊的組建，正值Meta豪擲上億美元薪資挖角OpenAI等前沿實驗室人才的同時。而Axiom吸引這些頂級AI研究員的，正是它的使命——用人工智慧推動數學發現。在Axiom的辦公室裡，經常可以感受到這樣的氛圍，它的會議室都是以數學與計算領域的巨匠命名，比如高斯（Carl Friedrich Gauss）和阿達·洛夫萊斯（Ada Lovelace）。Charton認為，Axiom是一家真正認真對待數學AI的公司，而不是把它當成副業，這點對他來說非常重要。這反映出頂尖學者更看重研究使命與學術氛圍，而非單純的資源或薪資。「摩根獎」獲得者來自廣州的天才女生Carina Hong的個人履歷同樣引人矚目。Carina Hong是一位中美混合背景的學者，她在中國廣州長大，從小酷愛數學。她是史丹佛大學數學系博士生，同時也是史丹佛大學法學院法律博士在讀，獲騎士-亨內西獎學金資助。在此之前，她曾作為羅德學者就讀於牛津大學赫特福德學院，獲得神經科學碩士學位；她還在倫敦大學學院賽恩斯伯裡威康中心的蓋茲比研究所從事深度學習研究。Carina Hong本科就讀於麻省理工學院（MIT），主修數學與物理雙學位，期間在同行評審期刊上發表了9篇論文。2023年，Carina Hong獲得了本科數學最高獎項——Frank and Brennie Morgan獎（摩根獎），該獎項是全球數學本科生的最高榮譽。儘管Axiom的發展迅速，但它同樣正面臨強勁的競爭。今年7月，OpenAI和GoogleDeepMind都曾宣佈旗下大模型在國際數學奧林匹克競賽（IMO）中達到金牌水平。然而在Carina Hong看來，這類基準測試很容易被「刷分」，並不代表真正的研究級數學能力。目前，Axiom的重點是訓練能發現並解決新數學問題的模型。但在數學之外Axiom也看到了更廣泛的應用前景。未來它的研究應用也將擴展到金融建模、晶片架構、量化交易等更多領域。 (新智元)

Solana生態中的去中心化交易所（DEX）Axiom 近日宣布，自推出以來短短約四個月，其總交易額突破了 1 億美元。此外，在 Solana 上的自動交易機器人（Trading Bot）交易量中，Axiom 目前也佔了超過 60% 的份額。相較之下，以發行迷因幣為主的平台 Pump.fun 在 2024 年達到相同的 1 億美元交易額里程碑時，花了 約 8 個月時間。「高速低費」的交易環境助推成長Axiom 是一個專注於 Solana 生態中的迷因幣和永久合約交易的去中心化金融（DeFi）平台，於 2025 年 1 月推出測試版，2 月正式對公眾開放。該平台由兩位 22 歲的大學畢業生創辦，並獲得了知名創投機構 Y Combinator 的支持，因而受到廣泛關注。Axiom 的主要優勢在於利用 Solana 的可擴展性，實現了約 0.4 秒以下的極快成交速度以及僅 0.9% 的超低手續費。平台還具備以下功能：錢包追蹤與 X（前Twitter） 即時監控，可捕捉鯨魚行為；支援在 Raydium 上市前搶先交易代幣（sniping）；透過與 Hyperliquid 集成，支援高達 40 倍槓桿的合約交易；使用者無需進行 身份驗證（KYC） 即可開始使用；引入 任務獎勵（Quests）積分制度 和 SOL 返現的邀請制度；未來可能推出空投（Airdrop），進一步提升用戶期待與參與熱度。市場環境回暖或為助力因素Axiom 的快速崛起，也與 Solana 上整體迷因幣交易的活躍，以及類似 Hyperliquid 的永久合約平台的成長密切相關。Solana 透過其快速處理速度與低手續費，成為迷因幣交易的關鍵基礎設施，平台如 Pump.fun 的爆發式增長便是一例。而像 Hyperliquid 這類提供高效能、低延遲交易環境的合約平台，也正在引領 Solana 上的衍生性商品市場發展。Solaxy（SOLX）：Solana 上首個 L2 計畫掀起熱潮2025 年 5 月，Solaxy（SOLX）作為 Solana 生態內首個 Layer-2（第二層）擴展解決方案，受到市場熱烈關注。Solaxy 旨在解決 Solana 網路的擁擠、高手續費與交易失敗等問題，並具備獨特性。其架構融合了以太坊 Layer-2 技術與 Solana 的高效能，實現 Solana 與以太坊之間的跨鏈轉帳功能。Solaxy 計劃於 2025 年第二季進行 TGE（代幣生成事件），一旦完成，預計將實現全面流通與應用推廣。在最新一輪融資中，Solaxy 追加募資 37.5 萬美元，總融資額達 3,348 萬美元，TGE 前估值達 2.2446 億美元。其作為 Solana 上首個 L2 項目的獨特地位，加上 Meme 幣特質與機構關注，使其在眾多實用型代幣與 Meme 項目中脫穎而出。訪問 Solaxy 官網按此瀏覽原文免責聲明加密貨幣投資風險高，價格波動大，可能導致資金損失。本文僅供參考，不構成投資建議。請自行研究（DYOR）並謹慎決策。