AlphaProof

xAI工程师Hieu Pham戏称其大语言模型Grok3证明了黎曼猜想，引发热议。后证实为调侃，但事件促使人们思考AI在数学难题上的能力。AI证明工具AlphaProof在数学竞赛中展现潜力，但攻克黎曼猜想等顶级难题仍需时日。