劃重點(diǎn)
01人工智能初創(chuàng)公司Harmonic完成7500萬(wàn)美元A輪融資，由紅杉資本領(lǐng)投，估值達(dá)到3.25億美元。
02Harmonic致力于創(chuàng)造數(shù)學(xué)超級(jí)智能(MSI)，認(rèn)為這種技術(shù)將應(yīng)用于需要準(zhǔn)確性的行業(yè)，如軟件工程、工業(yè)設(shè)計(jì)和醫(yī)療技術(shù)。
03該公司的大模型Aristotle在形式數(shù)學(xué)基準(zhǔn)MiniF2F中達(dá)到90%的水平，展示了其在解決高級(jí)數(shù)學(xué)問(wèn)題方面的能力。
04由于此，Harmonic計(jì)劃在未來(lái)關(guān)鍵數(shù)學(xué)基準(zhǔn)上跟蹤系統(tǒng)不斷增長(zhǎng)的能力。
05紅杉資本合伙人安德魯里德表示，他投資Harmonic是因?yàn)橄嘈湃斯ぶ悄芸梢约铀偃祟惖臄?shù)學(xué)能力。
以上內(nèi)容由騰訊混元大模型生成，僅供參考
投后估值3.25億美元。
來(lái)源|多知
作者|王上
今天，致力于創(chuàng)造數(shù)學(xué)超級(jí)智能(MSI)的人工智能初創(chuàng)公司Harmonic在其官網(wǎng)宣布，已經(jīng)完成了7500萬(wàn)美元的A輪融資。本輪融資由紅杉資本領(lǐng)投，Index Ventures、Jasper Lau的Era Funds、GreatPoint Ventures、DTS Global Partners、Palo Alto Networks Inc.等公司參投。當(dāng)前，公司估值達(dá)到3.25億美元。
Harmonic成立于2023年，其目標(biāo)是創(chuàng)造數(shù)學(xué)超級(jí)智能（MSI），MSI是一種數(shù)學(xué)能力優(yōu)于人類的人工智能，在Harmonic看來(lái)，由于推理的語(yǔ)言是數(shù)學(xué)，而數(shù)學(xué)是人類發(fā)現(xiàn)關(guān)于宇宙的許多基本真理的手段，因此，具有MSI的人工智能系統(tǒng)應(yīng)該能夠極大提高人類在科學(xué)和工程等領(lǐng)域的知識(shí)和理解。
在Harmonic的官方博客文章中，Harmonic解釋說(shuō)，數(shù)學(xué)超級(jí)智能(MSI)是實(shí)現(xiàn)邏輯推理的關(guān)鍵，這有助于確保人工智能模型的反應(yīng)始終是正確和真實(shí)的。它補(bǔ)充說(shuō)，人工智能系統(tǒng)必須具有“強(qiáng)大和可驗(yàn)證的推理能力”。
也就是說(shuō)，Harmonic認(rèn)為，數(shù)學(xué)超級(jí)智能(MSI)能克服傳統(tǒng)上“幻覺”的限制，即消除AI模型無(wú)法正確回答的問(wèn)題編造答案的情況。
可以看到，越來(lái)越多人工智能公司聚焦數(shù)學(xué)領(lǐng)域，希望攻克大模型的推理能力。
在Harmonic 看來(lái)，帶有數(shù)學(xué)超級(jí)智能（MSI）的技術(shù)將應(yīng)用于特別需要準(zhǔn)確性的行業(yè)，包括軟件工程、工業(yè)設(shè)計(jì)和醫(yī)療技術(shù)等。
Harmonic聯(lián)合創(chuàng)始人兼首席執(zhí)行官Tudor Achim表示，數(shù)學(xué)超級(jí)智能（MSI）將是下一個(gè)人工智能前沿。
01
用新方法解決幻覺問(wèn)題，在形式數(shù)學(xué)基準(zhǔn)中達(dá)到了90%的水平
Harmonic的大模型致力于解決高難度數(shù)學(xué)問(wèn)題，并采用了和自然語(yǔ)言不一樣的訓(xùn)練方式。
對(duì)于自然語(yǔ)言大模型來(lái)說(shuō)，一個(gè)致命的缺點(diǎn)是總產(chǎn)生幻覺問(wèn)題，Harmonic希望能解決這個(gè)問(wèn)題。
今年8月，Harmonic宣布了正在開發(fā)的第一個(gè)模型Aristotle（亞里士多德），這是以希臘哲學(xué)家和數(shù)學(xué)家的名字命名的大模型。
當(dāng)遇到自然語(yǔ)言數(shù)學(xué)問(wèn)題時(shí)，Aristotle有能力用Lean 4(一種基于微積分的函數(shù)編程語(yǔ)言)將這些問(wèn)題形式化。以形式化驗(yàn)證的方式解決問(wèn)題，并以自然語(yǔ)言和 Lean 輸出答案。“這是朝著我們‘解決研究數(shù)學(xué)中的高級(jí)問(wèn)題和驗(yàn)證世界上所有推理’的長(zhǎng)期目標(biāo)邁出的重要一步。”Harmonic團(tuán)隊(duì)提到。
在博客中，Harmonic團(tuán)隊(duì)提到，現(xiàn)有的大型語(yǔ)言模型在遇到問(wèn)題時(shí)時(shí)常會(huì)產(chǎn)生幻覺�；糜X可能很危險(xiǎn)，因?yàn)樗鼈儠?huì)導(dǎo)致人工智能系統(tǒng)以不可預(yù)測(cè)的方式行事。更重要的是，隨著人工智能在人們的生活中扮演越來(lái)越重要的角色，幻覺的風(fēng)險(xiǎn)也在增加。
Harmonic表示，如果它能為人工智能模型提供進(jìn)行數(shù)學(xué)推理的能力，就應(yīng)該能夠保證它們的反應(yīng)永遠(yuǎn)是正確的，因此不會(huì)產(chǎn)生幻覺。Harmonic認(rèn)為，與目前的模型不同，這種具有透明和可驗(yàn)證的“推理痕跡”的模型將“從根本上是安全的”。
今年9月，Harmonic 在數(shù)學(xué)超級(jí)智能方面取得最新進(jìn)展，比如：
1）MiniF2F 基準(zhǔn)測(cè)試中達(dá)到 90% 的最新水平（8月份的成績(jī)?yōu)?3%）；
2）對(duì) MiniF2F 內(nèi)部更新的公開發(fā)布；
3）全新的自然語(yǔ)言界面。
MiniF2F是標(biāo)準(zhǔn)的形式數(shù)學(xué)基準(zhǔn)，它將形式定理證明問(wèn)題與自然語(yǔ)言和形式數(shù)學(xué)之間的轉(zhuǎn)換分離開來(lái)。這些問(wèn)題來(lái)自國(guó)內(nèi)和國(guó)際高中數(shù)學(xué)競(jìng)賽，以及高中和本科數(shù)學(xué)課程。這些問(wèn)題涵蓋了從簡(jiǎn)單計(jì)算到極具挑戰(zhàn)性的證明等一系列難度：三道驗(yàn)證集問(wèn)題來(lái)自國(guó)際數(shù)學(xué)奧林匹克 (IMO)，即使對(duì)于訓(xùn)練有素的參賽者來(lái)說(shuō)，這些問(wèn)題也普遍被認(rèn)為極其困難。
未來(lái)，Harmonic 計(jì)劃在關(guān)鍵的數(shù)學(xué)基準(zhǔn)上跟蹤系統(tǒng)不斷增長(zhǎng)的能力。
（Aristotle 在 MiniF2F 基準(zhǔn)測(cè)試中的表現(xiàn)）
Harmonic 在官方博客中提到：“MiniF2F 衡量了我們模型在面對(duì)形式化問(wèn)題時(shí)的核心問(wèn)題解決能力。這讓我們能夠?qū)ristotle與人類表現(xiàn)和先前的研究進(jìn)行對(duì)比。展望未來(lái)，我們將繼續(xù)公開跟蹤 MiniF2F 等形式化基準(zhǔn)測(cè)試以及涉及自然語(yǔ)言理解的任務(wù)的進(jìn)展。”
02
數(shù)學(xué)超級(jí)智能可應(yīng)用于多個(gè)行業(yè)，“是人工智能的下一個(gè)前沿”
Harmonic 聲稱，帶有MSI的人工智能模型將立即在目前無(wú)法依賴人工智能的一系列行業(yè)中發(fā)揮作用，包括航空航天、計(jì)算機(jī)芯片設(shè)計(jì)、工業(yè)系統(tǒng)和醫(yī)療保健，這些行業(yè)對(duì)軟件的可靠性至關(guān)重要。
此外，Harmonic 將幫助推動(dòng)人工智能研究本身的邊界，使創(chuàng)建更強(qiáng)大的系統(tǒng)，甚至可以創(chuàng)建自己的合成數(shù)據(jù)，以增強(qiáng)他們的知識(shí)和學(xué)習(xí)。
2023 年，Tudor Achim與Vlad Tenev共同創(chuàng)立了 Harmonic，旨在打造世界上最先進(jìn)的推理引擎。
Tudor Achim與Vlad Tenev都是連續(xù)創(chuàng)業(yè)者：
udor Achim還是Helm.ai的聯(lián)合創(chuàng)始人兼前首席技術(shù)官，Helm.ai為高級(jí)駕駛輔助系統(tǒng)(ADAS)、自動(dòng)駕駛(AV)和機(jī)器人自動(dòng)化提供先進(jìn)人工智能(AI)軟件的供應(yīng)商。Tudor Achim擁有卡內(nèi)基梅隆大學(xué)計(jì)算機(jī)科學(xué)學(xué)士學(xué)位，曾是斯坦福大學(xué)計(jì)算機(jī)科學(xué)博士候選人。
Vlad Tenev還是 Robinhood Markets (美國(guó)在線股票交易平臺(tái))的聯(lián)合創(chuàng)始人兼首席執(zhí)行官，Vlad Tenev擁有斯坦福大學(xué)數(shù)學(xué)學(xué)士學(xué)位和加州大學(xué)洛杉磯分校數(shù)學(xué)碩士學(xué)位。
Harmonic聯(lián)合創(chuàng)始人兼首席執(zhí)行官Tudor Achim表示，人工智能行業(yè)已經(jīng)意識(shí)到數(shù)學(xué)是構(gòu)建真正的超級(jí)智能所需的缺失環(huán)節(jié)。他說(shuō)：“Harmonic正在引領(lǐng)這些發(fā)展，同時(shí)解決了其他人工智能模型中常見的局限性。”
這家初創(chuàng)公司表示，今天這輪融資的資金將幫助它加速Aristotle的開發(fā)，并創(chuàng)建第一個(gè)數(shù)學(xué)技能優(yōu)于人類的人工智能系統(tǒng)。
紅杉資本的合伙人安德魯里德(Andrew Reed)表示，他之所以投資Harmonic，是因?yàn)樗嘈湃斯ぶ悄芸梢约铀偃祟惖臄?shù)學(xué)能力，為新的人工智能應(yīng)用鋪平道路。
Vlad Tenev 表示：“我們相信數(shù)學(xué)超級(jí)智能是人工智能的下一個(gè)前沿。我們很高興與 Sequoia、Index 和許多其他偉大的投資者合作，加速準(zhǔn)確且尋求真相的人工智能模型的出現(xiàn)。”
