Quando o PDF se torna nossa interface de diálogo com a IA

Tudo costuma começar com uma pausa na página sete. Você está relendo o manuscrito do artigo que vem lapidando há meses, acompanhando um raciocínio já familiar, quando seu olhar trava em uma relação de subtipagem. Os símbolos são conhecidos, a fórmula está perfeitamente alinhada, mas a direção entre os dois tipos se inverteu silenciosamente; dois parágrafos abaixo, a notação em linha no corpo do texto repete a mesma inversão; ao correr os olhos para o lado, a legenda de uma figura segue a mesma grafia. Na página diagramada, o problema forma um fio contínuo, nítido e completo. Você sabe na hora onde o parecerista vai levantar dúvidas e sabe exatamente por onde começar a corrigir aquela página.

No entanto, no instante em que você estende a mão para fazer a alteração, a página desaparece da sua frente.

Para responder a uma intuição nascida diante da página renderizada do PDF, as ferramentas tradicionais de escrita acadêmica sempre exigem que você abandone o PDF e recue para arquivos de código-fonte .tex repletos de cifrões e barras invertidas. Durante décadas, essa cisão entre "pensar sobre a página diagramada e trabalhar dentro do código-fonte" foi aceita como o preço inevitável de uma tipografia de precisão. Mesmo hoje, quando agentes de IA já lidam com desenvoltura com projetos divididos em múltiplos arquivos, a interação nas principais ferramentas de LaTeX continua presa à dependência histórica da edição centrada no código-fonte: elas chegam ao ponto de espremer assistentes de IA cada vez mais capazes dentro do painel de código, deixando a linguagem de marcação bruta dominar a área de trabalho principal, enquanto relegam o manuscrito diagramado ao fim da linha de montagem, reduzido a uma mera janela auxiliar de pré-visualização.

Criei o Papilot justamente por não suportar essa ruptura e esse desalinhamento. Eu queria que o autor pudesse discutir com a IA como revisar o texto diretamente sobre a página que está lendo. Quando o autor constrói seu argumento, explica à IA sua intenção de mudança e, por fim, avalia se a expressão acadêmica se sustenta, é sempre diante da página diagramada que ele está. Por isso, o Papilot devolve integralmente o espaço de trabalho principal ao próprio manuscrito em PDF, sem reservar lugar na interface para um editor de código-fonte permanente. No disco, seu projeto continua sendo formado por arquivos .tex, .bib e outros arquivos locais, gerenciados pelo Git. Sempre que quiser inspecionar ou editar o código manualmente, você pode abri-lo no seu editor externo preferido, mas o diálogo entre pessoa e IA volta, a partir de agora, para a mesma página do manuscrito.

Por que a colaboração com IA centrada no código-fonte ficou para trás

A longa persistência da tela dividida não é obra do acaso; ela esconde a premissa inercial de que só o lugar onde se edita código conta como verdadeira bancada de trabalho. Veja o Overleaf: à esquerda fica o painel de edição e, à direita, o visualizador de PDF; o usuário alterna entre o editor de código e o editor visual, redimensiona ou recolhe painéis, recompila para atualizar o resultado e salta de um lado para o outro entre o código-fonte e a página. Mesmo quando alguns painéis são ocultados ou o modo visual é ativado, a superfície onde o autor efetivamente escreve e altera o texto permanece separada da página final diagramada, e a edição do código-fonte continua no centro do palco.

Colocar modelos de IA mais potentes dentro dessa estrutura de tela dividida tampouco aumenta a eficiência do autor. Basta olhar para o projeto OpenAI Prism, já prestes a ter sua morte anunciada: seu assistente embutido no editor é capaz de gerar trechos de código LaTeX com opções de "manter" ou "desfazer", sinalizar erros de código em linha, modificar arquivos do projeto e disparar a recompilação, exibindo o resultado em uma janela separada de pré-visualização do PDF. Mas, nesse fluxo, toda a conversa continua girando em torno do código-fonte. A questão levantada pelo autor nasce no PDF, mas a alteração proposta pela IA aparece primeiro em forma de código. Para avaliar o efeito, você precisa voltar ao documento compilado, localizar o ponto correspondente à mudança e compará-lo item por item com o que havia antes.

É exatamente esse vaivém de localizar e comparar que quebra a continuidade do pensamento. Voltemos àquela relação de subtipagem com direção invertida na página sete: depois de fazer o pedido ao assistente em uma interface que prioriza o código-fonte, o que surge à sua frente é um diff de código entrecortado de vermelho e verde. O \Gamma e o \vdash do julgamento, o \inferrule que diagrama a regra de inferência e as macros personalizadas de subtipagem do próprio projeto podem todos aparecer misturados na alteração. Recompilar o projeto certamente permite ver o PDF atualizado, mas um novo documento não mostra por si só em que ele difere da versão anterior. Você ainda precisa encontrar a fórmula correspondente e conferi-la ponto a ponto com a versão antiga: a direção da relação de subtipagem foi corrigida do jeito certo? O corpo do texto e a legenda da figura também foram atualizados? O diff do código-fonte destaca comandos inseridos e removidos, mas o que o autor realmente precisa revisar são as mudanças que essas inserções e remoções deixaram no manuscrito.

Quando a página diagramada se torna o contexto comum

Quando o PDF diagramado deixa de ser uma prévia passiva no fim do processo e passa a ser o ponto de partida e de chegada de cada revisão, a relação entre pessoa e IA muda de figura. Quando você e o agente estão diante da mesma página visível do manuscrito, "apontar" toma o lugar de "vasculhar".

No Papilot, fazer uma revisão é tão natural quanto dois coautores sentados à mesma mesa discutindo uma cópia impressa. Na própria página sete, você desenha um quadro ao redor da fórmula, destaca mais abaixo a frase que manteve a direção errada e escreve uma nota breve apontando que a relação de subtipagem foi escrita ao contrário, pedindo à IA que a corrija e confira as derivações seguintes. Você não precisa sair procurando o \begin{mathpar} correspondente por vários arquivos, nem copiar trechos soltos de código para uma barra lateral de chat. A própria posição espacial e o contexto da página diagramada são o contexto mais claro que você pode oferecer à IA.

Depois que você envia a anotação, o agente de IA conectado trabalha diretamente nos arquivos-fonte .tex do seu projeto local. Ele se encarrega de localizar os arquivos, ajustar a fórmula e a marcação do texto e entregar tudo ao compilador para gerar o novo resultado diagramado em segundo plano. Terminada a compilação, o que aparece diante de você não é um patch árido de código, mas a comparação entre o antes e o depois exibida diretamente sobre a página do manuscrito. Você examina a versão antiga e a nova com o tamanho de fonte, o entrelinhamento e a relação real entre texto e figuras, decidindo ali mesmo se aceita, rejeita ou deixa um novo comentário para que o agente continue refinando o trecho.

Fazer do PDF a interface de diálogo não significa, de modo algum, transformar o artigo em uma caixa-preta sem rastreabilidade, muito menos fazer engenharia reversa em um PDF avulso sem código-fonte. O Papilot roda sempre sobre um projeto LaTeX local verdadeiro: arquivos comuns de texto puro continuam sendo a única fonte da verdade no disco, e o Git continua preservando todo o histórico de evolução do projeto. Na interface, revisar alterações e gerenciar o histórico de versões são tarefas claramente separadas: clicar em "Aceitar" na página apenas registra o seu parecer editorial; aplicar de fato as mudanças aprovadas ao manuscrito, fazer um commit ou enviar tudo ao repositório remoto continuam sendo etapas independentes sob o seu controle ativo.

Assumir a responsabilidade por cada alteração

Levar a interface de interação do código-fonte de volta para o manuscrito também diz respeito a algo ainda mais sério: a responsabilidade autoral de quem assina um trabalho acadêmico. À medida que a IA se torna cada vez mais hábil em lapidar demonstrações, uniformizar notações entre capítulos ou condensar parágrafos prolixos, surge um risco mais difícil de detectar: o das "alucinações e falácias com aparência fluente". Um agente é perfeitamente capaz de produzir uma página impecavelmente diagramada e, na reescrita, afrouxar discretamente a hipótese de um teorema, deixar escapar uma condição de contorno ou exagerar a conclusão que uma curva experimental realmente permite sustentar.

Se o autor precisa gastar grande parte da sua energia conferindo diffs de código-fonte, alinhando separadores de tabelas e saltando entre janelas, o fôlego disponível para o escrutínio acadêmico inevitavelmente se dilui. O Papilot elimina o ruído visual da camada de código e permite comparar diretamente na página diagramada o que mudou entre o antes e o depois; o objetivo não é decidir em seu lugar, mas tornar o olhar do pesquisador mais agudo. Clareza visual na página nunca equivale a correção científica: saber se o teorema continua válido, se a notação está livre de ambiguidades e se cada afirmação resiste ao questionamento dos pares são perguntas que só o próprio autor pode responder. Quando a linguagem de marcação trabalhosa recua para os bastidores, o julgamento acadêmico humano é justamente colocado sob os holofotes.

Se você quiser experimentar essa forma de interação antes de configurar um projeto local, pode abrir diretamente no navegador a nossa demonstração interativa: sem precisar conectar uma IA em tempo real nem instalar um ambiente LaTeX local, você vivencia todo o processo de criar anotações na página e revisar a comparação diagramada entre o antes e o depois. Quando estiver pronto para conectar seu agente preferido e começar a escrever no seu próprio projeto de artigo, acesse o repositório do Papilot no GitHub para obter o cliente desktop e todo o código-fonte, distribuídos sob a licença de código aberto MIT.

De volta àquela página do manuscrito

Durante muito tempo, escrever em colaboração com a máquina significou que os humanos precisavam aprender a examinar o próprio pensamento através da linguagem intermediária da máquina. Nós nos acostumamos a recompor o sentido do texto entre árvores de diretórios, patches de código e janelas divididas, tratando a página realmente diagramada como uma recompensa que só podia ser entrevista depois de uma compilação bem-sucedida.

Agora, voltemos à página sete. Aquela relação de subtipagem com direção invertida já foi circulada na margem, a fórmula revisada repousa firme em seu lugar e a derivação logo abaixo segue rigorosa e clara. Do instante em que o problema foi notado até a conclusão da mudança, seu olhar não precisou se afastar do próprio argumento. O manuscrito enfim voltou a ser uma coisa só. É aqui que você lê, é aqui que conversa com a IA e é aqui que responde por cada palavra impressa na página.