Ciência geral
A IA Aproveita Avanços Matemáticos para Alvo de Bugs de Software e Ameaças de Cibersegurança
Após a solução rápida do problema de Navier-Stokes pela OpenAI, os pesquisadores estão adaptando técnicas de IA semelhantes para verificação de software. Start-ups como &Truth visam eliminar falhas perigosas no código…