The offer was for him to do for their proof what he had done to Anthropic's, he would clean up the proof and extract human-understandable concepts from it. If he did that work he would deserve author credit IMO.
Because like all state-sponsored thieves actions it is never what you know happened that matters, but rather whether you can prove it... Even then... ymmv =3