Inteligência ArtificialAnthropicClaude prova matematicamente que 123 bibliotecas de código aberto não falham e encontra centenas de errosRedaçãohá 3 horas