Remodeling for the Affine Binary Dihedral Calabi–Yau Threefold
Prior state unknown→proved
A variant rather than the BKMP conjecture itself: the target lies outside the toric setting the conjecture addresses.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review