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

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