IA COMEÇA A FAZER DESCOBERTAS E REDESENHA O FUTURO DA CIÊNCIA

Modelos avançados já auxiliam pesquisadores a derrubar conjecturas antigas, explorar milhões de possibilidades e encontrar caminhos que poderiam permanecer invisíveis por décadas.

UMA NOVA FRONTEIRA

A inteligência artificial ultrapassou a fase em que apenas resumia artigos, organizava referências ou explicava conhecimentos já produzidos.

Modelos avançados começam a participar diretamente da busca por resultados científicos inéditos, sugerindo provas, construindo contraexemplos e explorando hipóteses que desafiaram pesquisadores durante décadas.

O fenômeno não transforma automaticamente algoritmos em cientistas independentes. Mas indica que a IA já pode atuar como uma colaboradora intelectual em áreas que exigem criatividade, persistência e grande capacidade de exploração.

UMA CONJECTURA DE 1939

O episódio mais emblemático ocorreu durante a final da Copa do Mundo, quando o matemático Levent Alpöge anunciou um contraexemplo para a conjectura jacobiana, formulada em sua versão geral em 1939.

Alpöge atribuiu parte do trabalho ao Claude Fable 5, modelo avançado desenvolvido pela Anthropic. A empresa apresenta o sistema como voltado a projetos complexos, pesquisa e tarefas que exigem raciocínio prolongado.

A conjectura sustentava, de maneira simplificada, que determinada função polinomial com determinante jacobiano constante e diferente de zero deveria possuir uma inversa também polinomial.

O contraexemplo divulgado descreve uma função que atende à primeira condição, mas envia pontos diferentes para um mesmo resultado. Isso demonstra que a função não é invertível e derruba a afirmação geral.

O anúncio foi feito publicamente por Alpöge, que agradeceu a um colega pela sugestão do problema e ao Fable pelo trabalho realizado durante a partida.

O matemático Terence Tao publicou posteriormente uma análise técnica do contraexemplo, explicando que a conjectura relacionava invertibilidade local e global em funções polinomiais.

O PODER DE UM ÚNICO EXEMPLO

Uma conjectura é uma afirmação considerada plausível, mas ainda não demonstrada de maneira definitiva.

Para provar que uma conjectura universal é falsa, não é necessário examinar todos os casos possíveis. Basta encontrar um único exemplo legítimo que contradiga sua conclusão.

O problema está justamente em localizar esse exemplo dentro de um espaço gigantesco de combinações.

Uma vez apresentada uma construção concreta, especialistas podem verificar seus cálculos e confirmar se ela realmente viola a afirmação original.

Essa diferença entre descobrir e verificar ajuda a explicar por que a inteligência artificial pode ser especialmente eficaz nesse tipo de pesquisa.

OUTRA CONJECTURA QUESTIONADA

Poucos dias depois, outro caso ganhou repercussão. O GPT-5.6 Pro teria produzido um contraexemplo para uma conjectura associada aos matemáticos Dinitz, Garg e Goemans, na área de otimização combinatória.

O problema envolve a conversão de fluxos divisíveis em fluxos nos quais cada carga precisa percorrer uma única rota, sem elevar custos ou provocar sobrecarga excessiva na rede.

Uma versão relacionada a custos permanecia aberta em pesquisas recentes. Trabalhos acadêmicos publicados em 2023 ainda a descreviam como uma questão não resolvida.

O resultado atribuído ao GPT-5.6 foi anunciado em julho de 2026, mas ainda dependia de revisão acadêmica independente e formalização científica mais ampla.

Essa cautela é indispensável. Uma resposta produzida por IA pode conter um resultado verdadeiro, uma falha sutil ou uma construção aparentemente correta que não resiste à verificação especializada.

A CIÊNCIA COMO ESPAÇO DE BUSCA

Grande parte da pesquisa científica pode ser compreendida como uma busca dentro de um universo quase ilimitado de possibilidades.

Matemáticos procuram demonstrações e contraexemplos. Químicos investigam moléculas. Biólogos analisam mecanismos celulares. Médicos buscam fatores associados a doenças e respostas a tratamentos.

O pesquisador humano precisa selecionar caminhos promissores porque não dispõe de tempo para testar todas as alternativas.

Um sistema de IA, por outro lado, pode examinar milhares de possibilidades, abandonar hipóteses fracassadas e continuar trabalhando sem cansaço, constrangimento ou apego emocional a uma ideia.

Essa capacidade não elimina a inteligência humana. Ela multiplica o alcance do pesquisador.

A SORTE PODE SER SISTEMATIZADA

Diversas descobertas científicas surgiram de acidentes, observações inesperadas ou experiências inicialmente consideradas pouco promissoras.

Modelos capazes de explorar muitos caminhos simultaneamente podem transformar parte dessa sorte em um processo mais sistemático.

Quanto maior o número de hipóteses avaliadas, maior a possibilidade de encontrar relações, estruturas ou soluções que não seriam examinadas por uma equipe humana dentro de um prazo razoável.

A IA também pode insistir em abordagens estranhas que um pesquisador abandonaria rapidamente por parecerem pouco elegantes ou incompatíveis com as tradições da área.

Essa liberdade pode ser valiosa. A história da ciência mostra que ideias inicialmente rejeitadas, em alguns casos, abriram campos inteiramente novos.

O PAPEL HUMANO CONTINUA CENTRAL

Nos episódios recentes, seres humanos escolheram os problemas, ofereceram contexto, avaliaram as respostas e verificaram os resultados.

A inteligência artificial não decidiu espontaneamente que a conjectura jacobiana deveria ser investigada. Também não determinou, sozinha, a relevância científica ou histórica da descoberta.

A escolha da pergunta permanece uma das funções mais importantes do pesquisador.

Quanto mais barata e rápida se tornar a execução intelectual, maior será o valor de identificar quais problemas merecem atenção.

Uma máquina pode gerar milhares de respostas. O desafio humano será reconhecer quais perguntas possuem importância científica, social, econômica ou ética.

NÃO É UMA MÁQUINA INFALÍVEL

Os avanços não autorizam a conclusão de que modelos de linguagem sejam infalíveis ou compreendam a matemática da mesma forma que especialistas humanos.

Pesquisas continuam apontando limitações na capacidade de sistemas de IA estabelecerem conexões conceituais profundas em problemas inteiramente novos.

Além disso, algoritmos podem fabricar referências, omitir condições, cometer erros algébricos e apresentar argumentos convincentes, mas incorretos.

Todo resultado científico produzido com auxílio de IA precisa ser reproduzível, auditável e submetido à análise de pesquisadores independentes.

O prestígio do modelo ou da empresa responsável por ele não substitui a demonstração.

UMA TRANSFORMAÇÃO IRREVERSÍVEL

Apesar das limitações, a fronteira já se deslocou.

A inteligência artificial deixou de ser apenas uma ferramenta de consulta e passou a colaborar na produção de conhecimento novo.

Experimentos recentes também mostram modelos participando da elaboração de provas matemáticas formalizadas e de resultados submetidos a publicação acadêmica. Um trabalho sobre a conjectura de Feige declarou assistência do GPT-5.6 Sol.

Outro estudo relatou que um agente baseado em GPT-5.5 Pro gerou, em testes repetidos, provas corretas para uma versão da conjectura soma-produto, com divulgação do código e das respostas intermediárias.

Esses casos mostram que a IA começa a atuar não apenas na comunicação científica, mas também na exploração de problemas, na construção de argumentos e na descoberta de estruturas.

O CIENTISTA DO FUTURO

O pesquisador do futuro provavelmente trabalhará ao lado de sistemas capazes de ler milhares de artigos, sugerir experimentos, testar hipóteses e examinar combinações em escala impossível para uma pessoa.

Isso poderá acelerar descobertas em matemática, medicina, engenharia, química, física e biologia.

Também criará novos desafios relacionados à autoria, responsabilidade, validação, segurança e concentração tecnológica.

Universidades e centros de pesquisa precisarão estabelecer critérios claros para declarar o uso de IA e distinguir contribuição algorítmica, orientação humana e verificação independente.

A grande transformação não será a substituição imediata do cientista.

Será o surgimento de uma ciência em que pesquisadores capazes de formular as melhores perguntas utilizarão máquinas para explorar territórios intelectuais antes inalcançáveis.

A inteligência artificial começou a participar de descobertas. Depois desse ponto, a ciência dificilmente voltará a funcionar como antes.

(Da Redação do IGU News)