为什么AI能解千禧年难题，却做不到递归自我改进

文章结合 Anthropic 10月20日发布的 AGENT4SCI 评测与斯坦福等机构 10月28日的 After42 项目，解释前沿模型为何能攻克 ETH 证伪、挂谷猜想、四维杨-米尔斯证明等难题，却在 RSI 和经验学科创新上受限。