On some open problems in commutative algebra resolved by Rethlas
Commutative Algebra
2026-05-29 v2
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), Erman-Sam's survey of Boij-S\"oderberg 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.
Cite
@article{arxiv.2605.25259,
title = {On some open problems in commutative algebra resolved by Rethlas},
author = {Jiedong Jiang and Yixiao Li and Zeming Sun and Yuefeng Wang and Liang Xiao and Jiahong Yu},
journal= {arXiv preprint arXiv:2605.25259},
year = {2026}
}
Comments
13 pages. AI-generated, human verified