Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery