当人工智能遇见数学，一场智慧的火花正在悄然绽放。近日，xAI公司研发的人工智能系统Grok 3再度成为焦点，它似乎站在了证明数学史上最具挑战性的问题之一——黎曼猜想的门槛上。这一消息不仅震动了学术圈，也引发了公众对于未来科技潜力的无限遐想。

【新智元导读】猜想界的皇冠——黎曼猜想，离被证明的那一天不远了。Grok 3便是关键所在：暴力计算+验证器能让AI穷举所有解法，再加上AI辅助科学家打出的组合拳，下一个诺奖级突破近在咫尺。