In Articles 303 and 304 of his 1801 Disquisitiones Arithmeticae [Gau86], Gauss put forward several conjectures that continue to occupy us to this day. Gauss stated his conjectures in the language of binary quadratic forms (of even discriminant only, a complication that was later dispensed with). Since Dedekind’s time, these conjectures have been phrased in the language of quadratic fields. This...