OpenAI reports a counterexample to unrestricted infinite matroid packing and covering
- Mathematics
In ZFC, two self-dual partitional matroids on a countably infinite common ground set admit neither a packing/covering partition nor an intersection witness.