Sum-Difference Exponents for Boundedly Many Slopes
Prior state unknown→proved
Charts the bounded-slope regime of the arithmetic Kakeya program; the conjecture itself remains open.
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review