Sei por que os matemáticos choram
Avanços rápidos em IA capazes de provar autonomamente conjecturas matemáticas de longa data estão provocando tanto admiração quanto luto entre matemáticos e tecnólogos. Muitos temem não apenas por carreiras e financiamento, mas pela perda da descoberta humana, do entendimento e da “jornada” em áreas nas quais a IA agora pode forçar resultados além da capacidade de qualquer indivíduo. Outros argumentam que isso é apenas mais uma mudança tecnológica que abrirá novas fronteiras, insistindo que os verdadeiros problemas estão nas estruturas econômicas, na concentração de poder e na forma como a sociedade escolhe valorizar o esforço humano quando as máquinas nos superarem em mais trabalho intelectual.
Ritmo e Natureza do Progresso Recente da IA
- Muitos dizem que, intelectualmente, esperavam uma IA forte há décadas, mas ainda assim ficam chocados com a rapidez com que as capacidades, especialmente em matemática, chegaram e aceleraram.
- Alguns enquadram isso como uma aceleração constante ao estilo “singularidade”; outros argumentam que limites físicos e de dados forçarão um platô e veem as extrapolações atuais como especulativas.
O Luto dos Matemáticos e as Reações de Outros Campos
- Vários comentaristas demonstram empatia com matemáticos que lamentam a perda da descoberta, da identidade e do sentido, comparando isso a perder uma vocação ou um ente querido.
- Outros não demonstram simpatia, argumentando que todos foram avisados por décadas, ou apontando que artistas, escritores, trabalhadores administrativos e programadores foram atingidos antes.
- Alguns veem a angústia dos matemáticos como reveladora de quão fortemente a autoestima esteve ligada à produtividade, ao prestígio e ao status.
O que a IA Está Realmente Fazendo em Matemática
- Muitos enfatizam que os sistemas atuais são “super-humanos na dedução” sobre a literatura conhecida, costurando técnicas existentes em uma escala que nenhum humano consegue igualar.
- Debate sobre originalidade: alguns acham que os modelos estão confinados a um “invólucro convexo de ideias” dos dados de treinamento; outros acreditam que eles já têm raciocínio genérico que pode escalar para novidade efetivamente ilimitada.
- Preocupações de que o recente “dump” de provas é enorme, confuso, muitas vezes ilegível, e só confiável por causa da verificação automática, criando “conhecimento sem entendimento”.
- Medos sobre impactos na carreira: menos bolsas, menor necessidade de prova de teoremas por humanos, e piora da precariedade para matemáticos sem titularidade.
LLMs, Escrita e Estilo
- Vários observam que modelos de chat têm um tom distinto, muitas vezes corporativo/de relações públicas, e têm dificuldade com prosa longa, com sensação humana, apesar de se saírem muito bem em matemática formal.
- Explicações sugeridas: qualidade dos dados de treinamento, otimização para segurança e chat genérico, falta de incentivo econômico para um estilo literário de alto nível.
Empregos, Capitalismo e Sentido
- Forte ansiedade sobre perdas mais amplas de empregos: engenheiros de software, redatores técnicos, tradutores e outros já sentem deslocamento ou congelamento de contratações.
- Alguns culpam a IA apenas marginalmente, citando taxas de juros mais altas e a macroeconomia; outros acham que as empresas estão adiando contratações na expectativa de mais automação.
- A RBU é mencionada como solução, mas muitos duvidam da viabilidade política; o medo de uma nova subclasse permanente e da erosão da alavancagem humana é comum.
Valor do Entendimento Humano e do Conhecimento Social
- Vários comentários enfatizam que matemática e ciência também tratam de intuição, explicação e entendimento humano compartilhado, e não apenas de respostas corretas.
- Conceitos como “deontic scorekeeping” são invocados: conhecimento surge de humanos assumindo e avaliando compromissos ao longo do tempo, algo que os modelos atuais não conseguem fazer.
- Algumas vozes otimistas esperam que os matemáticos passem a interpretar provas alienígenas de IA, criando novas abstrações e trabalhando com ferramentas em vez de serem substituídos.