- Pesquisadores da Universidade de Pequim, na China, desenvolveram um sistema de IA capaz de resolver em cerca de oitenta horas um problema matemático em aberto desde dois mil e quatorze.
- O desafio foi superado sem intervenção direta no processo criativo da máquina.
- O estudo preliminar aponta que o sistema explorou caminhos matemáticos diferentes, testou hipóteses e validou soluções de forma iterativa.
- O resultado não apenas apresenta uma solução válida, mas também segue uma linha lógica considerada consistente por especialistas.
- O episódio ressalta a tendência de a IA se tornar agente ativo na produção de conhecimento, especialmente em matemática.
Pesquisadores da Universidade de Pequim desenvolveram um sistema de inteligência artificial capaz de resolver um problema matemático em aberto desde 2014, em cerca de 80 horas. A resolução ocorreu sem intervenção direta no processo criativo da máquina.
O feito supera desafios de alto nível de abstração e raciocínio teórico, tradicionalmente associados à cognição humana. O estudo preliminar mostra que o sistema explorou caminhos diferentes, testou hipóteses e validou soluções de forma iterativa.
Segundo os autores, a solução apresentada pela IA não apenas é válida, mas segue uma linha lógica consistente, sugerindo que a máquina estruturou um raciocínio próprio, além de executar cálculos.
IA como agente de descoberta científica
A experiência aponta para a evolução da IA de ferramenta a agente ativo na produção de conhecimento. Modelos avançados já propõem hipóteses, identificam padrões invisíveis e aceleram etapas de pesquisa em áreas como a matemática.
Entre na conversa da comunidade