OpenAI reports a counterexample to unrestricted infinite matroid packing and covering

In ZFC, two self-dual partitional matroids on a countably infinite common ground set admit neither a packing/covering partition nor an intersection witness.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

In ZFC, two self-dual partitional matroids on a countably infinite common ground set admit neither a packing/covering partition nor an intersection witness.

Why it matters

If correct, refutes the unrestricted packing/covering and intersection conjectures with only two matroids.

What counts as progress

Does every pair of infinite matroids admit a packing/covering partition and intersection witness?

Website timeline

Publication dates and editorial changes.