Um ensaio filosófico que defende que a descoberta matemática impulsionada pela IA não precisa de diminuir o valor de uma vida matemática humana atraiu grande atenção depois de aparecer no blog de Terence Tao, o matemático da UCLA amplamente considerado como um dos melhores matemáticos vivos. "Egoless Mathematics in the AI ​​Era", publicado em 2 de novembro, é um post convidado dos cientistas da computação Karthik C. S., Amit Sahai e Jie Xue - com Tao observando que converteu o texto para publicação usando IA. O ensaio rapidamente subiu ao Hacker News, onde os leitores debateram a sua afirmação central: que a matemática era bela antes de qualquer um de nós nascer e que o seu valor não depende de quem faz as descobertas.

A peça chega num momento em que a assistência às máquinas em matemática passou de novidade para infraestrutura. Provas formais verificadas com a ajuda da IA, conjecturas geradas por máquinas e sistemas de IA que contribuem para resultados de investigação forçaram os matemáticos activos a perguntar não apenas o que as máquinas podem fazer, mas o que resta da vocação se a resposta for “a maior parte”. A resposta do ensaio é incomum entre as notícias de última hora sobre IA nesta temporada: em vez de defender a importância humana contra as máquinas, ele defende o abandono total dessa disputa.

Duas visões da matemática, um ponto de pressão

Os autores partem da divisão mais antiga da filosofia da matemática: se os matemáticos inventam o seu assunto – introduzindo conceitos, escolhendo axiomas, construindo teorias – ou descobrindo verdades que existem independentemente deles. A visão platónica, escrevem eles, dá uma explicação natural dessa independência: “havia um número infinito de primos antes que alguém provasse esse facto”. A verdade matemática não espera pelo nosso reconhecimento nem recebe dele a sua autoridade.

A descoberta, alertam eles, não é passividade. Um paleontólogo em busca de fósseis deve decidir onde escavar, desenvolver técnicas e reconhecer a importância dos restos incompletos. Da mesma forma, uma descoberta matemática pode exigir a invenção de toda uma linguagem e estrutura através da qual uma estrutura anteriormente invisível se torne visível. As verdades nos precedem; as rotas para eles são humanas em todo o caminho.

A partir dessa base, o ensaio constrói o seu ponto de pressão: uma derivação correta não é o mesmo que uma compreensão do seu significado. Um sistema axiomático permite muitas deduções indefinidamente, mas a capacidade de produzi-las não fornece direções dignas de investigação. “As afirmações matemáticas podem ser formalmente corretas sem serem esclarecedoras”, escrevem os autores. "Podemos introduzir inúmeras definições e provar inúmeras afirmações sobre elas. O que torna uma definição esclarecedora?" É exactamente a questão que surge sempre que um sistema de IA inunda um repositório formal com resultados válidos mas desmotivados.

A armadilha de definir valor pela máquina

O argumento mais contundente do ensaio visa um movimento comum no atual discurso sobre IA: proteger o valor humano recuando para tudo o que as máquinas ainda não conseguem fazer. “A resposta não pode ser simplesmente procurar refúgio em capacidades distintamente humanas, como a criatividade, a intuição ou o gosto”, argumentam os autores. “Se valorizarmos essas habilidades principalmente porque elas nos dão uma vantagem sobre as máquinas, permaneceremos presos na mesma concepção de valor intelectual. Por que o valor de nossa busca deveria depender de sermos melhores nisso do que alguém ou alguma outra coisa?”

Eles estendem a crítica à própria estrutura de incentivos da vida acadêmica. Publicações, citações e prêmios são indicadores úteis, admitem os autores, mas tornam-se patológicos quando definem o valor do trabalho. Medidos desta forma, os matemáticos tornam-se conjuntos de capacidades produtivas e a matemática torna-se o seu produto – um enquadramento em que uma máquina que produz mais do que um ser humano simplesmente vence. O ensaio propõe a alternativa que nomeia no título: matemática sem ego, uma prática na qual o valor flui do contacto com a verdade e não da primazia na sua produção.

Sob esse ponto de vista, as descobertas feitas pela IA não se tornam motivo nem para tristeza nem para ansiedade de status. “Uma verdade tornou-se acessível; o seu valor não é diminuído pela ausência da nossa autoria”, escrevem os autores. Eles até oferecem o ensaio como um tratado de paz entre os dois campos que agora dividem muitos departamentos de matemática – aqueles entusiasmados com as ferramentas de IA e aqueles que se abstêm por princípio – sugerindo que ambos podem refletir o mesmo compromisso subjacente com a própria matemática.

Um experimento mental de Ramanujan para encerrar

O ensaio termina com um experimento mental extraído da história da matemática. Diz-se que Ramanujan disse: "Uma equação não tem significado para mim a menos que expresse um pensamento de Deus" - uma linha que os autores citam da biografia de Robert Kanigel de 1991, "The Man Who Knew Infinity" (publicada em 1991, citada em seu post da edição de 1992). Se ele estivesse vivo hoje, testemunhando os avanços da IA ​​na matemática, ficaria perturbado com o que eles poderiam significar para o seu propósito como matemático?

Os autores são honestos sobre sua própria posição. “Nós, os autores deste ensaio, ainda estamos longe de ter atingido tal ausência de ego”, admitem, descrevendo o ideal do ensaio como aquele pelo qual desejam lutar. E eles antecipam a objeção óbvia – que tudo isso soa como pedir aos matemáticos que se tornem santos. “Na medida em que nos pede para crescermos em virtude e abandonarmos o apego à nossa própria importância, essa impressão não está longe da verdade”, escrevem eles, argumentando que a alegria de compreender é mais duradoura do que a satisfação de estar acima dos rivais.

Se o argumento convence os matemáticos activos é uma questão à parte – os comentários sobre o ensaio mostram muitos céticos que pensam que a economia das carreiras académicas torna a filosofia um luxo. Mas, enquanto documento do momento, capta algo real: os campos mais próximos do avanço da IA ​​são os mais forçados a articular porque é que o seu trabalho é importante, e uma das vozes mais vigiadas da matemática emprestou agora a sua plataforma a uma resposta que não menciona parâmetros de referência, produtividade ou concorrência nacional nem sequer uma vez.

---

Fique à frente da IA

Receba as últimas notícias, análises e avanços sobre IA — tudo em um só lugar.

Leia mais notícias sobre IA →