2026-05-11
AI for Math 突破临界点
谷歌DeepMind AI数学家48%正确率破解60年未解难题，浙大校友AI框架刷新32年拉姆齐数下界，GPT-5.5 Pro两小时输出博士级证明，显示AI在抽象推理、形式化证明环节已越过“辅助”阶段，成为基础科研的共创者。
2026-05-10
AI for Math与科学发现范式突破
谷歌AI联合牛津数学家破解群论悬案、AlphaEvolve一周年助攻陶哲轩、浙大校友AI刷新32年拉姆齐数下界，显示大模型在形式化证明与组合数学中已超越人类专家，开启“AI猜想-人机共证”的新科研范式。