Comment by sebzim4500

They have released them, they are just also hiring mathematicians to clean them up in parallel.