*"me forçou a entender como minha mente funciona. Alem de ser um exercício de humildade. Pra depois na vida profissional descobrir que o mais importante n é saber fórmulas de cor ou decorar conceitos, mas sim saber procurar pela solução. A que(m) recorrer. Descobrir um início e ir refinando até ficar satisfeito."*
é tudo que ele diz. Há vários livro-textos e listas de exercício. O importante da disciplina eram aqueles que obrigavam a construir uma solução devagar, por partes, procurar pistas em outras referências ou pedir ajuda, relacionar conceitos, com vários caminhos até chegar em uma solução. Demorava dias, era desesperador, mas depois de resolver, um sentimento de progresso e completude e a consciencia de ter entendido algo alem do slogan e formula. E não ser avaliado pelo que pode fazer em 4 questoes de 30 min. Afinal, é pós, eles querem títulos bonitos, certo?
só que hj a IA resolve, ou pelo menos indica o 'pulo do gato'. Podemos complicar? Sim, mas aí ninguem resolve!
A IA resolve tanto problemas teoricos - 'prove que A ==> B', quanto quasi-numericos 'construa uma relação válida entre conjuntos A e B' (é teórico demais pra questão quantitativa numero->numero). Um dilema, em 2 anos os livro-texto ficaram 'triviais'.
Nosso brainstorm passou por algo parecido à sua útima ideia: exigir algo bem escrito, formal, conciso, preciso, e minimizando erros: aluno entrega um livro-texto de matematica-lógica sem IA slop. Desvantagens:
a) sem IA fica impossível, o usual era alunos ralarem pra achar o caminho principal, não organizarem todos os detalhes sem erro na apresentação. Praticamente obriga a deixar a IA resolver e o aluno apenas polir a solução filtrando fora o slop.
b) o esforço pra corrigir é enorme... não só verificar se enxergou o principal...
c) ha alguns bons de matematica e logica, entendem teoremas, mas ogros em expressao escrita. Talvez de pra remediar com prova oral (mais trabalho pro prof ainda).
ninguem esta certo do que fazer...
📝 a530361f…