IA resolve problema do Milênio e divide matemáticos

Um sistema de IA teria resolvido um importante problema matemático em aberto — e, segundo a IEEE Spectrum, trata-se de um dos famosos Problemas do Milênio. Se a alegação se sustentar, será um marco tanto para a inteligência artificial quanto para a própria matemática. E também vai abalar suposições sobre quais tipos de trabalho intelectual continuam sendo exclusivamente humanos. Os Problemas do Milênio estão entre as questões mais difíceis da matemática ainda sem resposta. Resolver um deles normalmente rende prestígio, escrutínio intenso e um longo processo de verificação. Por isso, o suposto avanço da IA gerou ao mesmo tempo empolgação e desconforto. Pesquisadores comemoram porque o episódio sugere que a IA pode fazer mais do que reconhecer padrões ou ajudar em cálculos: talvez seja capaz de raciocínio formal no mais alto nível. Mas matemáticos também perguntam como a solução foi encontrada, se está correta e o que isso significa para a área. A verificação será decisiva. Provas matemáticas não são aceitas só porque um sistema poderoso as produziu. Elas precisam ser checadas por especialistas, traduzidas para a lógica formal ou confrontadas com resultados conhecidos. Se o raciocínio da IA for opaco, a comunidade matemática pode precisar de novas ferramentas e padrões para avaliá-lo. A questão do crédito é igualmente complicada. O feito deveria ser atribuído aos desenvolvedores da IA, aos pesquisadores que treinaram o modelo, aos matemáticos cujo trabalho serviu de base, ou ao próprio sistema? O avanço também toca em questões mais profundas sobre o que é compreender matemática. Há quem defenda que produzir uma prova correta é o que importa, independentemente de a máquina "entender" no sentido humano. Outros dizem que intuição, explicação e insight conceitual são centrais na matemática, e que uma resposta sem esses elementos é incompleta. Por ora, a alegação exige revisão cuidadosa. Se confirmada, pode acelerar descobertas e mudar a forma como matemáticos trabalham. Também pode forçar a área a repensar a relação entre criatividade humana e inteligência de máquina.