3月7日晚，“北大数学一小时”通识系列报告 “AI for Mathematics之数学的形式化”在北京国际数学研究中心甲乙丙楼报告厅举行。报告由董彬教授主讲，将近200位北大数学师生参加了本次活动。 活动现场座无虚席 数学形式化是一种将数学语言转化为形式逻辑的 ...