Control plane
Draft
Detail editor for one draft. Save, approve into queue, or reject out of the editorial flow.
local DBprivate
Source
2026-03-13 22:53:46.000000
Using Gauss, this is the first FrontierMath open problem to not only be solved but also autoformalized within hours of the solution being discovered.
https://t.co/HGBTK5t8JS
The formalization is native_decide-free and validated with @leanprover’s comparator. In addition to the
Draft text
Req 2026-03-13T2301-TOP1
Queue membership is preserved when editing an already approved draft.