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.