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