AI-generated mathematics Scrutiny Queue