Green proofs, empty promises: when AI agents write their own specifications October 21, 2026 · Dev.to Read full story at source