An essay argues AI is entering a brute-force loop for math, software and drugs
bennstancil · x · 2026-07-27
This essay argues that a new kind of AI progress is emerging in verifiable domains like mathematics, software, and drug discovery: long-running loops where the system keeps generating hypotheses, testing them, and asking itself to “continue the search.”
It opens with Terence Tao and an Anthropic researcher using a frontier model to find a counterexample to the Jacobian conjecture, then contrasts that with a startup founder using just a few terse prompts to get ChatGPT to disprove another conjecture. The author’s point is that some problems no longer require a human to “operate” the model in a sophisticated way; they may only need a machine to relentlessly improve its own attempts. That could reshape domains with clear, checkable answers.
More from AGI Musings
- Archive catalogs decades of failed AI predictions and pushes back on inevitability claims — Dan_Jeffries1 · 2026-07-27
- Brands Pivot to Micro-Influencers Amid AI Job Displacement — davidfromkansas · 2026-07-27
- A regulatory-markets model could bridge fast-moving AI and slow legislation — ghadfield · 2026-07-27
- AI agents may need revocable licenses as insurers pull back from generative AI — ghadfield · 2026-07-27
- Tim Maudlin traces Einstein, EPR, and Bell’s theorem in a long physics lecture — TOEwithCurt · 2026-07-27
- Thought experiment says any model costing $1M+ to train should be open-sourced — ylecun · 2026-07-27