Novo software “matemático” analisa conclusões matemáticas que são supostamente são verdadeiras, mas nunca foram comprovadas.