Finitely generated projective (modules) modules \(\rightleftharpoons\)vector bundles over \({\mathbf{A}}^N\),
"It is not known whether there exist projective (modules)\(A{\hbox{-}}\)modules of finite type, where \(A = k[x_1, ..., x_n]\) is a polynomial ring over a field.