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