當(dāng)前位置：首頁(yè) > 元宇宙 > AI

斯坦福數(shù)學(xué)博士洪樂(lè)潼創(chuàng)業(yè)，AI解題公司Axiom目標(biāo)估值高達(dá)3億美元

來(lái)源：責(zé)編：時(shí)間：2025-06-05 09:41:58 110觀看

導(dǎo)讀在數(shù)學(xué)與人工智能交匯的前沿，一位年輕的中國(guó)學(xué)者正引領(lǐng)一場(chǎng)技術(shù)革新。據(jù)外媒報(bào)道，斯坦福大學(xué)數(shù)學(xué)博士生洪樂(lè)潼，以其深厚的數(shù)學(xué)背景和對(duì)AI技術(shù)的獨(dú)到見(jiàn)解，創(chuàng)立了一家名為Axiom的新公司，專(zhuān)注于開(kāi)發(fā)能夠解決復(fù)雜數(shù)學(xué)問(wèn)題的智

在數(shù)學(xué)與人工智能交匯的前沿，一位年輕的中國(guó)學(xué)者正引領(lǐng)一場(chǎng)技術(shù)革新。據(jù)外媒報(bào)道，斯坦福大學(xué)數(shù)學(xué)博士生洪樂(lè)潼，以其深厚的數(shù)學(xué)背景和對(duì)AI技術(shù)的獨(dú)到見(jiàn)解，創(chuàng)立了一家名為Axiom的新公司，專(zhuān)注于開(kāi)發(fā)能夠解決復(fù)雜數(shù)學(xué)問(wèn)題的智能工作輔助軟件。目前，洪樂(lè)潼正與投資者積極洽談，尋求5000萬(wàn)美元的融資，目標(biāo)估值高達(dá)3億至5億美元。

洪樂(lè)潼的Axiom公司，致力于構(gòu)建基于形式化數(shù)學(xué)證明的AI模型。與當(dāng)前OpenAI、谷歌等巨頭的AI模型不同，Axiom的技術(shù)核心在于“嚴(yán)格證明”，而不僅僅是提供答案。這一創(chuàng)新點(diǎn)，旨在彌補(bǔ)主流AI在數(shù)學(xué)證明領(lǐng)域的不足，為對(duì)沖基金、量化交易機(jī)構(gòu)等高端客戶提供快速且準(zhǔn)確的數(shù)學(xué)解決方案。

在現(xiàn)有的AI模型中，盡管OpenAI和谷歌的模型在某些數(shù)學(xué)領(lǐng)域取得了顯著進(jìn)展，如谷歌AI在2024年國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽中達(dá)到了銀牌水平，但它們?nèi)源嬖谥T多局限。特別是在復(fù)雜數(shù)學(xué)證明和組合數(shù)學(xué)問(wèn)題方面，這些模型往往力不從心，邏輯錯(cuò)誤、缺乏創(chuàng)造力等問(wèn)題頻發(fā)。而Axiom的技術(shù)，正是針對(duì)這些痛點(diǎn)進(jìn)行突破。

洪樂(lè)潼，這位從麻省理工學(xué)院以雙學(xué)位畢業(yè)的數(shù)學(xué)天才，自幼便展現(xiàn)出對(duì)數(shù)學(xué)的濃厚興趣和卓越天賦。她在MIT期間，不僅在數(shù)學(xué)領(lǐng)域取得了顯著成就，還榮獲了多項(xiàng)重要獎(jiǎng)項(xiàng)。此后，她更是憑借羅德獎(jiǎng)學(xué)金赴牛津大學(xué)深造，最終進(jìn)入斯坦福大學(xué)攻讀數(shù)學(xué)與法學(xué)博士。在組合數(shù)學(xué)領(lǐng)域，洪樂(lè)潼發(fā)表了多篇論文，形成了自己獨(dú)特的學(xué)術(shù)體系。

正是這樣的學(xué)術(shù)背景，讓洪樂(lè)潼看到了AI在數(shù)學(xué)領(lǐng)域的巨大潛力。她認(rèn)為，通過(guò)編程語(yǔ)言訓(xùn)練AI掌握形式化證明，可以確保答案的正確性，從而解決現(xiàn)有AI模型在數(shù)學(xué)證明方面的不足。因此，她創(chuàng)立了Axiom公司，致力于將這一理念轉(zhuǎn)化為現(xiàn)實(shí)。

據(jù)悉，Axiom的本輪融資有望由知名風(fēng)投機(jī)構(gòu)B Capital領(lǐng)投。該機(jī)構(gòu)在AI領(lǐng)域布局活躍，曾投資了多家明星企業(yè)，如AI搜索新銳Glean和對(duì)話式AI平臺(tái)Perplexity等。這一消息無(wú)疑為Axiom的發(fā)展注入了強(qiáng)大的動(dòng)力。

然而，盡管Axiom的前景廣闊，但目前仍處于早期發(fā)展階段，尚未推出具體產(chǎn)品。其技術(shù)能否超越現(xiàn)有AI模型，尚需時(shí)間驗(yàn)證。但無(wú)論如何，Axiom的出現(xiàn)都標(biāo)志著AI在數(shù)學(xué)領(lǐng)域的一次重要探索和發(fā)展。隨著AI技術(shù)的不斷進(jìn)步，我們有理由相信，Axiom將在未來(lái)取得更加顯著的成就。

舉報(bào) 0收藏 0打賞 0評(píng)論 0

更多>同類(lèi)資訊

三星Galaxy Fold 7預(yù)告：輕薄新高度，能否重奪折疊屏市場(chǎng)領(lǐng)先？

06-04

圖靈獎(jiǎng)得主本吉奧新動(dòng)向：成立非營(yíng)利組織，籌2億研發(fā)更安全AI系統(tǒng)

智東西6月4日消息，據(jù)外媒英國(guó)《金融時(shí)報(bào)》昨天報(bào)道，被譽(yù)為“AI教父”之一的圖靈獎(jiǎng)得主約書(shū)亞·本吉奧（Yoshua Bengio）昨天在接受英國(guó)《金融時(shí)報(bào)》采訪時(shí)公開(kāi)批評(píng)全球AI實(shí)驗(yàn)室的惡性競(jìng)爭(zhēng)，透露像Op…

06-04

互聯(lián)網(wǎng)女皇報(bào)告：中國(guó) AI 拉平和美國(guó)差距，deepseek、納米 AI 強(qiáng)勢(shì)崛起

近日，被稱(chēng)為“互聯(lián)網(wǎng)女皇”的 Mary Meeker 在沉寂6年后，于 2025 年 5 月 30 日再次發(fā)布了其標(biāo)志性的互聯(lián)網(wǎng)深度趨勢(shì)報(bào)告，并且在全球科技圈引發(fā)熱議。新報(bào)告特別強(qiáng)調(diào)了中國(guó)AI整體正在快速崛起，在AI本地客戶端月度活躍用戶這一關(guān)鍵指標(biāo)上，DeepSeek、納米AI強(qiáng)勢(shì)崛起，

06-04

華為云高層大換血，陳林領(lǐng)航新征途，AI戰(zhàn)略成關(guān)鍵轉(zhuǎn)折點(diǎn)

此外，華為云中國(guó)副總裁、AI解決方案，部長(zhǎng)張東生，華為云CMO張鵬、華為云廣東總經(jīng)理徐衛(wèi)星等，也都有所變動(dòng)。此番調(diào)動(dòng)是華為內(nèi)部正常的三年輪崗，而華為云因?yàn)榇饲敖M織變動(dòng)的緣故，不少人在同一時(shí)間前后三年期滿。…

06-04

AI賦能旅游業(yè)新突破：超級(jí)智能體Miss 6引領(lǐng)定制化旅行新風(fēng)尚

06-04

華為Pura 80系列發(fā)布在即，預(yù)約火爆，鴻蒙5帶來(lái)新體驗(yàn)？

日前，華為官方宣布，將于 6 月 11 日 14：30 舉行華為 Pura 80 系列及全場(chǎng)景新品發(fā)布會(huì)。華為商城顯示，僅 1天時(shí)間，Pura 80 系列預(yù)約人數(shù)接近 20 萬(wàn)。華為 Pura 80 系列…

06-04

自動(dòng)駕駛礦卡崛起，中國(guó)礦業(yè)智能化轉(zhuǎn)型駛向何方？

06-04

快手Kwaipilot開(kāi)源“AutoThink”大模型，深度思考不再“過(guò)度”

06-04

AI賦能數(shù)智工科，產(chǎn)教融合共同體共探人才培養(yǎng)新路徑

06-04

復(fù)旦阿里強(qiáng)強(qiáng)聯(lián)手，人工智能教育開(kāi)啟新篇章！

06-04

AI浪潮下，Expensya創(chuàng)始人再創(chuàng)業(yè)，Thunder Code獲900萬(wàn)美金種子輪融資

06-04

李彥宏共創(chuàng)BioMap百圖生科，一年半內(nèi)或登陸香港股市！

據(jù)報(bào)道，BioMap百圖生科CEO劉維稱(chēng)，計(jì)劃未來(lái)一年半內(nèi)尋求在香港公開(kāi)上市。 BioMap百圖生科由百度創(chuàng)始人李彥宏、原百度風(fēng)投CEO劉維共同創(chuàng)立，并由原諾和諾德全球副總裁、原SAP全球副總裁等業(yè)界高管組成…

06-04

浙江新成立具身智能公司，智元機(jī)器人等參與，注冊(cè)資本達(dá)2000萬(wàn)

天眼查App顯示，近日，浙江杭紹具身智能科技創(chuàng)新有限公司成立，法定代表人為周軍，注冊(cè)資本2000萬(wàn)人民幣，經(jīng)營(yíng)范圍含人工智能基礎(chǔ)軟件開(kāi)發(fā)、人工智能應(yīng)用軟件開(kāi)發(fā)、軟件開(kāi)發(fā)、智能機(jī)器人的研發(fā)、人工智能基礎(chǔ)資源與技…

06-04

算力時(shí)代新動(dòng)力：比克電池如何賦能AI，引領(lǐng)能源革新？

06-04

AI教父本吉奧創(chuàng)建LawZero，研發(fā)“科學(xué)家AI”守護(hù)人類(lèi)免受騙

06-04

點(diǎn)擊查看更多 +

全站最新

2026款凱美瑞來(lái)襲，特別版+2.5L混動(dòng)，能否續(xù)寫(xiě)銷(xiāo)量傳奇？

東風(fēng)納米06來(lái)襲！7.99萬(wàn)起售，智駕輔助同級(jí)領(lǐng)先，品質(zhì)出行新選擇

羅永浩直播聊電車(chē)，2025款A(yù)ION Y Plus升級(jí)亮點(diǎn)成選購(gòu)新參考

五菱小型純電SUV來(lái)襲，能否撼動(dòng)吉利星愿與比亞迪元Plus地位？

比亞迪四款新車(chē)即將上市，海豹06系列領(lǐng)銜，你的錢(qián)包準(zhǔn)備好了嗎？

三星將清理長(zhǎng)期未登錄賬號(hào)，你的三星賬號(hào)還安全嗎？

熱門(mén)內(nèi)容

夸克AI新升級(jí)：深度搜索賦能，信息獲取更高效智能
榮耀“鯤鵬”照片事件真相大白，造謠者道歉遭刑拘
夸克AI新升級(jí)“深度搜索”，解鎖高效獲取信息新技能
騰訊阿里AI to C戰(zhàn)場(chǎng)“雙吳”爭(zhēng)霸，誰(shuí)將問(wèn)鼎AI搜索之巔？
英偉達(dá)全球總部或?qū)⒙鋺糁袊?guó)臺(tái)灣，黃仁勛下周宣布這一重大決定？
教育部新規(guī)：學(xué)生禁直接復(fù)制AI作業(yè)，強(qiáng)化獨(dú)立思考與批判性思維
聯(lián)發(fā)科天璣9400e發(fā)布：天璣9300+升級(jí)版，藍(lán)牙升級(jí)至6.0
TIOBE 5月編程語(yǔ)言榜：Python強(qiáng)勢(shì)領(lǐng)跑，占比創(chuàng)歷史新高
中國(guó)GPU市場(chǎng)競(jìng)爭(zhēng)激烈，英偉達(dá)獨(dú)占7成，華為昇騰緊追其后！
華為nova 14系列震撼登場(chǎng)！鴻蒙5直板機(jī)領(lǐng)銜，nova 14僅售2699元起
蘋(píng)果高管預(yù)警：AI發(fā)展迅猛，iPhone未來(lái)十年或被淘汰？
教育部新規(guī)：中小學(xué)分階段用AI，嚴(yán)禁復(fù)制答案強(qiáng)化獨(dú)立思考
華為nova14 Ultra震撼登場(chǎng)！鴻蒙5系統(tǒng)加持，售價(jià)4199元起
vivo領(lǐng)跑！2025第18周中國(guó)手機(jī)份額華為小米緊追其后
DeepSeek新論文揭秘：梁文鋒領(lǐng)銜探索AI訓(xùn)練推理成本效益之道

本欄最新

三星Galaxy Fold 7預(yù)告：輕薄新高度，能否重奪折疊屏市場(chǎng)領(lǐng)先？

圖靈獎(jiǎng)得主本吉奧新動(dòng)向：成立非營(yíng)利組織，籌2億研發(fā)更安全AI系統(tǒng)

華為云高層大換血，陳林領(lǐng)航新征途，AI戰(zhàn)略成關(guān)鍵轉(zhuǎn)折點(diǎn)

AI賦能旅游業(yè)新突破：超級(jí)智能體Miss 6引領(lǐng)定制化旅行新風(fēng)尚

華為Pura 80系列發(fā)布在即，預(yù)約火爆，鴻蒙5帶來(lái)新體驗(yàn)？

自動(dòng)駕駛礦卡崛起，中國(guó)礦業(yè)智能化轉(zhuǎn)型駛向何方？

本文鏈接：http://www.rrqrq.com/showinfo-45-13455-0.html斯坦福數(shù)學(xué)博士洪樂(lè)潼創(chuàng)業(yè)，AI解題公司Axiom目標(biāo)估值高達(dá)3億美元

聲明：本網(wǎng)頁(yè)內(nèi)容旨在傳播知識(shí)，若有侵權(quán)等問(wèn)題請(qǐng)及時(shí)與本網(wǎng)聯(lián)系，我們將在第一時(shí)間刪除處理。郵件：[email protected]

上一篇：奧特曼論AGI：千倍算力下，平穩(wěn)進(jìn)步比單一突破更關(guān)鍵？

下一篇：三星Galaxy Fold 7預(yù)告：輕薄新高度，能否重奪折疊屏市場(chǎng)領(lǐng)先？

標(biāo)簽：

熱門(mén)焦點(diǎn)

雷克薩斯高管，“受賄”5000萬(wàn)？

來(lái)源：毒舌科技作者：潘磊雷克薩斯的高管，好像出事了。五六家日本小媒體，突然曝出了一個(gè)與中國(guó)市場(chǎng)有關(guān)的大新聞——雷克薩斯中國(guó)區(qū)一個(gè)高管受賄10億日元（約合人民幣5000
B端難做：留給魔琺科技的時(shí)間不多了

來(lái)源：零態(tài)LT元宇宙泡沫正在碎裂，進(jìn)入2023年后這一賽道熱度一直在遞減。今年2月，微軟解散了成立僅四個(gè)月的工業(yè)元宇宙部門(mén)；今年3月，該公司2017年收購(gòu)的虛擬現(xiàn)實(shí)社交平臺(tái)AltspaceVR
元宇宙社交啫喱、希壤爆款迭出，騰訊慌了嗎？

文 | 陳橋輝沒(méi)想到騰訊超級(jí)QQ秀的20周年歸來(lái)首秀，被一款名不見(jiàn)經(jīng)傳的產(chǎn)品搶了風(fēng)頭。1月15日，一款名為“啫喱”的社交App迅速在各個(gè)互聯(lián)網(wǎng)的社交圈內(nèi)火爆起來(lái)，引起
元宇宙風(fēng)歸何處？

元宇宙持續(xù)大火，在過(guò)去一段時(shí)間內(nèi)，其屢次登上熱點(diǎn)，吸引了一波又一波投資者。近期，在“2022中國(guó)·金魚(yú)嘴元宇宙生態(tài)賦能大會(huì)”上，南京建鄴區(qū)金魚(yú)嘴基金街區(qū)宣布計(jì)劃
Meta 在衰落嗎？

扎克伯格已經(jīng)很久沒(méi)有出現(xiàn)在公眾視野里了，近日，他罕見(jiàn)的接受播客采訪，在兩個(gè)小時(shí)的時(shí)間里暢談了Meta、Facebook、Instagram、元宇宙的未來(lái)。正方觀點(diǎn)：是的阿倫·達(dá)
以太坊面臨來(lái)自Fantom的巨大挑戰(zhàn)

眾所周知，區(qū)塊鏈和加密貨幣項(xiàng)目經(jīng)常因其對(duì)環(huán)境的影響而受到批評(píng)。但是有一個(gè)非營(yíng)利性的加密貨幣和區(qū)塊鏈項(xiàng)目說(shuō)它比其他的更環(huán)保。今天老雅痞就給大家聊一聊加
Staking 收益翻倍？

以太坊質(zhì)押可能很快就會(huì)有兩倍的利潤(rùn)。Coinbase 估計(jì)，在 1 月份以太坊網(wǎng)絡(luò)合并后，持有 ETH 的回報(bào)將翻倍。增長(zhǎng)預(yù)期假設(shè)來(lái)自加密貨幣交易所 Coinbase 的估計(jì)是準(zhǔn)
爆發(fā)在即的Layer2賽道百花齊放，誰(shuí)將是領(lǐng)跑者？

還記得幾年前最早我們提起ETH擴(kuò)容，首先想到就是Layer2，而Layer2里，首先想到的是閃電網(wǎng)絡(luò)，狀態(tài)通道，Plasma…然后折騰了幾年，發(fā)現(xiàn)并沒(méi)有什么用，許多項(xiàng)目方和資本也等不
虛擬偶像行業(yè)的商用價(jià)值逐漸凸顯，IP生態(tài)圈也逐漸成型

六月的第一個(gè)周六，一場(chǎng)虛擬偶像七海Nana7mi的個(gè)人3D演唱會(huì)在萬(wàn)代南夢(mèng)宮上海文化中心舉行，相較于洛天依、百大UP主泠鳶yousa等，這位虛擬Up主在B站上的粉絲數(shù)43.6萬(wàn)

国产精品嫩草99av在线_一区在线视频观看_欧美高清一区_欧美日韩国产一区_99精品欧美一区二区三区_久久大香伊蕉在人线观看热2_一色屋精品视频在线观看网站_在线亚洲国产精品网站_亚洲区一区二区三区_你懂的视频一区二区

首頁(yè)

元宇宙

NFT

區(qū)塊鏈

虛擬人

AR/VR

AI

元宇宙百科

斯坦福數(shù)學(xué)博士洪樂(lè)潼創(chuàng)業(yè)，AI解題公司Axiom目標(biāo)估值高達(dá)3億美元

雷克薩斯高管，“受賄”5000萬(wàn)？

B端難做：留給魔琺科技的時(shí)間不多了

元宇宙社交啫喱、希壤爆款迭出，騰訊慌了嗎？

元宇宙風(fēng)歸何處？

Meta 在衰落嗎？

以太坊面臨來(lái)自Fantom的巨大挑戰(zhàn)

Staking 收益翻倍？

爆發(fā)在即的Layer2賽道百花齊放，誰(shuí)將是領(lǐng)跑者？

虛擬偶像行業(yè)的商用價(jià)值逐漸凸顯，IP生態(tài)圈也逐漸成型

最新推薦

25萬(wàn)虛擬er在“元宇宙”追星

游戲玩家才是最“元宇宙”的

“元宇宙第一股”Roblox首份年報(bào)未達(dá)預(yù)期，摩根大通成為首家進(jìn)入元宇宙的銀行

Meta證實(shí)Quest 2無(wú)法實(shí)現(xiàn)全身追蹤，未來(lái)將為虛擬化身配備“假腿”

融資千萬(wàn)美元的元宇宙平臺(tái)UGC到底是什么？

花旗集團(tuán)前高管加入Provenance區(qū)塊鏈，擔(dān)任CEO

猜你喜歡

熱門(mén)推薦

相關(guān)資訊