Control plane
Draft
Detail editor for one draft. Save, approve into queue, or reject out of the editorial flow.
local DBprivate
Source
2026-03-19 22:12:32.000000
Our friends at @mathematics_inc forked Hermes Agent to build an incredible autoformalization agent harness
Quoted original
Math, Inc. (@mathematics_inc) · Thu Mar 19 18:36:42 +0000 2026
Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier.
It is stronger, faster, and more cost-efficient than off-the-shelf https://t.co/AvXtuh4uGi
Draft text
Req 2026-03-19T2301-TOP2
Queue membership is preserved when editing an already approved draft.