AI 攻克高难度数学难题 取得突破性进展

Mirage News 报道 AI 系统在解决一项过去人类研究者长期未解的数学难题上获得突破性进展，被业内视为继 AlphaProof 之后的又一里程碑。研究团队强调系统不是"暴力穷举"，而是结合形式化推理工具完成证明。