AI证明黎曼猜想？恶搞引发热议

近期，传闻Grok 3 AI模型证明了黎曼猜想，引发了AI圈热议。然而，xAI暂停Grok 3训练后证实，这只是网友Andrew Curran的恶搞。黎曼猜想是千禧年七大数学难题之一，至今未被证明。尽管数学家已用计算机验证了前15亿个点，均符合猜想，但AI在数学证明方面仍面临巨大挑战。AlphaProof在IMO 2024数学竞赛中表现出色，证明了4道题，达到银牌水平，显示了AI在数学领域的潜力。专家认为，AI距离解决黎曼猜想等难题还需时日。
来源：https://mp.weixin.qq.com/s/TwOegELm2c11C2QJiMDncQ