Progressive disclosure for mathematical proofs: The parallel with cybersecurity

My previous submission covers the Navier–Stokes “incident” itself. Here I want to look at a parallel: AI agents are finding security bugs and producing mathematical proofs faster than the people working in these fields can absorb them.

Can mathematics borrow from coordinated vulnerability disclosure? I’d propose a registry that records work as it develops, with timestamps that others can verify, together with circles that gradually widen before public release. This would give people a record of their contribution without having to rush an unfinished proof out. But it only helps if we also give credit to ideas and partial results.