The additively idempotent semiring $S_7^0$ is nonfinitely based

We show that the additively idempotent semiring $S_7^0$ has no finite basis for its equational theory. This answers an open problem posed by Jackson et al. (J. Algebra 611 (2022), 211–245).