Open Research Index

On some open problems in commutative algebra resolved by Rethlas

Jiedong Jiang, Yixiao Li, Zeming Sun, Yuefeng Wang, Liang Xiao, Jiahong Yu

arXivarxiv/2605.25259May 24, 2026math.ACscore 0

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.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2605.25259
curl -X POST /api/v1/records/arxiv/2605.25259/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.25259/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'