Re:L
앤트로픽, 페르마의 마지막 정리를 정형 증명(formal proof)으로 해결 | Re:L