Claude Opus 4.8 one-shots a formally verified polygon intersection algorithm

Maker permute shared a formally verified polygon intersection implementation on GitHub, notable because previous AI attempts failed and Claude Opus 4.8 solved it in a single shot. Formal verification is notoriously difficult — it requires proving correctness mathematically, not just passing tests — making this a meaningful signal for developers who need provably correct geometric code. For indie devs building CAD tools, game engines, or GIS software, a verified polygon intersection primitive is the kind of foundational building block that's historically been painful to get right.