O cientista da computação Tudor Achim propõe uma abordagem para criar superinteligência matemática. Ele defende que uma estrutura lógica baseada em ideias de Leibniz pode resolver problemas de verdade e erro em inteligência artificial. Isso pode levar a parcerias mais confiáveis entre humanos e máquinas.
