海外 Anthropic未发布模型挑战黎曼猜想，数学界震动 黎曼猜想困扰数学界超过150年，被视为数学最重大未解决问题之一。近日，Anthropic一款未公开发布的AI模型在该问题上取得意外进展，虽未完全证明，但已引数学界广泛关注。这一成果标志着AI在数学推理领域迈出重要一步，也让人们重新审视大型语 Anthropic 黎曼猜想 AI数学推理 人工智能 5小时前 50
