No they are not. Cole reversed himself on the opt out. https://www.mlb.com/news/gerrit-cole-staying-with-yankees-on-existing-contract