當(dāng)智能時(shí)代的浪潮奔涌而至，一場(chǎng)指向未來(lái)的科學(xué)求索如期啟航。
10月23日，“可信軟件智能化方法學(xué)術(shù)研討會(huì)”在華東師大滴水湖國(guó)際軟件學(xué)院舉辦。作為2025世界頂尖科學(xué)家論壇（WLF）的重要系列活動(dòng)，本次研討會(huì)以“未來(lái)科學(xué)：上海與世界”為主題，聚焦人工智能與軟件工程的交叉領(lǐng)域，匯聚全球頂尖智慧，共探智能時(shí)代的可信之道。
“可信軟件智能化方法學(xué)術(shù)研討會(huì)”在華東師大滴水湖國(guó)際軟件學(xué)院舉辦
這場(chǎng)跨學(xué)科對(duì)話(huà)迎來(lái)了一位特別的領(lǐng)航者——2013年諾貝爾化學(xué)獎(jiǎng)得主、世界頂尖科學(xué)家協(xié)會(huì)副主席、斯坦福大學(xué)教授Michael Levitt。作為最早將計(jì)算機(jī)模擬引入化學(xué)研究的先驅(qū)者之一，Levitt教授的到來(lái)為這場(chǎng)跨界對(duì)話(huà)帶來(lái)了獨(dú)特的深度與視野。從分子動(dòng)力學(xué)模擬到智能軟件系統(tǒng)，他開(kāi)創(chuàng)的多尺度模型方法，不僅讓化學(xué)研究邁入信息化快車(chē)道，更為理解復(fù)雜系統(tǒng)提供了重要啟示。Levitt教授的科研歷程本身就是一部科學(xué)范式演進(jìn)的生動(dòng)見(jiàn)證。
2013年諾貝爾化學(xué)獎(jiǎng)得主、世界頂尖科學(xué)家協(xié)會(huì)副主席、斯坦福大學(xué)教授Michael Levitt
同期出席的還有牛津大學(xué)計(jì)算機(jī)科學(xué)副教授A(yíng)mir Goharshady以及華東師范大學(xué)化學(xué)與分子工程學(xué)院教授姜雪峰。在人工智能重塑科研范式的今天，三位學(xué)者聯(lián)袂登場(chǎng)，共同引領(lǐng)這場(chǎng)探索智慧邊界的旅程。圍繞“可信智能時(shí)代的科學(xué)范式與責(zé)任邊界”，三位科學(xué)家與在場(chǎng)學(xué)子展開(kāi)深度交流。整場(chǎng)討論在融合開(kāi)放的氛圍中進(jìn)行，現(xiàn)場(chǎng)氣氛熱烈。
研討會(huì)現(xiàn)場(chǎng)同學(xué)提問(wèn)
專(zhuān)家們結(jié)合各自領(lǐng)域作出回應(yīng)
同學(xué)們從學(xué)習(xí)科研實(shí)際出發(fā)，提出了一系列富有洞察力的問(wèn)題：如何辯證看待AI生成內(nèi)容的可靠性？在自動(dòng)駕駛等安全關(guān)鍵領(lǐng)域如何平衡技術(shù)創(chuàng)新與系統(tǒng)可信度？又該如何構(gòu)建既保障問(wèn)責(zé)又尊重隱私的監(jiān)管框架？專(zhuān)家們結(jié)合各自領(lǐng)域作出回應(yīng)：Levitt教授以化學(xué)實(shí)驗(yàn)為例，強(qiáng)調(diào)真實(shí)驗(yàn)證對(duì)AI預(yù)測(cè)的不可或缺性；姜雪峰教授則提出“AI承擔(dān)重復(fù)性工作，科研人員專(zhuān)注創(chuàng)新探索”的務(wù)實(shí)路徑；Goharshady副教授通過(guò)智能合約與軌道交通的對(duì)比，闡釋可驗(yàn)證算法在關(guān)鍵系統(tǒng)中的優(yōu)先地位。
報(bào)告環(huán)節(jié)，Amir Goharshady、姜雪峰以及軟件工程學(xué)院（滴水湖國(guó)際軟件學(xué)院）青年研究員王培新三位學(xué)者分別結(jié)合自身研究領(lǐng)域，從理論前沿與創(chuàng)新實(shí)踐的多維視角進(jìn)行分享。
學(xué)者報(bào)告
Amir Goharshady作題為Scalable Program Analysis via Decompositions of Control-flow Graphs的報(bào)告。他在剖析現(xiàn)代軟件因規(guī)模龐大和博弈特性所面臨的嚴(yán)峻驗(yàn)證挑戰(zhàn)的同時(shí)，提出了引入?yún)?shù)化復(fù)雜度理論與樹(shù)分解方法的創(chuàng)新解決方案。
姜雪峰在A(yíng)I for Chemistry報(bào)告中指出，人工智能正深刻重塑化學(xué)研究范式。他以智能算法加速分子設(shè)計(jì)、反應(yīng)預(yù)測(cè)過(guò)程等化學(xué)的自動(dòng)化實(shí)踐為例，生動(dòng)闡釋了AI驅(qū)動(dòng)的研究范式對(duì)于提升各領(lǐng)域研發(fā)過(guò)程的可靠性、自動(dòng)化與智能化水平所具有的積極意義。
王培新作題為Structural Abstraction and Refinement for Probabilistic Programs的分享。該研究聚焦于概率程序的可靠性驗(yàn)證難題，提出以“結(jié)構(gòu)抽象與精化”為核心的新方法，為差分隱私、隨機(jī)算法等關(guān)鍵場(chǎng)景中的軟件可信性分析提供了新的技術(shù)路徑。
七年前，世界頂尖科學(xué)家論壇在上海創(chuàng)設(shè)，臨港和頂科同頻共振，每年金秋，世界“最強(qiáng)大腦”齊聚滴水湖畔，聚焦全球科技前沿，進(jìn)行融合創(chuàng)新。
會(huì)議合影
作為2025世界頂尖科學(xué)家論壇的重要衍生論壇，本次會(huì)議的舉辦，是華東師大在推動(dòng)跨學(xué)科融合、服務(wù)國(guó)家創(chuàng)新戰(zhàn)略的又一嘗試。作為學(xué)?！癆I+”戰(zhàn)略的重要載體，軟件工程學(xué)院（滴水湖國(guó)際軟件學(xué)院）將以此為契機(jī)，進(jìn)一步深化與世界頂尖科研機(jī)構(gòu)的合作，重點(diǎn)攻關(guān)可信軟件、智能系統(tǒng)等關(guān)鍵領(lǐng)域的前沿技術(shù)，打造高水平的產(chǎn)學(xué)研協(xié)同創(chuàng)新平臺(tái)。華東師大也將繼續(xù)支持此類(lèi)高水平國(guó)際學(xué)術(shù)交流，通過(guò)強(qiáng)化基礎(chǔ)研究、推動(dòng)學(xué)科交叉、培育創(chuàng)新人才，為上海建設(shè)具有全球影響力的科技創(chuàng)新中心提供堅(jiān)實(shí)支撐，并為實(shí)現(xiàn)國(guó)家高水平科技自立自強(qiáng)、建設(shè)世界科技強(qiáng)國(guó)貢獻(xiàn)智慧與力量。
來(lái)源｜軟件工程學(xué)院（滴水湖國(guó)際軟件學(xué)院） 圖文丨盧昱舟 編輯丨陳勵(lì)、宗文倩 編審 | 郭文君
