THE NEW YORK TIMES - Há quatro anos, o cientista da computação Trieu Trinh vem se dedicando a um problema de meta-matemática: como criar um modelo de inteligência artificial (IA) que resolva problemas ...