韩一区二区,天天干天天爽人妻一区二区三区,内射中出后入少妇在线观看 ,欧美福利视频在线播放

　　6月6日消息，據(jù)The Information消息，斯坦福華人數(shù)學(xué)博士洪樂(lè)潼(Carina Hong)開(kāi)啟AI創(chuàng)業(yè)，她創(chuàng)辦了數(shù)學(xué)AI模型公司Axiom，該公司正在籌集目標(biāo)為5000萬(wàn)美元的融資，公司估值預(yù)計(jì)3-5億美元。目前公司還沒(méi)有開(kāi)發(fā)出一款產(chǎn)品。

　　洪樂(lè)潼個(gè)人知名度很高，她出生于中國(guó)廣州，用3年時(shí)間完成麻省理工數(shù)學(xué)和物理本科雙修，然后拿下斯坦福數(shù)學(xué)博士錄取offer研究方向?yàn)閿?shù)論、組合學(xué)和概率學(xué)，同時(shí)也進(jìn)修了法律學(xué)課程。

　　（Axiom公司創(chuàng)辦人洪樂(lè)潼，圖片來(lái)自麻省理工學(xué)院官網(wǎng)）

　　本科期間的論文已經(jīng)發(fā)表在《美國(guó)數(shù)學(xué)會(huì)會(huì)報(bào)》、《拉馬努金期刊》等刊物。2021年獲得牛津大學(xué)羅德獎(jiǎng)學(xué)金，成為僅有的4名中國(guó)獲獎(jiǎng)?wù)咧弧?/p>

　　如今，她開(kāi)啟創(chuàng)業(yè)，希望利用編程語(yǔ)言來(lái)訓(xùn)練模型，使其能掌握形式化證明的“語(yǔ)言”。

　　Axiom的核心目標(biāo)是開(kāi)發(fā)可以解決實(shí)際數(shù)學(xué)問(wèn)題的AI。根據(jù)透露，Axiom專注于開(kāi)發(fā)基于形式化數(shù)學(xué)證明的AI模型，訓(xùn)練數(shù)據(jù)來(lái)自形式化數(shù)學(xué)證明（formal mathematical proofs），通過(guò)使用已經(jīng)被證明的定理或者公認(rèn)的數(shù)學(xué)公理，來(lái)驗(yàn)證某個(gè)數(shù)學(xué)陳述的真實(shí)性。

　　Axiom旨在為對(duì)沖基金、量化交易機(jī)構(gòu)等客戶提供復(fù)雜數(shù)學(xué)問(wèn)題的快速解決方案。

　　當(dāng)前OpenAI、谷歌等發(fā)布的模型在數(shù)學(xué)領(lǐng)域表現(xiàn)不穩(wěn)定，洪樂(lè)潼透露，Axiom的技術(shù)將專注于“嚴(yán)格證明”，而非僅提供答案。

　　據(jù)了解，起初，洪樂(lè)潼考慮從事量化金融行業(yè)。但在麻省理工學(xué)院學(xué)習(xí)期間，她意識(shí)到另一件事點(diǎn)燃了她的熱情：“數(shù)學(xué)研究真的很有趣。” 她的熱情得到了回報(bào)。2022年，她獲得了美國(guó)婦女?dāng)?shù)學(xué)協(xié)會(huì)頒發(fā)的享有盛譽(yù)的艾麗絲·T·謝弗獎(jiǎng)，該獎(jiǎng)項(xiàng)每年頒發(fā)給美國(guó)數(shù)學(xué)專業(yè)的頂尖女性。“那一刻，我感受到努力真的有回報(bào)，”她說(shuō)。

　　Axiom項(xiàng)目剛剛建立就獲得了高度關(guān)注，當(dāng)前，全球都在關(guān)注洪樂(lè)潼這位在學(xué)術(shù)上取得成功的博士生接下來(lái)將做出怎樣的產(chǎn)品。