agora temos prova de que os pessimistas da IA estão errados