Breaking the Proof Code
(João Marcos, UFRN)

How many of your proofs are correct? Can computers assist you in doing better math? This talk will appraise some recent achievements in mechanized generation and verification of proofs / refutations for various significant mathematical conjectures..

Click for slides.