RecodeX 重构消息，有报道称，Anthropic旗下Claude模型生成了约19万行源代码，用于辅助核查一项13年前发表的数学证明，并发现其中存在错误。该事件在数学界引发关注，被视为AI参与数学证明验证的一个案例。