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