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

    大夏新科總部一號辦公大樓。

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

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

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

    工程師張盼盼、劉唐中、李進(jìn)、陳曉浩等人，則是坐在周圍。

    而新科半導(dǎo)體公司的負(fù)責(zé)人李賢審，也帶著一群半導(dǎo)體工程師，坐在會議室，表情凝重。

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

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

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

    當(dāng)我們往下深究，其實(shí)無論是深度學(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ù)中的矩陣分解，比如主成分分析、奇異值分解、特征向量等概念，對于降維、數(shù)據(jù)壓縮和模型理解至關(guān)重要。

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

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

    助理鄭博，他已經(jīng)無法擔(dān)任此次會議的“記錄助理”，因?yàn)橹荑懗鰜淼哪承┕胶头?，他本人都不認(rèn)識，更不敢隨意臨摹。

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

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

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