Por trinta anos, todo bimestre, a mesma cena. Pilha de duzentas provas no canto da mesa, a caneta vermelha gasta, o relógio passando da meia-noite, o café requentado, a coluna travada. O professor corrige. Marca certo, marca errado. Soma pontos. Repassa. Lança no diário. No outro dia, dá aula. À noite, corrige. No fim de semana, planeja, redige questão nova, faz duas variações pra impedir cola. Segunda feira, dá prova. Sexta, corrige.

Isso não é trabalho. É moagem.

Marx tinha um nome para esse fenômeno: trabalho alienado. Não no sentido fraco — "trabalho chato". No sentido forte: o trabalho que consome o trabalhador, que se desliga do produto, que se separa do prazer e do propósito, que se torna pura repetição mecânica em benefício de uma engrenagem maior. O professor que corrige duzentas provas idênticas não está educando. Está executando uma função produtiva da máquina escolar — produzir notas, produzir registros, produzir comprovantes que a máquina exige para continuar girando.

E aqui mora a ideologia. A cultura brasileira sacralizou o sacrifício docente. "Professor é vocação", diz a frase. Tradução: "aceite ganhar pouco, trabalhar muito, levar prova pra casa, não dormir, não viver, porque é nobre". É a mesma operação ideológica que faz o entregador de aplicativo se chamar de "empreendedor" enquanto pedala dezesseis horas por dia. O nome é diferente, a função é a mesma: naturalizar o que deveria ser denunciado. Transformar a exploração em virtude.

A tecnologia, nesse quadro, costumou ser inimiga do professor. Plataformas digitais entraram na escola para vigiar, métricas substituíram pedagogia, planilhas comeram a aula, sistemas burocráticos transformaram o docente num operador de formulário. Heidegger já avisava em A Questão da Técnica: a técnica moderna não é neutra — ela tem uma direção, uma intenção, um modo de revelar o mundo que pode reduzir tudo (inclusive o humano) a "estoque disponível para uso". A técnica capitalista revela o professor como recurso a ser otimizado, espremido, descartado.

Mas Heidegger também dizia que a técnica abriga, ao mesmo tempo, o seu oposto: uma forma poética de revelação, um modo de fazer que liberta em vez de capturar. A diferença não está na ferramenta. Está na intenção de quem a constrói e na classe que ela serve.

É nesse ponto que entra o GeraProva.

GeraProva é uma plataforma educacional que usa inteligência artificial para gerar e corrigir provas. Em três frases: o professor escolhe o tema, a habilidade BNCC, o nível, o estilo. A IA gera o banco de questões. A correção sai automatizada. O professor recupera o tempo que era roubado.

A escolha de palavras importa. Não é "produtividade" — palavra do capital. É devolução de tempo. Tempo de pensar a aula. Tempo de ler um livro. Tempo de jantar com filho. Tempo de existir fora da função. Tempo, em última instância, de deixar de ser engrenagem.

A ferramenta sozinha não resolve nada. Plataformas educacionais existem aos montes — e a maioria delas aprofunda a alienação em vez de combatê-la. Vendem o discurso da "inovação" enquanto entregam vigilância, métrica de produtividade, ranking de docentes, gamificação que infantiliza, algoritmo que decide quem é bom professor sem nunca ter pisado numa sala. Uberização escolar com verniz pedagógico. A pedagogia como fachada do controle.

A diferença do GeraProva não está na tecnologia em si — é IA, como qualquer outra. Está na direção em que a ferramenta aponta. Existe IA construída para substituir o professor. E existe IA construída para libertar o professor da parte da função que nunca devia ter sido sua. Corrigir mecanicamente prova de múltipla escolha não é educar. É um trabalho de máquina que historicamente foi imposto ao humano por razões econômicas — e que finalmente pode ser devolvido à máquina, restituindo ao professor o que sempre foi propriamente educativo: o vínculo, a leitura, o debate, a presença.

Não é sobre eficiência. Eficiência é palavra que o capital usa pra justificar demissão. É sobre dignidade do trabalho intelectual. É sobre o professor poder voltar a ser professor — não digitador de notas, não preenchedor de planilha, não corretor mecânico de gabarito.

A crítica marxista nunca foi luddita. Marx não era contra a máquina. Era contra a forma capitalista da máquina — máquina que serve ao capital, máquina que substitui o trabalhador para extrair mais-valor, máquina que o capital monopoliza para impor disciplina. Mas a máquina sob outra lógica, sob outra propriedade da intenção, pode ser exatamente o oposto: instrumento de emancipação, de redução do tempo socialmente necessário de trabalho, de ampliação do tempo livre.

O GeraProva é uma aposta nesse outro lado da técnica. Não é solução mágica. Não vai consertar sozinho um sistema educacional sucateado por décadas de descaso, financiamento precário e desvalorização docente. Mas é, no seu pequeno raio de atuação, uma escolha consciente: construir tecnologia que devolve tempo ao trabalhador, em vez de roubar mais um pedaço dele.

Talvez seja só isso, no fim das contas. Em meio à enxurrada de plataformas que vendem libertação e entregam vigilância, parar para perguntar: a quem essa tecnologia serve? Se a resposta for "ao professor que está exausto na cozinha às onze da noite com a pilha de provas", a ferramenta valeu a pena. Se for "ao acionista, ao painel de métrica, ao algoritmo de ranking" — é só mais uma engrenagem.

A diferença é toda.