The Finite Field Restriction Problem for the Paraboloid
Prior state unknown→proved
a record exponent; the conjectured range is not yet reached
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
analysis / Harmonic analysis
a record exponent; the conjectured range is not yet reached
Temporal state
No reconciled state yet.
Append-only history
a record exponent; the conjectured range is not yet reached
Research memory
a record exponent; the conjectured range is not yet reached
a record exponent; the conjectured range is not yet reached
Evidence graph
parent of · event · claim reported
parent of · claim · theorem