Empolgante! Uma ferramenta para uma equipe de um humano e uma IA escreverem provas matemáticas juntos.
guille
guille30/08/2025
hoje temos um esforço sobre IA e prova automática de teoremas (e alguns projetos legais!)
3,04K