Show HN: Formally Verified Polygon Intersection — Opus 4.8 One-Shots What Previously Failed
GitHub / Hacker News·medium signal
A developer published a formally verified polygon-intersection implementation (45 points, 12 comments) noting that Claude Opus 4.8 one-shot a proof that earlier models failed to produce. It's a concrete data point on the generation jump in formal-methods and proof-assistant tasks with the late-May Opus release. Builders working with Lean/Coq-style verification should note the capability shift.