Claim: Mike Tyson boxed professionally.
Evidence: Michael Gerard Tyson -LRB- -LSB- ˈtaɪsən -RSB- born June 30 , 1966 -RRB- is an American former professional boxer who competed from 1985 to 2005.