关键!AI与数学家打出终极组合拳 3冲击诺奖级突破 成证明 黎曼猜想 Grok 新智元报道编辑,犀牛桃子,新智元导读,猜想界的皇冠——黎曼猜想,离被证明的那一天不远了,Grok3便是关键所在,暴力计算,验证器能让AI穷举所有解法,再加上AI辅助科学家打出的组合拳,下一个诺奖级突破... AI资讯# 定理# 数学家# 素数 4周前01300