2024年11月15日
，董彬大学第讲的数由教务长办公室、主讲智能字化智教务部
、北京博雅信息科学技术学院
、人工马克思主义学院联合主办的讲堂“北京大学博雅人工智能讲堂”第十二讲在理教207教室举行。北京大学博雅特聘教授、数学北京幸运28是什么国际机器学习研究中心副主任 、董彬大学第讲的数国家生物医学成像科学中心研究员
、主讲智能字化智北京大学长沙计算与数字经济研究院副院长董彬以“数学的北京博雅数字化与智能化”为题作报告。全校400余名师生参加讲座 。人工讲座由教务长办公室副主任于菲主持 。讲堂董彬授课董彬从数学与人工智能的数学深厚渊源谈起 ，追溯了人工智能的董彬大学第讲的数发展历程 ，并深刻阐述了数学 、主讲智能字化智计算科学与人工智能之间不可分割的北京博雅幸运28官网官网紧密联系 。他指出，近十年来 ，人工智能领域迎来了爆发式增长 ，尤其是GPT4的推出 ，标志着人工智能实践取得了显著进步
。未来人工智能的进一步发展，仍亟需理论的幸运28怎么玩指导，包括构架 、数据 、训练、解释、安全等多方面的深入研究。董彬及其团队“AI for Mathematics”的研究工作就是在此背景下展开。他指出，幸运28预测单双公式人工智能在启发数学家构建小模型、开展自动数学推理等方面已初露锋芒。然而，在训练语言大模型时 ，数学类数据集的相对匮乏成为一大难题 。为了避免数学中的误解 、漏洞和矛盾，大神幸运28网建设高质量的数学语料库和形式化验证系统至关重要。北大的AI4M团队正致力于快速推进数学的数字化进程 ，构建高质量数据集和数学推理的“模拟器” ，用强化学习训练AI的推理能力，并开发建设各类辅助工具 。团队未来的目标是打造一个智能助手，为数学家提供推理和计算支持 ，辅助科研和教学；同时 ，助力数学更好地赋能人工智能
 ，解决其在进一步发展过程中的各种问题 。课程现场在交流环节，董彬就师生们提出的人工智能的形式证明与非形式证明、如何发动更多力量参与数据集建设等问题进行了深入交流和探讨。现场气氛热烈，师生们纷纷表示受益匪浅。学生提问专题链接
：博雅人工智能讲堂 延伸阅读 ： 为推动数智技术赋能教学方式与科研范式创新，进一步提升师生数智素养，面向未来培养具有数智时代胜任力与塑造力的拔尖创新人才，2024年春季学期，北京大学设立“博雅人工智能讲堂”，由教务长办公室、教务部、信息科学技术学院
、马克思主义学院联合主办。“北京大学博雅人工智能讲堂”系列讲座将围绕人工智能发展历程
、核心技术、应用实践和未来发展、“人工智能+”跨学科/交叉学科研究及人才培养等主题 ，邀请专家学者分享学术思想和研究成果。欢迎广大师生持续关注，积极参与交流。