Security's attack-defense automation gap mirrors math: proofs are easy, conjectures are hard
mboehme_ · x · 2026-11-02
mboehme offers a hot take: the automation difficulty gap between attack and defense in security resembles the gap between proving a conjecture and inventing one in mathematics. Recent AI-generated proof dumps show proving is increasingly automatable, while conjecturing still demands intuition and high-level understanding — suggesting defense-side automation has far more headroom.
More from AGI Musings
- Carl Frey: 85% in China see AI as beneficial vs 38% in US — resistance maps to expertise costs — carlbfrey · 2026-11-02
- After a painful rebuild, fejau concedes: build on Hermes and you own your AI for life — Teknium · 2026-11-02
- 'Meatwashing': manually rewriting AI output to hide its origin, and why it's a double waste — JeremyNguyenPhD · 2026-11-02
- AI safety researcher: AI companies entirely lack this kind of effective human oversight — davidmanheim · 2026-11-02
- Long-read: AI's real value comes after the efficiency era—infra glut, agent tooling boom — yangyi · 2026-11-02
- vikhyat predicts alternating compute oversupply and undersupply on the road to AGI — TheZachMueller · 2026-11-02