Banks, government agencies, and other critical institutions run largely on antiquated programming languages. Can AI help bring them up to date?