2026-05-10
AI for Math与科学发现范式突破
谷歌AI联合牛津数学家破解群论悬案、AlphaEvolve一周年助攻陶哲轩、浙大校友AI刷新32年拉姆齐数下界，显示大模型在形式化证明与组合数学中已超越人类专家，开启“AI猜想-人机共证”的新科研范式。
2026-05-09
AI数学推理登顶
未公开的ChatGPT 5.5 Pro与谷歌“AI联合数学家”在一小时内分别攻克博士级组合难题与群论悬案，首次被菲尔兹奖得主公开背书，标志着大模型从“背公式”跃进到“原创证明”，冲击数学研究范式。
2024-03-09
AI4Science与几何图神经网络
人大高瓴联合腾讯AI Lab等发布几何图神经网络综述，系统梳理群论对称性在分子、材料科学中的应用，为AI驱动科研提供通用方法论。