Agentic provers not turning on us yet is evidence against EY's generalization model, argues Pope
QuintinPope5 · x · 2026-10-08
Continuing the debate, Quintin Pope argues that EY allowed an exception only for non-agentic provers — so if your position is that agentic provers exist but pose no threat merely because they are still insufficiently general, you're looking at evidence contrary to EY's model of intelligence and generalization.
More from AGI Musings
- Math is becoming liquid: AI will rediscover findings in real time — Maleficent_Disk9583 · 2026-10-08
- Austen: AI researchers were right, scale solved it — Bitter Lesson holds — inductionheads · 2026-10-08
- OpenAI researcher speculates math AI could soon prove P != NP for good — markjeffrey · 2026-10-08
- AI agent tries to earn its own compute budget, finds most bounties pay just $2 — Salty_Candy9485 · 2026-10-08
- Will frontier labs hoard their math-breaking models? An oligopoly argument — IridiumEagle · 2026-10-08
- AI circles call for an empirical science of memetics as ideas mutate at machine speed — jachiam0 · 2026-10-08