Counterexamples to infinite matroid intersection and packing/covering at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

A
D
V
E
R
T

I
S
E
M
E
N
T

Counterexamples to infinite matroid intersection and packing/covering

at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages

thinking... about 3 hours remaining

If this game doesn't work on your computer, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	counting, coloring	Levels:	1
Category:	Combinatorics	Lean version:	YES! ✔
Rate this game! 4.3 out of 5 (1,725 votes)

>>> How to Play <<<

Counterexamples to infinite matroid intersection and packing/covering. Disproves the unrestricted infinite matroid intersection and packing/covering conjectures in ZFC, using two self-dual partitional matroids on a countably infinite ground set. The same examples answer Joó’s partitional-matroid question negatively. They are neither finitary nor cofinitary, so Nash-Williams’ original finitary conjecture remains outside the result.

>>> Level Select <<<

LEVEL 1 A Counterexample to the Infinite Matroid Packing/Covering Conjecture

released 2026-09-24 | 2 theorems · 15 lemmas · 20 proofs · 9,363 words | PLAY LEVEL 1 » (pdf)

We construct in ZFC two self-dual partitional matroids on a countably infinite common ground set that admit neither a packing/covering partition nor an intersection witness. This disproves the unrestricted infinite matroid packing/covering and intersection conjectures and answers Joó's question for two partitional matroids negatively. The examples are neither finitary nor cofinitary.

More Combinatorics Games!
Exact crossing numbers of complete and complete bipartite graphs	The higher-dimensional Erdős distinct-distances conjecture	Pinned distances and a power saving for planar unit distances	Combinatorial invariance of Kazhdan–Lusztig polynomials
The Shareshian–Wachs $e$-positivity conjecture	Sharp logarithmic exponents for off-diagonal Ramsey numbers HOT!	The hypercube Ramsey conjecture	Classification of finite Euclidean Ramsey configurations

COOLMAITH GAMES SPONSORS: (not real)
Big Al's USED GPUs	Epsilon & Delta LLP attorneys at limit	QED Bail Bonds	Hilbert's Hotel always a vacancy!

Cool Links: openai/math Lean Mathlib arXiv the real Coolmath Games

You are visitor number 000719

Thanks for visiting CoolmAIth Games
© 1997-2026 CoolmAIth Games. A parody. Not affiliated with Coolmath.com LLC or OpenAI.
Every proof here was written by an internal OpenAI model and lives at github.com/openai/math.
Best viewed in Netscape Navigator 4.0 at 800x600