OpenAI research collection · 1 manuscript · Source checked 2026-10-19
Proves saturation factor one for \mathop{Spin}\nolimits (2n), n ≥ 2: for three dominant integral weights whose sum lies in the root lattice, an invariant at any common positive integral dilation already gives an invariant at the original weights. This resolves the type-D part of the simply-laced saturation conjecture.
Short excerpts below come from OpenAI's abstracts. The full abstract and original PDF preserve the paper's precise scope.
We prove the saturation conjecture for \mathop{Spin}\nolimits (2n), n ≥ 2. If three dominant integral weights sum to an element of the root lattice, then the existence of a nonzero tensor invariant after a positive integral dilation implies the existence of one at the original 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 ↗