Show HN: 형식적으로 검증된 다각형 교차 알고리즘 – Opus 4.8은 한 번에 성공, 이전 모델은 실패

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed