Around A Human Audit of OpenAIs AI-Generated Mathematical Proofs

Every recorded relation of A Human Audit of OpenAIs AI-Generated Mathematical Proofs, coloured by entity type. Click a node to open it.