Tarizadeh's Conjecture on the Maximality of Purely-Prime Ideals
Every purely-maximal ideal of a commutative ring is purely-prime, and the converse holds for several important classes of rings; Tarizadeh conjectured (Conjecture 5.8 of his earlier published paper) that in a commutative ring every purely-prime ideal is purely-maximal. False: there is a commutative ring with a purely-prime ideal that is not purely-maximal.
- Result
- Disproved
- Status
- Resolved
- AI contribution
- AI-discovered
- Method
- Construction
- Field
- Commutative algebra
- Posed by
- Abolfazl Tarizadeh
- Year posed
- —
- Years open
- —
- Solved
- 2026-08-14
- Model
- ChatGPT Pro
- Vendor
- OpenAI
- Collaborators
- Abolfazl Tarizadeh
- Verification
- Unreviewed
- Publication
- Preprint
- Significance
- 8 / 100
- Disclosed cost
- —
- Wikipedia
- No dedicated article
What the AI did
In the author's words: after years without progress on his own conjecture, "by using an advanced model of AI (ChatGPT Pro), a counterexample is found to this conjecture". The counterexample is the paper's content; the conjecture's own poser credits the model with finding it.
Verification
Checked by this site on 17 August 2026 against the paper's LaTeX (arXiv:2608.14251): the abstract and introduction say what the entry says, including that the conjecture is the author's own published Conjecture 5.8 which resisted for years. The construction was not checked here. Days-old preprint by the conjecture's poser, no independent review.