Open Problems in Commutative Algebra Resolved by Rethlas
A collection of open problems drawn from published lists, including Cahen, Fontana, Frisch and Glaz's Open Problems in Commutative Ring Theory and Erman and Sam's survey of Boij-Soderberg theory, each proved or disproved by one automated reasoning system, with the precise statement and a self-contained proof recorded per problem.
- Result
- Proved(see note)
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Argument
- Field
- Commutative algebra
- Posed by
- Cahen, Fontana, Frisch and Glaz; Erman and Sam; and others
- Year posed
- —
- Years open
- —
- Solved
- 2026-05-24
- Model
- Rethlas
- Vendor
- Frenzy Math
- Collaborators
- Jiedong Jiang, Yixiao Li, Zeming Sun, Yuefeng Wang
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 15 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What was actually shown
a batch of problems from published lists, resolved in one paper
What the AI did
The paper's claim is the strongest form of attribution in this catalog: for each problem it records a self-contained proof produced with no human intervention by Rethlas, which the authors then verified. The humans chose the problems and checked the output.
Verification
The authors state they verified each machine-produced proof, but nothing here is refereed and we have not checked any of them ourselves. A paper whose entire content is unreviewed automated output warrants more caution than a single result would.
Source
arXiv:2605.25259 - On some open problems in commutative algebra resolved by Rethlas