형식검증

AI가 참여한 11개 정사각형 최적 포장 증명, Lean 형식 검증 완료

2026년 10월 6일 공개된 GitHub 저장소에서 OpenAI의 Astra와 Anthropic의 Claude가 기여한 11개 정사각형 포장 최적성 증명이 Lean으로 완전 검증되었습니다.