Lech's multiplicity 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

Lech's multiplicity 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, go here for help. (Lean version available!)

expertly designed by an internal OpenAI model

Difficulty:	🧠🧠🧠🧠🧠	Ages:	13 - ∞
Skills:	multiplying things	Levels:	1
Category:	Algebra	Lean version:	YES! ✔
Rate this game! 4.4 out of 5 (1,009 votes)

>>> How to Play <<<

Lech’s multiplicity conjecture. Proves $e(R)\le e(S)$ for every flat local homomorphism of nonzero Noetherian local rings, where e is Hilbert–Samuel multiplicity. This resolves Lech's conjecture in every dimension and characteristic.

>>> Level Select <<<

LEVEL 1 Lech's multiplicity conjecture

released 2026-09-23 | 6 theorems · 16 lemmas · 23 proofs · 18,236 words | PLAY LEVEL 1 » (pdf)

We prove Lech's multiplicity conjecture: Hilbert–Samuel multiplicity cannot decrease under a flat local homomorphism of nonzero Noetherian local rings. The result holds in arbitrary dimension, with no restrictions on the residue fields or characteristics.

More Algebra Games!
Donovan's conjecture over fields and discrete valuation rings	Tensor saturation for even spin groups	Saxl's conjecture and universal tensor squares	Finite lattice representation: counterexamples and undecidability
The $\ell^1$-Bass and complex Bass trace conjectures	The finite Benson–Etingof–Ostrik conjecture	Integral counterexamples to Gersten’s conjecture	Foulkes’ conjecture for sixth powers and quadratic stabilization

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