北大教授董彬谈AI对数学研究的冲击与人机分工

北京大学董彬教授在访谈中指出，随着自主验证与推理能力的增强，AI正在快速推进数学问题求解并改变研究范式。他认为AI在知识覆盖和工具推理上优势显著，但提出新猜想与构建理论框架仍依赖人类的学术品味，未来高校理论研究将与企业工程训练形成互补分工。