RecodeX 重构消息,一位业余爱好者借助AI解决了60年未解的数学难题。