北京大学董彬教授特别讲座

作者：孟令玉(2026-04-07)


2026年4月4日下午4时，北京大学董彬教授应邀于省身楼216教室进行了题为“AI for Mathematics：从数字化到自动推理”的特别讲座。