Com ajuda de IA, matemático resolve enigma sem solução há 87 anos Pesquisador de Harvard utilizou inteligência artificial para encontrar contraexemplo que invalida a famosa Conjectura do Jacobiano de 1939 21 de julho de 2026 às 14:20