OpenAI research collection · 1 manuscript · Source checked 2026-10-19
OpenAI's result summary
Proves the rational-homology form of Quillen's conjecture for every finite group and every prime. If the largest normal p-subgroup of G is trivial, the poset of nontrivial elementary abelian p-subgroups has nonzero augmented reduced rational homology and is therefore not contractible.
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
Rational homology and Quillen's conjecture
We prove Quillen's conjecture for all finite groups and all primes. More precisely, if a finite group G has trivial largest normal p-subgroup O_p(G), then the poset of nontrivial elementary abelian p-subgroups of G has nonzero augmented reduced rational homology. This establishes the stronger rational-homology form of the…
Full source abstract
We prove Quillen's conjecture for all finite groups and all primes. More precisely, if a finite group G has trivial largest normal p-subgroup O_p(G), then the poset of nontrivial elementary abelian p-subgroups of G has nonzero augmented reduced rational homology. This establishes the stronger rational-homology form of the conjecture.
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.