Anthropic 在 8 月悄然使用未发布的 Claude 版本尝试黎曼猜想，并在与主目标相关的问题上取得了重要进展。