Proof theory is a branch of mathematics that looks at how proofs are constructed, their structure, and what can be proven mathematically. Researchers focus on finding proofs, using machines to generate proofs, and finding the shortest proof for a statement. They also study which sets of rules can generate proofs most efficiently. It has been found that, in many cases, having a long proof that is easy to find is more useful than a short proof that is difficult to find.