Just as one does not open a restaurant in an abattoir, it is important that there be a separation between such [AI-generated proof] repositories and a site which aims to promote the actual questions, place them in an appropriate context, and give a useful overview of the current state of human understanding.