Gov. Ron DeSantis has repeatedly heaped skepticism on artificial intelligence. But he’s also using the new technology in one of his biggest projects.