As far as First World Olympic champions (post WWII) go; it is probably easier to name those who have NOT won at least some form of a pro world title...
Well, Patterson, ali, foreman, frazier, klitschko, lennox lewis, evander holyfield are just names from the hevyweight division who have won national titles and olympucs as wel as heavyweight titles in the pros, so going on averages if there are this many from the HW division alone probably safe to say the amount runs into the hundreds spread across all of the weight divisions.
yup. And it really is almost easier to name those who didn't instead of those who did. I wager Roberto Cammarelle never will