Agent searches may scale to 10,000 conjecture disproofs, but verification stays the bottleneck
JensHonack · x · 2026-07-24
A reply thread argues that searching for 10,000 candidate disproofs in a weekend may soon be easy with agentic systems, but verifying them rigorously remains the bottleneck.
The key claim is that verification does not parallelize as cleanly as brute-force search, so even if major labs dump open conjectures into thousands of agent runs, the hard part is still the proof-checking stage.
More from AGI Musings
- 'Half the sites I try via agents block access' — the anti-bot paradox holding back the agentic economy — XFreeze · 2026-10-27
- US chases AGI dominance while China, EU and ASEAN treat AI as public infrastructure — BubblyExtent1693 · 2026-10-27
- Lab monkeys at $30-80K each: a 4-year breeding cycle is the real preclinical drug bottleneck — zebird0 · 2026-10-27
- CJR: journalists should stop hyping AI's supposed humanity — just say 'rogue' — ShakeelHashim · 2026-10-27
- PhD applicant emails up 4x YoY due to AI — writing without AI now makes you stand out — AI4Code · 2026-10-27
- Weil's collapse shows BigLaw dies from eroding belief, not a broken business model — jkubicki · 2026-10-27