OpenAI research collection · 1 manuscript · Source checked 2026-10-19
Proves Curtis’s conjecture: the positive-degree mod-two stable Hurewicz image of the sphere is spanned by the images of the Hopf-invariant-one classes η, ν, σ and the Kervaire-invariant-one classes that exist.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We prove Curtis's conjecture: in every positive degree, the mod-two stable Hurewicz image of the sphere is spanned by the images of η, ν, σ and the Kervaire-invariant-one classes that exist. Consequently, Eccles's conjecture holds for every sphere S^(n) with n > 0.
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.
Explore the AGI Clock ↗