OpenAI reports the Artin K(π,1) conjecture in finite rank

The standard Salvetti complex of every Artin group with finitely many standard generators is aspherical, equivalently its universal cover is contractible.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

The standard Salvetti complex of every Artin group with finitely many standard generators is aspherical, equivalently its universal cover is contractible.

Why it matters

If correct, resolves the finite-rank Artin K(π,1) conjecture for every Coxeter matrix on a finite generating set.

What counts as progress

Is every finite-rank Artin group’s Salvetti complex aspherical?

Website timeline

Publication dates and editorial changes.