Um sistema de inteligência artificial da China resolveu um problema matemático aberto há mais de uma década. O feito foi alcançado em cerca de 80 horas, sem intervenção humana direta.
O avanço foi liderado por pesquisadores da Universidade de Pequim.
A IA solucionou uma conjectura proposta em 2014 pelo matemático americano Dan Anderson, na área de álgebra comutativa, considerada altamente complexa.
O ponto central não é apenas a solução.
É o método.
O sistema utilizou uma arquitetura de “duplo agente”, combinando raciocínio matemático com verificação formal automatizada.
Na prática, duas inteligências atuam juntas.
Uma gera hipóteses e caminhos de solução. A outra valida matematicamente cada etapa, garantindo rigor lógico.
Esse modelo resolve um problema histórico da IA.
Até agora, sistemas conseguiam propor ideias, mas tinham dificuldade em provar matematicamente que estavam corretos.
A nova abordagem une essas duas etapas.
O resultado foi concreto.
A IA analisou décadas de literatura matemática, construiu uma solução e formalizou a prova praticamente sem ajuda humana.
Segundo os pesquisadores, o processo completo levou cerca de 80 horas, algo que normalmente exigiria anos de trabalho colaborativo entre especialistas.
Esse ganho de tempo é o dado mais relevante.
A pesquisa matemática de alto nível sempre foi lenta, dependente de colaboração intensa e validação rigorosa.
Agora, parte desse processo pode ser automatizada.
O sistema utilizou ferramentas como o Lean 4, uma linguagem de verificação formal amplamente usada na matemática computacional.
Isso permitiu transformar a solução em uma prova verificável por máquina, reduzindo margem de erro.
Outro ponto importante é o nível de autonomia.
Segundo o estudo, a intervenção humana se limitou a fornecer acesso a arquivos que a IA não conseguia acessar sozinha.
Nenhuma decisão matemática foi tomada por humanos durante o processo.
Mesmo assim, há cautela.
O trabalho ainda é um preprint, ou seja, não passou por revisão por pares, etapa essencial na validação científica.
No plano científico, o impacto é profundo.
A IA deixa de ser apenas ferramenta auxiliar e passa a atuar como agente ativo na descoberta matemática.
Isso pode acelerar pesquisas em áreas como física, criptografia, engenharia e ciência de materiais.
No plano tecnológico, o avanço reforça a posição da China.
O país já investe pesado em inteligência artificial e agora avança em uma das áreas mais complexas da ciência.
Para o Brasil, o tema tem implicação direta.
A capacidade de automatizar pesquisa científica pode ampliar a distância entre países que dominam IA e aqueles que dependem de tecnologia externa.
Ao mesmo tempo, abre oportunidade.
Universidades e centros de pesquisa podem usar essas ferramentas para acelerar produção científica e inovação.
O dado central é a mudança de papel da IA.
Ela não está apenas ajudando cientistas.
Está começando a produzir ciência.
E isso redefine o ritmo, o custo e o alcance do conhecimento nas próximas décadas.
Com informações da SCMP
Nenhum comentário ainda, seja o primeiro!