A madrugada de 4:26 a.m. em Ithaca, Nova York, encontra um professor de matemática, que prefere não ser nomeado, andando pela casa em meio a uma profunda desorientação. Essa sensação, que o acompanha desde maio, intensificou-se com a percepção de que a inteligência artificial chegou para remodelar radicalmente o campo da matemática. Os tons vibrantes das folhas de outono, descritas pelas equações de Navier-Stokes, parecem dançar ao ritmo de uma revolução que abalou os alicerces de sua disciplina. A OpenAI, em setembro, reivindicou a solução de um dos sete Problemas do Milênio, o de Navier-Stokes, utilizando um modelo de IA que processou o desafio por 88 horas. Para a comunidade matemática, o ano de 2026 já se tornou um marco indelével, prenunciando um futuro incerto para a matéria.

O professor expressa preocupação com o desânimo de seus alunos, que sonham com uma carreira dedicada à resolução de quebra-cabeças e à exploração da beleza teórica da matemática. Enquanto isso, o público em geral lida com a confusão: matemáticos não desejam que seus problemas sejam resolvidos? A resposta, segundo ele, é ambígua. Para os matemáticos aplicados, que buscam usar a disciplina para desvendar os mistérios da ciência, medicina, engenharia e negócios, a IA pode ser uma ferramenta poderosa, expandindo as fronteiras do conhecimento, similar ao impacto do telescópio ou do microscópio. Contudo, para os matemáticos puros, focados na beleza intrínseca e na estrutura teórica da matemática, a IA representa uma ameaça existencial, pois a máquina pode alcançar as verdades que eles buscam, roubando-lhes a luta e a alegria da descoberta autônoma. A matemática pura, estudo de padrões ideais e estruturas abstratas, sempre foi considerada uma expressão do espírito humano, comparável à música e à literatura. A possibilidade de a IA "atropelar" esse campo ameaça esmagar as aspirações de uma nova geração.

A Reação da Comunidade Matemática

A comunidade matemática reage de formas distintas à ascensão da IA. O professor narra duas histórias emblemáticas. A primeira, com seu colega Alex Townsend, um jovem pesquisador especializado em álgebra linear numérica. Diante da ameaça de que modelos de IA como os da OpenAI ou Anthropic resolvam os cerca de 200 problemas abertos em seu subcampo, Townsend decidiu curar e divulgar esses desafios, incentivando amigos e colegas a solucioná-los, possivelmente com o auxílio da própria IA, antes que empresas de tecnologia o façam. Essa abordagem, de abraçar a tecnologia e torná-la uma aliada, visa estender as fronteiras da matemática, pura e aplicada, para resolver problemas cruciais em áreas como medicina e energia. A visão de Townsend é que o futuro da matemática residirá em fazer as perguntas certas, desenvolver teorias, interpretar provas geradas por máquinas, encontrar novas aplicações e decidir quais problemas realmente importam. No entanto, essa estratégia não é universalmente aceita; alguns colegas de Townsend o veem como um colaborador na destruição do campo, acelerando a solução de problemas que deveriam ser reservados para o desenvolvimento de jovens pesquisadores. Para Townsend, resistir à IA é fútil; a adaptação radical e rápida é o único caminho.

A segunda história ocorreu em um encontro do departamento de matemática da Cornell University, convocado para discutir as implicações da IA, incluindo a avaliação de candidatos a empregos e a viabilidade de teses de doutorado. Justin Moore, um proeminente pesquisador em lógica e teoria dos conjuntos, compartilhou sua experiência com um problema que o intrigava há 19 anos. Ele havia comprado uma garrafa de conhaque XO em 2010 com a intenção de celebrá-lo quando o problema fosse resolvido, convidando outros que trabalharam nele. O problema, relacionado a grupos não-amenáveis e à teoria de Thompson, foi recentemente "morto" por uma máquina, tornando-se mais um troféu na coleção da OpenAI. Moore, surpreendentemente, admitiu não ter lido a prova da IA, alegando estar "muito ocupado", e que a IA "não escreve matemática particularmente bem". Embora ainda pretenda abrir a garrafa com colegas de confiança após compreenderem a prova, ele antecipa que o evento será mais um "velório" do que uma celebração.

O Conflito entre Saber e Compreender

A busca por conhecimento e compreensão é o cerne do trabalho matemático, mas a IA exacerba a tensão entre essas duas vertentes, especialmente entre as comunidades de matemática pura e aplicada. Matemáticos aplicados buscam não apenas a verdade, mas também o "porquê", utilizando intuição física, computadores e dados para chegar a respostas e interpretá-las. Já a matemática pura foca primordialmente no "porquê", considerando que o mero conhecimento da resposta correta, sem a compreensão do raciocínio subjacente, é superficial e incompleto. Essa distinção, embora difícil de ser compreendida pelo público em geral – que valoriza a resposta correta em situações de risco, como na medicina –, é fundamental para os matemáticos puros. Curtis McMullen, medalhista Fields, argumenta que a matemática é mais parecida com arte ou filosofia do que com radiologia, sendo a compreensão humana seu elemento central.

Matemáticos aplicados também valorizam a compreensão pela natureza misteriosa e aliciante da matemática. Eles reconhecem que a matemática, embora abstrata, tem raízes profundas na realidade e, eventualmente, se manifesta em tecnologias que moldam nosso cotidiano, como GPS e algoritmos de compressão. No entanto, a defesa da matemática aplicada não abrange a matemática pura que permanece abstrata, aquela que, como arte ou música, enriquece a vida de quem a ama sem uma aplicação prática imediata. A questão fundamental que emerge é se a matemática é intrinsecamente uma empreitada humana, ou se é uma ciência que estuda verdades objetivas independentes de nós. Se as verdades matemáticas existem independentemente, então as conquistas da IA devem ser celebradas. Por outro lado, se a matemática é um esforço criativo humano, a ascensão das máquinas pode significar a perda de algo precioso.

Implicações e Perguntas em Aberto

A estudante Aria Beaupré, em um momento de vulnerabilidade, questionou o "ponto" da matemática, uma indagação que, na visão do professor, deveria ser feita por pessoas mais velhas. A reflexão do autor o levou a considerar que a conexão humana pode ser o verdadeiro propósito, mesmo para os matemáticos. Um aluno de graduação descreveu como as "coisas muito humanas" expressas em um podcast, e que ele mesmo compartilhou por e-mail, são inatingíveis para a IA. Ele argumenta que os humanos dão significado aos conceitos matemáticos e os utilizam para se conectar, algo que a IA jamais poderá replicar.

Contudo, essa justificativa baseada na conexão humana é suficiente para satisfazer os matemáticos puros? Justin Moore se encontra dividido entre a concepção da matemática como um esporte olímpico, uma competição humana, e como uma ciência de verdades objetivas. A IA, segundo ele, está forçando uma introspecção desconfortável, separando essas duas visões. Talvez ambas as concepções sejam verdadeiras: as verdades matemáticas podem existir externamente, mas a busca por elas sempre exigiu o ápice da capacidade humana. Até agora, descoberta e a alegria da descoberta caminhavam juntas. A IA rompeu essa ligação, deixando matemáticos como o autor e Moore em um estado de incerteza sobre o futuro. A questão permanece: haverá tempo para celebrar as descobertas, ou apenas para lamentar o que foi perdido?

Com reportagem de Brazil Valley

Source · The Atlantic — Ideas