OpenAI research collection · 2 manuscripts · Source checked 2026-10-19
OpenAI's result summary
Proves the Eisenbud–Green–Harris and lex-plus-powers conjectures over every characteristic-zero field. Any homogeneous ideal containing a regular sequence, of arbitrary length and degrees at least two, admits a lex-plus-powers ideal with the same Hilbert function and no smaller graded Betti numbers.
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
The Artinian Lex-Plus-Powers Betti Theorem
We prove the Eisenbud–Green–Harris and lex-plus-powers conjectures over every characteristic-zero field for homogeneous regular sequences of any positive length, with degrees at least two. For every homogeneous ideal containing such a sequence, the corresponding lex-plus-powers ideal has the same Hilbert function and at least…
Full source abstract
We prove the Eisenbud–Green–Harris and lex-plus-powers conjectures over every characteristic-zero field for homogeneous regular sequences of any positive length, with degrees at least two. For every homogeneous ideal containing such a sequence, the corresponding lex-plus-powers ideal has the same Hilbert function and at least as large a graded Betti number in every homological and internal degree.
This exact PDF is not listed in the imported formalization catalogue. Family scope notes may contain further information.
Commuting Division-Coefficient Forms and the Artinian Eisenbud--Green--Harris Conjecture
We prove the Eisenbud–Green–Harris conjecture over every characteristic-zero field for homogeneous regular sequences of any positive length, with degrees at least two. Thus every homogeneous ideal containing such a sequence has the Hilbert function of a monomial ideal containing the corresponding pure powers.
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.