王国祯：数学家的使命远远不只是做题

数学家王国祯指出，数学家的核心使命是发掘理论与精妙结构而非单纯做题，AI 不会淘汰数学家，反而能促使其探索更多未知问题。针对 AI 带来的教学冲击，他在高校课程中已引导学生利用 AI 生成形式化证明并拆解推导过程。目前，其团队正着手将同伦群的计算过程形式化，以训练 AI 模型辅助攻克后续的数学计算。