IA matemática

• IA encheu a matemática de lixo, então outra IA foi conferir tudo, linha por linha

  Depois de 719 manuscritos não conferidos em um mês, uma startup de US$ 1,6 bilhão resolveu levar cada teorema ao computador para conferir