Prove InfiniteMatroid (openai/math family 185: Counterexamples to infinite matroid intersection and…
Prove InfiniteMatroid (openai/math family 185: Counterexamples to infinite matroid intersection and…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 185 of the release, Counterexamples to infinite matroid intersection and packing/covering…
The task
Context: this statement belongs to family 185 of the release, *Counterexamples to infinite matroid intersection and packing/covering* (Combinatorics). The family as a whole: Disproves the unrestricted infinite matroid intersection and packing/covering conjectures in ZFC, using two self-dual partitional matroids on a…
Part of raising-heart/openai-math.