Excitante! Uma ferramenta para uma equipe de um humano e uma IA escreverem provas matemáticas juntos.
guille
guille30 de ago. de 2025
hoje temos um effortpost sobre IA e prova automatizada de teoremas (e alguns projetos legais!)
3,06K