João Marcos (11:00-12:00) TUESDAY 7 August
Breaking the Proof Code
João Marcos
Universidade Federal do Rio Grande do Norte, Brazil
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 of proofs and refutations for various significant mathematical conjectures.