AI解决重大未解数学问题引发学界争议

IEEE Spectrum报道AI系统成功解决了千禧年大奖难题级别的重大数学问题。但部分数学家对AI生成证明的可验证性和'理解'深度提出质疑，引发了关于数学研究本质的深刻讨论。原文发表于2026年10月6日。