OP-00070 Open An explicit rational Valiant-rigid matrix family CO · circuit lower bounds · matrix rigidity · OpenProblemsInNLA