O matemático Jared Duker Lichtman, da Universidade de Stanford, recebeu um email inesperado com a resposta para o problema 1196 de Erdős, um enigma de décadas no qual vinha trabalhando.
O matemático que passou 7 anos tentando resolver problema solucionado por amador com IA
