"Hitting the bullseye doesn't make you a good shooter": an AI proofs debate
gerardsans · x · 2026-10-14
In a debate on what proofs are for, Gerard Sans pushed back against crediting AI for proved results: hitting the target after massive retries doesn't make a good shooter — many attempts always implies a weak one, and that's how AI works today.
Related event: Developer Argues AI Hitting the Target Doesn't Make It a Sharpshooter(3 posts)→
More from AGI Musings
- Accurate Predictions Don't Guarantee Better Decisions: The Question of What AI Optimizes — AryHHAry · 2026-10-14
- Nathan Lambert launches nonprofit open AI lab Trillium: distillation edge is months, China lacks compute — a16z · 2026-10-14
- Don't buy the frontier-model hype: deterministic local harnesses cover most business needs — sull · 2026-10-14
- Dave Chappelle riffs on AI bubble popping, shared by Gary Marcus — GaryMarcus · 2026-10-14
- Post-training's three eras: chatbots, superhuman engineers, personal assistants — what's next — manosaie · 2026-10-14
- Microsoft researchers: collaborating AI agent swarms can take off past a population threshold — Hidenori8Tanaka · 2026-10-14