OpenAI research collection · 1 manuscript · Source checked 2026-10-19
OpenAI's result summary
Distinct Dehn surgery slopes on a nontrivial smooth knot in S^(3) never produce orientation-preservingly homeomorphic manifolds, proving the purely cosmetic surgery conjecture. The statement includes the meridional slope.
Read the manuscripts
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
MANUSCRIPT 01
Purely cosmetic surgery on knots in the three-sphere
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.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
New mathematical reasoning could help AI tackle harder scientific and computational problems. How reliably these skills transfer beyond mathematics will determine how much they contribute to general intelligence.