6 月 11 日，以“AI 框架助力科學智能，打造科學新高地”為主題的 2023 開放原子全球開源峰會科學智能分論壇在北京圓滿舉行。北京航空航天大學計算機學院黨委書記、教授李建欣參加并致辭；華為昇思 MindSpore 架構師倪寧曦、研究員徐旭升，北京大學、北京國際數(shù)學研究中心長聘教授董彬，大連理工大學軟件學院副教授鄭曉朋、同元科學計算高級專家陳久寧、英捷創(chuàng)軟首席架構師/CEO 徐磊作精彩演講。

李建欣表示，AI 框架的發(fā)展對整個科學研究的范式也帶來了新的變化，這意味著我們可以用最新的工具來賦能自然科學新的發(fā)展，歡迎更多的企業(yè)、專家和開發(fā)者們與我們一起推動 AI 框架與科學智能的演進，推進科學智能在不同領域的落地應用。

華為昇思 MindSpore 架構師倪寧曦

倪寧曦演講題目為《AI 科學計算業(yè)界趨勢及 MindSpore 實踐》。他表示，昇思 MindSpore 從創(chuàng)立之初就已經(jīng)布局科學計算領域，圍繞為廣大科研工作者提供全棧高效易用軟硬件平臺的愿景，通過多尺度混合計算和高階混合微分兩大關鍵創(chuàng)新，將昇思原有的 AI 計算引擎升級為 AI 與科學計算的統(tǒng)一引擎，實現(xiàn)融合的統(tǒng)一加速。在電磁仿真、生物計算、流體仿真等領域與多家科研院所和企業(yè)合作，推出 MindSpore Elec、MindSpore SPONGE、MindSpore Flow 等 AI4S 領域包，降低科研開發(fā)門檻，推進 AI4S 的發(fā)展。

董彬發(fā)布題為《AI for Mathematics》的演講。他表示，AI for Mathematics 是在昇思 MindSpore 支持的 AI for Scientific Computing 的工作基礎上的一個拓展，AI for Mathematics 之路要兩個模式并進，一是要定制化輕量級 AI 工具、Prompt Engineering：輔助數(shù)學前沿探索，二是要訓練專業(yè)領域的 LLM。

徐旭升發(fā)表題為《當 AI 遇上量子計算》的演講，他表示，Mindspore Quantum 是一款全新的量子經(jīng)典混合計算框架，能夠高效地支持主流的量子算法和經(jīng)典量子混合算法。它不僅在量子機器學習、量子化學模擬和量子組合優(yōu)化等變分量子算法上有著卓越的性能，而且在大規(guī)模線路模擬也處于領先地位，為量子計算的研究和發(fā)展提供了一個高效的開發(fā)環(huán)境。

鄭曉朋在題為《基于計算共形幾何的網(wǎng)格生成》的演講中指出，CAD、CAE 是實現(xiàn)智能制造的關鍵軟件，網(wǎng)格生成是 CAD/CAE 一體化的橋梁。大連理工大學團隊基于計算共形幾何提出了結構化網(wǎng)格統(tǒng)一理論體系和算法，有效解決了當前該領域長期缺乏理論導致的工程難度大的問題，保證了網(wǎng)格的高質量和穩(wěn)健生成。同時基于前期該團隊和 MindSpore 在最優(yōu)傳輸理論可解釋深度學習上的合作，該統(tǒng)一表達為我們將 AI 和網(wǎng)格生成進行有效融合，實現(xiàn) AI for Meshing 提供了基礎理論支撐。

陳久寧發(fā)表題為《Why Julia? AI 科學計算的挑戰(zhàn)》的演講，他表示， Julia 是第一個解決了兩語言問題的編程語言。自發(fā)布基于 Julia 的科學計算環(huán)境 MWORKS.Syslab 以來，同元軟控在科學計算語言、多語言統(tǒng)一編譯和融合、AI 和機器學習等技術方向上開展了深入研究。任何技術的發(fā)展都離不開良好的生態(tài)，依賴生態(tài)并建設生態(tài)，是同元軟控所堅持的發(fā)展理念。

徐磊在題為《AI 加持下的云端 IDE-人工智能百倍人類的 10 個編碼場景》的演講中認為，大模型加持下的云端 IDE 為開發(fā)者提供了前所未有的智能編碼能力，使用 SmartIDE 配合 AI 編碼輔助，擁有 10 個 AI 百倍于人類的編碼場景。為開發(fā)者展示人工智能時代下的軟件開發(fā)新范式。

獨行者速，眾行者遠，科學智能的發(fā)展離不開 AI 框架的助力，昇思 MindSpore 呼吁大家一起攜手打造人工智能的創(chuàng)新之源，共探數(shù)智新未來，加速我國科研范式變革和能力提升，打造科學新高地!

審核編輯黃宇