





















Abstract:We report on a collection of open problems in commutative algebra and related areas that have been resolved (proved or disproved) using the Rethlas natural-language automated reasoning system. The problems are drawn from several published lists, including Open Problems in Commutative Ring Theory (Cahen-Fontana-Frisch-Glaz), Eisenbud-Schreyer's survey of Boij-Söderberg theory. For each problem we record the precise statement and a self-contained proof produced (with no human intervention) by Rethlas and subsequently verified by human experts.
| Comments: | 13 pages. AI-generated, human verified |
| Subjects: | Commutative Algebra (math.AC) |
| MSC classes: | 13C15, 13D02, 13F05, 13F20, 13J10, 17B55, 05E40 |
| Cite as: | arXiv:2605.25259 [math.AC] |
| (or arXiv:2605.25259v1 [math.AC] for this version) | |
| https://doi.org/10.48550/arXiv.2605.25259 arXiv-issued DOI via DataCite (pending registration) |
From: Jiedong Jiang [view email]
[v1]
Sun, 24 May 2026 21:22:07 UTC (17 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。