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