hoje temos um effortpost sobre IA e prova automatizada de teoremas (e alguns projetos legais!)