2 problems

Kraus's conjecture. There are no elliptic curves over $K$ with full $2$-torsion and conductor $d513$.

Asymptotic Fermat conjecture. If $zeta3 otin K$, then the asymptotic Fermat's Last Theorem holds for $K$.