I’d expect them to highlight that, rather than keep it secret. I wouldn’t be surprised if they used it a little bit, but probably not to an extent that is really unique or unusual.
That would be terrifying in itself if true because for this type of work you really need the best of the best. But I doubt this is the case here. LLMs as we know them today are not quite yet there for this type of work.
