{"id":"arxiv/2605.25259","url":"https://arxiv.org/abs/2605.25259","tags":["math.AC"],"score":0,"title":"On some open problems in commutative algebra resolved by Rethlas","domain":"math.AC","source":"arxiv","authors":["Jiedong Jiang","Yixiao Li","Zeming Sun","Yuefeng Wang","Liang Xiao","Jiahong Yu"],"reviews":0,"subject":"math.AC","summary":"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ö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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-24","reactions":{}}