We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.
I talked to a founder who was demoralized because all the ideas he could think of could be easily duplicated. I told him to ignore that worry; nearly all startup ideas are like that at first. Their value is the other ideas they lead to.