2 problems

Semiprimeness conjecture. The ring $Q^+[[x;\sigma,\delta]]$ is (semi)prime.

Let $R$ be a Noetherian ring, complete with respect to a positive filtration topology, and let $(\sigma,\delta)$ be a continuous skew derivation compatible with the filtration. Def…