Yes, yes I have.

> If AI labs produce significant mathematical results, they should responsibly release the results, as outlined in this document, as soon as possible.

And

> only the mathematical community can undertake the assessment that is needed. Making this work public is a first step. This release is the beginning, not the completion, of the process of human understanding and the incorporation of the work into mathematical knowledge.

This is precisely what I was saying.