2026-05-12
AI数学能力逼近奇点
谷歌AI Co-Mathematician助牛津教授攻克群论数十年难题，ChatGPT 5.5 Pro被菲尔兹奖得主证实17分钟产出论文级成果。AI数学推理从辅助直觉走向“准自主证明”，高阶科研岗位与人才培养模式面临重塑。
2024-04-24
科学计算+AI提速
AlphaFold2再评估、Lean Copilot自动化80%数学证明、TimeGPT刷新时序预测，显示大模型正成为科研基础设施；AI for Science进入“工具标配”阶段，加速材料、生物、海洋等多学科发现。