What is a (Mathematical) Proof
(and why do I bring it up in the context of AI development)
In this section we look at what a proof is, why proofs are important in our Artificial Intelligence (AI) development and why AI itself may contribute substantially to our ability to find proofs to various mathematical problems. The beginning of a virtuous cycle. All the background material needed to read this section is covered in the Formal Software Development: manual and presentation slides.