2024年11月15日，由教务长办公室、教务部、信息科学技术学院、马克思主义学院联合主办的“北京大学博雅人工智能讲堂”第12期讲座在理教207教室举行。北京大学博雅特聘教授、国际机器学习研究中心副主任、国家生物医学成像科学中心研究员、北京大学长沙计算与数字经济研究院副院长董彬以“数学的数字化与智能化”为题作报告。全校400余名师生参加讲座。讲座由教务长办公室副主任于菲主持。

董彬授课

董彬从数学与人工智能的深厚渊源谈起，追溯了人工智能的发展历程，并深刻阐述了数学、计算科学与人工智能之间不可分割的紧密联系。他指出，近十年来，人工智能领域迎来了爆发式增长，尤其是GPT4的推出，标志着人工智能实践取得了显著进步。未来人工智能的进一步发展，仍亟需理论的指导，包括构架、数据、训练、解释、安全等多方面的深入研究。董彬及其团队“AI for Mathematics”的研究工作就是在此背景下展开。他指出，人工智能在启发数学家构建小模型、开展自动数学推理等方面已初露锋芒。然而，在训练语言大模型时，数学类数据集的相对匮乏成为一大难题。为了避免数学中的误解、漏洞和矛盾，建设高质量的数学语料库和形式化验证系统至关重要。北大的AI4M团队正致力于快速推进数学的数字化进程，构建高质量数据集和数学推理的“模拟器”，用强化学习训练AI的推理能力，并开发建设各类辅助工具。团队未来的目标是打造一个智能助手，为数学家提供推理和计算支持，辅助科研和教学；同时，助力数学更好地赋能人工智能，解决其在进一步发展过程中的各种问题。

课程现场

在交流环节，董彬就师生们提出的人工智能的形式证明与非形式证明、如何发动更多力量参与数据集建设等问题进行了深入交流和探讨。现场气氛热烈，师生们纷纷表示受益匪浅。

学生提问

专题链接：博雅人工智能讲堂