Grok 3证明黎曼猜想，训练遭灾难性事件？玩梗之余是否真有可能

Grok 3玩梗被误传证明黎曼猜想，xAI工程师调侃澄清，实际其能力与千禧年难题尚存巨大差距；AlphaProof等AI工具在数学竞赛中表现突出，但与攻克黎曼猜想等高难度问题相比，仅达中级数学推理水平；AI在数学领域加速突破依赖计算资源扩展和推理优化，数学家预测未来几年或攻克部分千禧年难题。