As for explaining mathematical phenomena it opens the question: explaining to whom? humans?, other computers?