The purely cosmetic surgery conjecture for knots in S^3 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

The purely cosmetic surgery conjecture for knots in $S^3$

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.5 out of 5 (7,257 votes)

>>> How to Play <<<

The purely cosmetic surgery conjecture. Distinct Dehn surgery slopes on a nontrivial smooth knot in S³ never produce orientation-preservingly homeomorphic manifolds, proving the purely cosmetic surgery conjecture. The statement includes the meridional slope.

>>> Level Select <<<

LEVEL 1 Purely cosmetic surgery on knots in the three-sphere

released 2026-09-23 | 10 theorems · 71 lemmas · 105 proofs · 76,082 words | PLAY LEVEL 1 » (pdf)

We prove the purely cosmetic surgery conjecture for knots in the three-sphere. Distinct Dehn surgery slopes on a nontrivial smooth knot never give orientation-preservingly homeomorphic manifolds.

More Topology Games!
The Hilbert–Smith conjecture in every dimension HOT!	Counterexamples to disk embedding and Wall's manifold conjecture	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