How many human proteins have a solved 3D structure?
6405 proteins mapping to 5220 genes, according to Ensembl. 

In Ensembl's BioMart, you can select the PDB ID as external reference. Export the results and count the unique proteins/genes that have a PDB ID.