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.
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.