It's because anthropic vibemathed it. I forgot the name but some other guy is working on a handwritten version of it and I bet it'll be more than just 1 magnitude faster.
What would happen if they give an equivalent agent swarm the proof and a target to reduce runtime .