热点事件持续更新
王国祯谈AI时代数学家使命：正推动同伦群计算形式化
1 篇报道1 个报道来源20 小时前更新
先了解这件事
AI 综述
2026年11月2日，据科学网报道，数学家王国祯指出，数学家的核心使命是发掘理论与精妙结构，而非单纯做题；AI不会淘汰数学家，反而能促使其探索更多未知问题。在教学实践中，他已在高校课程中引导学生利用AI生成形式化证明并拆解推导过程。目前，其团队正着手将同伦群的计算过程形式化，以此训练AI模型辅助攻克后续的数学计算。
AI 根据报道生成 · 20 小时前更新
最新进展11月2日 09:14
王国祯团队正着手将同伦群计算过程形式化，用于训练AI模型辅助后续数学计算。报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- 科学网王国祯：数学家的使命远远不只是做题
数学家王国祯指出，数学家的核心使命是发掘理论与精妙结构而非单纯做题，AI 不会淘汰数学家，反而能促使其探索更多未知问题。针对 AI 带来的教学冲击，他在高校课程中已引导学生利用 AI 生成形式化证明并拆解推导过程。目前，其团队正着手将同伦群的计算过程形式化，以训练 AI 模型辅助攻克后续的数学计算。
本事件热度走势
当前热度 6·可比范围峰值 10（11月2日 10:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。