The fine-category conjecture for the category of mixed motives

Let $\mathsf{DM}^\otimes$ be the ${\mathbb{Q}}$-linear symmetric monoidal stable presentable $\infty$-category of mixed motives. A symmetric monoidal stable presentable $\infty$-category is called fine when it has the finiteness properties considered in the paper. Fine-category conjecture for mixed motives. The category $\mathsf{DM}^\otimes$ is a fine $\infty$-category. The claim is presented as a natural expectation concerning the structure of mixed motives; the source gives no resolution, so it remains open.