1 problem

Tropical-basis conjecture. The $(r+1)\times(r+1)$ minors of a $d\times n$ matrix of variables are a tropical basis if and only if $r\leq 2$ or $r\geq \operatorname{min}(d,n)-2$.