2017年4月20日，宗传明教授受邀到陈省身数学研究所访问，并作了题为“希尔伯特第十八问题，着色图与计算机证明”的报告。