王国祯获求是奖，球面同伦群计算推进至第90项

事件综述根据 1 篇报道整理，11月2日更新

上海数学中心首席教授王国祯与徐宙利合作，将球面稳定同伦群的计算从第59项推进到第60、61项，再推到第90项，并因此获得2026年度求是杰出科学家奖数学奖。 王国祯认为，AI解题只是模型训练的副产品，学生依赖AI会削弱“手搓定理”的动力，但数学岗位不应因此减少。他正着手将计算过程形式化，用于训练模型辅助计算。

综述由模型根据报道生成，细节以各篇原文为准。