OpenAI research collection · 1 manuscript · Source checked 2026-10-19
Proves the numerical blockwise Alperin weight conjecture for every prime and every finite group: the number of irreducible Brauer characters in a block equals the number of conjugacy classes of its weights.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We prove the numerical blockwise Alperin weight conjecture for every finite group and every prime p. For each p-block B, the number of irreducible Brauer characters in B equals the number of conjugacy classes of B-weights.
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 ↗