The term pattern is not dependent on things being proven through formal processes and anti-patterns are not defined as things that are not patterns.

Anti-patterns can be patterns that have been proven through formal processes and the most successful of them tend to be.