關于年度熱詞NFT，除了錢，我們還可以聊點啥？
每到年底，社交媒體總少不了年度盤點、年度總結、年度熱詞。如果讓你來總結2021年度熱詞，你會想到什么？柯林斯詞典將年度熱詞頒給了“NFT”，而其理由是：一個縮寫詞的
在數學與人工智能交匯的前沿，一位年輕的中國學者正引領一場技術革新。據外媒報道，斯坦福大學數學博士生洪樂潼，以其深厚的數學背景和對AI技術的獨到見解，創立了一家名為Axiom的新公司，專注于開發能夠解決復雜數學問題的智能工作輔助軟件。目前，洪樂潼正與投資者積極洽談，尋求5000萬美元的融資，目標估值高達3億至5億美元。
洪樂潼的Axiom公司，致力于構建基于形式化數學證明的AI模型。與當前OpenAI、谷歌等巨頭的AI模型不同，Axiom的技術核心在于“嚴格證明”，而不僅僅是提供答案。這一創新點，旨在彌補主流AI在數學證明領域的不足，為對沖基金、量化交易機構等高端客戶提供快速且準確的數學解決方案。
在現有的AI模型中，盡管OpenAI和谷歌的模型在某些數學領域取得了顯著進展，如谷歌AI在2024年國際數學奧林匹克競賽中達到了銀牌水平，但它們仍存在諸多局限。特別是在復雜數學證明和組合數學問題方面，這些模型往往力不從心，邏輯錯誤、缺乏創造力等問題頻發。而Axiom的技術，正是針對這些痛點進行突破。
洪樂潼，這位從麻省理工學院以雙學位畢業的數學天才，自幼便展現出對數學的濃厚興趣和卓越天賦。她在MIT期間，不僅在數學領域取得了顯著成就，還榮獲了多項重要獎項。此后，她更是憑借羅德獎學金赴牛津大學深造，最終進入斯坦福大學攻讀數學與法學博士。在組合數學領域，洪樂潼發表了多篇論文，形成了自己獨特的學術體系。
正是這樣的學術背景，讓洪樂潼看到了AI在數學領域的巨大潛力。她認為，通過編程語言訓練AI掌握形式化證明，可以確保答案的正確性，從而解決現有AI模型在數學證明方面的不足。因此，她創立了Axiom公司，致力于將這一理念轉化為現實。
據悉，Axiom的本輪融資有望由知名風投機構B Capital領投。該機構在AI領域布局活躍，曾投資了多家明星企業，如AI搜索新銳Glean和對話式AI平臺Perplexity等。這一消息無疑為Axiom的發展注入了強大的動力。
然而，盡管Axiom的前景廣闊，但目前仍處于早期發展階段，尚未推出具體產品。其技術能否超越現有AI模型，尚需時間驗證。但無論如何，Axiom的出現都標志著AI在數學領域的一次重要探索和發展。隨著AI技術的不斷進步，我們有理由相信，Axiom將在未來取得更加顯著的成就。
本文鏈接：http://www.www897cc.com/showinfo-45-13455-0.html斯坦福數學博士洪樂潼創業，AI解題公司Axiom目標估值高達3億美元
聲明：本網頁內容旨在傳播知識，若有侵權等問題請及時與本網聯系，我們將在第一時間刪除處理。郵件：2376512515@qq.com
Copyright ? 2016-2023 天津谷騏科技有限公司 版權所有 sitemap.xml
違法及侵權請聯系：2376512515@qq.com 津ICP備18001702號
津公網安備 12010102000574號