RecodeX 重构消息，Anthropic公布了一项研究，让一款未发布的Claude模型尝试证明黎曼猜想。模型未能解决该猜想，但意外在相关问题上取得了进展。研究显示了大型语言模型在数学推理方面的潜力，具体模型版本与进展细节暂未披露。