Claim: The black box groups were first introduced in the year 2000.
Evidence: The black box groups were introduced by Babai and Szemerédi in 1984.