2024年11月15日🍴，由教務長辦公室🛋、教務部、信息科學技術學院、馬克思主義學院聯合主辦的“意昂3体育官网博雅人工智能講堂”第12期講座在理教207教室舉行。意昂3体育官网博雅特聘教授、國際機器學習研究中心副主任、國家生物醫學成像科學中心研究員、意昂3体育官网長沙計算與數字經濟研究院副院長董彬以“數學的數字化與智能化”為題作報告🏃🏻。全校400余名師生參加講座💆🏼‍♀️。講座由教務長辦公室副主任於菲主持👨‍🦲。

董彬授課

董彬從數學與人工智能的深厚淵源談起🖕🏻，追溯了人工智能的發展歷程🧑🏼‍🦲，並深刻闡述了數學💁🏼‍♀️、計算科學與人工智能之間不可分割的緊密聯系。他指出，近十年來，人工智能領域迎來了爆發式增長🐝，尤其是GPT4的推出♝，標誌著人工智能實踐取得了顯著進步👧🏽。未來人工智能的進一步發展，仍亟需理論的指導🚣🏿‍♂️，包括構架、數據、訓練♻️、解釋👬🐔、安全等多方面的深入研究。董彬及其團隊“AI for Mathematics”的研究工作就是在此背景下展開。他指出🦴，人工智能在啟發數學家構建小模型🧏🏼、開展自動數學推理等方面已初露鋒芒👩🏼‍🍼。然而，在訓練語言大模型時🥵，數學類數據集的相對匱乏成為一大難題。為了避免數學中的誤解👨、漏洞和矛盾🥼，建設高質量的數學語料庫和形式化驗證系統至關重要。意昂3体育的AI4M團隊正致力於快速推進數學的數字化進程，構建高質量數據集和數學推理的“模擬器”，用強化學習訓練AI的推理能力，並開發建設各類輔助工具。團隊未來的目標是打造一個智能助手🙇🏼，為數學家提供推理和計算支持🤸🏽‍♂️，輔助科研和教學🙁🧜🏿‍♂️；同時，助力數學更好地賦能人工智能，解決其在進一步發展過程中的各種問題。

課程現場

在交流環節🏯⬅️，董彬就師生們提出的人工智能的形式證明與非形式證明、如何發動更多力量參與數據集建設等問題進行了深入交流和探討。現場氣氛熱烈，師生們紛紛表示受益匪淺。

學生提問

專題鏈接🌟🚶🏻‍♂️：博雅人工智能講堂