AI is Proving Things No One Understands*