甲小姐对话董彬：AI for Math，无尽的前沿

数学与人工智能的深度融合正重塑科研范式。北京大学教授董彬指出，AI for Math 不仅是辅助工具，更是加速理论发现的引擎，通过自主解决安德森猜想等开放性问题，展现了 AI 在处理复杂逻辑空间中的潜力。这一变革冲击了传统的学术评价体系，同行评审正逐渐被 AI 驱动的检索与验证取代。面对 AI 带来的效率焦虑，人类需解绑 “工具人” 属性，在 AI 无法触及的领域重新定义价值与尊严。数学研究已从个人英雄主义转向人机协作探索，这种范式转移要求教育体系从技能培养转向对人类核心价值与成长路径的深度思考。