The Bi-UF Positive Conjecture for positive semirings
Bi-UF Positive Conjecture. The prototypical semiring N0\mathbb{N}_0N0​ is the only positive semiring that is a bi-UFS.