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