We present twelve problems that we consider most important in proof complexity and discuss relations among them and possible consequences.
