Integral counterexamples to Gersten’s conjecture 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

Integral counterexamples to Gersten’s conjecture

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:	multiplying things	Levels:	2
Category:	Algebra	Lean version:	not yet
Rate this game! 4.5 out of 5 (2,160 votes)

>>> How to Play <<<

Integral counterexamples to Gersten’s conjecture. Disproves unrestricted integral Gersten injectivity in degrees 3 and 5. Two explicit two-dimensional ramified regular local rings of mixed characteristic $(0,5)$ have nonzero integral K-theory classes that vanish over their fraction fields.

>>> Level Select <<<

LEVEL 1 An integral counterexample to Gersten's conjecture

released 2026-09-25 | 1 theorem · 9 lemmas · 12 proofs · 10,796 words | PLAY LEVEL 1 » (pdf)

We construct a two-dimensional ramified regular local ring A of mixed characteristic $(0,5)$ for which $K_5(A)\to K_5(\mathop{\mathrm{Frac}}\nolimits A)$ has a nonzero kernel. This disproves Gersten's conjecture in its unrestricted integral form.

LEVEL 2 An integral degree-three Gersten counterexample

released 2026-09-26 | 1 theorem · 4 lemmas · 6 proofs · 4,592 words | PLAY LEVEL 2 » (pdf)

We construct a two-dimensional ramified regular local ring A in mixed characteristic $(0,5)$ for which the integral map $K_3(A)\to K_3(\mathop{\mathrm{Frac}}\nolimits A)$ has nonzero kernel. This gives a negative answer to the unrestricted integral Gersten conjecture.

More Algebra Games!
Foulkes’ conjecture for sixth powers and quadratic stabilization	Serre's intersection-multiplicity conjecture	Lech's multiplicity conjecture	A counterexample to the small Cohen–Macaulay module conjecture
A counterexample to Kaplansky's zero-divisor conjecture HOT!	Nonsofic groups and group-ring counterexamples	A counterexample to the little finitistic-dimension conjecture	Counterexamples to conjectures of Auslander–Reiten, Tachikawa, and Nakayama

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