董彬 教授:AI for Mathematics:从数字化到自动推理

作者:孟令玉(2026-03-31)