One of the many merits of mathematics is the ability to declare a statement true with certainty.

For millennia, mathematicians have sought to prove these statements – often called theorems – using logical, step-by-step arguments, with the hopes of expanding the tree of knowledge that is at their disposal.

However, as maths advances into increasingly thorny areas, these proofs become incredibly elaborate; new breakthroughs require time, effort, and unique ways of thinking, often from many researchers working together. All this needs to be done while ensuring proofs are thorough and unblemished, yet clear and concise. So, it is easy to see how the concept of new methods of proving is enticing!