Agente de IA do Google DeepMind resolve 9 Problemas de Erdős — incluindo dois não resolvidos há 56 anos!

O agente autónomo de IA do Google DeepMind resolveu 9 dos 353 problemas em aberto do lendário conjunto de problemas de Erdős, uma coleção de desafios de combinatória e teoria dos números que têm perplexado matemáticos durante décadas. Dois dos nove permaneceram sem solução durante 56 anos — colocando-os firmemente na categoria de problemas que o campo havia aceitado largamente como intratáveis para investigadores humanos a trabalhar sozinhos.

O resultado é significativo não apenas para a matemática, mas também para a forma como a comunidade de investigação mais ampla deve pensar sobre o papel da IA no raciocínio formal. Os problemas de Erdős não são cálculos mecânicos — requerem saltos criativos, formação de conjecturas e construção de provas. Um agente autónomo a navegar nesse espaço sem assistência humana é um passo qualitativo além dos marcos anteriores da IA em matemática.