大夏殷歷2018年3月2號(hào)，元宵節(jié)。

    大夏新科總部一號(hào)辦公大樓。

    人工智能部門(mén)的負(fù)責(zé)人張俊平，AI行業(yè)工程師劉思遠(yuǎn)、張修貳、黃石宿……等一眾精英工程師，在會(huì)議室內(nèi)正襟危坐。

    新科動(dòng)力公司的負(fù)責(zé)人揚(yáng)程，帶著董建尺、鄒夏生這些項(xiàng)目精英，也坐在旁邊區(qū)域，神情嚴(yán)肅。

    在新科汽車(chē)的工程師團(tuán)隊(duì)區(qū)域，新科汽車(chē)總工程師劉建席坐在區(qū)域正中，他身旁是王堂夏、黃堅(jiān)華，前者是混動(dòng)車(chē)系的工程師，而后者則是新科汽車(chē)的純電項(xiàng)目負(fù)責(zé)人。

    工程師張盼盼、劉唐中、李進(jìn)、陳曉浩等人，則是坐在周?chē)?br/>
    而新科半導(dǎo)體公司的負(fù)責(zé)人李賢審，也帶著一群半導(dǎo)體工程師，坐在會(huì)議室，表情凝重。

    而周瑜，此時(shí)此刻正站在會(huì)議室的主講臺(tái)上。

    “在人工智能領(lǐng)域，數(shù)理邏輯支持知識(shí)表示和推理機(jī)制，比如專(zhuān)家系統(tǒng)中的知識(shí)表示和推理，復(fù)雜推理任務(wù)如自然語(yǔ)言理解、機(jī)器學(xué)習(xí)和知識(shí)圖譜的構(gòu)建，都需要謂詞邏輯和更高階的邏輯系統(tǒng)來(lái)表達(dá)和處理復(fù)雜的關(guān)系和推理過(guò)程。

    而在語(yǔ)言學(xué)的邏輯構(gòu)建中，數(shù)理邏輯可以極大程度幫助形式化語(yǔ)言的結(jié)構(gòu)，通過(guò)建立形式語(yǔ)法，我們的語(yǔ)言學(xué)家和AI程序工程師，則能夠使用邏輯工具來(lái)分析和生成句子，深入理解語(yǔ)言的句法和語(yǔ)義特性。，使用邏輯表達(dá)式表示自然語(yǔ)言的意義。

    當(dāng)我們往下深究，其實(shí)無(wú)論是深度學(xué)習(xí)中的神經(jīng)網(wǎng)絡(luò)訓(xùn)練，還是機(jī)器學(xué)習(xí)中的模型參數(shù)調(diào)整，都涉及到將梯度下降、牛頓法、共軛梯度法、擬牛頓法等優(yōu)化理論，為AI算法提供了最優(yōu)解程序。

    比如在機(jī)器學(xué)習(xí)中，數(shù)據(jù)通常以矩陣的形式表示，模型的參數(shù)也是以向量和矩陣的形式存在，而線性代數(shù)中的矩陣分解，比如主成分分析、奇異值分解、特征向量等概念，對(duì)于降維、數(shù)據(jù)壓縮和模型理解至關(guān)重要。

    除此之外，還有概率論、統(tǒng)計(jì)學(xué)、微積分、復(fù)雜性理論，甚至還有幾何學(xué)，都在AI項(xiàng)目和其他科技項(xiàng)目有多種作用……”

    一邊講，周瑜偶爾還會(huì)在身后的黑板上面寫(xiě)寫(xiě)畫(huà)畫(huà)，羅列一堆公式和數(shù)據(jù)出來(lái)。

    助理鄭博，他已經(jīng)無(wú)法擔(dān)任此次會(huì)議的“記錄助理”，因?yàn)橹荑?xiě)出來(lái)的某些公式和符號(hào)，他本人都不認(rèn)識(shí)，更不敢隨意臨摹。

    只能夠站在講臺(tái)旁邊，等待周瑜將黑板即將寫(xiě)滿的時(shí)候，上前幫助更換黑板，無(wú)縫銜接。

    漸漸地，那些正襟危坐的工程師、數(shù)學(xué)家們，也開(kāi)始抓耳撓腮，百思不得其解。

    “幾何學(xué)的確在計(jì)算機(jī)視覺(jué)和機(jī)器學(xué)習(xí)中的數(shù)據(jù)可視化項(xiàng)目有極大的作用，多維標(biāo)度、等距映射和t-SNE等降維技術(shù)都是利用幾何概念來(lái)保持?jǐn)?shù)據(jù)在高維空間中的結(jié)構(gòu)。