Counterexamples to the Hahn–Wilson conjecture at height two 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 the Hahn–Wilson conjecture at height two

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, we can't help you. No Lean version yet. Some unformalized games could have issues!

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	donuts, coffee cups	Levels:	1
Category:	Topology	Lean version:	not yet
Rate this game! 4.4 out of 5 (8,107 votes)

>>> How to Play <<<

Counterexamples to finite generation at chromatic height two. Refutes the Hahn–Wilson conjecture at chromatic height two. For every sufficiently large prime p, constructs a connective p-complete spectrum of exact fp-type two that cannot be built from completed $\mathrm{BP}\langle2\rangle$ by finitely many sums, shifts, cones and retracts. The examples nevertheless satisfy the finite and telescopic localization comparisons.

>>> Level Select <<<

LEVEL 1 Counterexamples to the Hahn-Wilson conjecture at height two

released 2026-09-26 | 4 theorems · 30 lemmas · 59 proofs · 39,163 words | PLAY LEVEL 1 » (pdf)

We disprove the Hahn–Wilson conjecture at height two. For every sufficiently large prime p, we construct a connective p-complete spectrum X of exact fp-type two outside the ordinary thick subcategory generated by the specified standard form of $\mathrm{BP}\langle2\rangle_p^\wedge$. The same spectrum satisfies both localization comparisons $L_2^fX\simeq L_2X$ and $L_{T(2)}X\simeq L_{K(2)}X$.

More Topology Games!
Counterexamples to disk embedding and Wall's manifold conjecture	The purely cosmetic surgery conjecture for knots in $S^3$	Failure of rational injectivity for maximal coarse assembly	Smith–Toda complexes at every height with varying primes
The Kervaire invariant problem at the prime three HOT!	Quillen's conjecture in rational homology	Chai's invariant-ideal conjecture	The Grothendieck homotopy hypothesis HOT!

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