🕐 서명된 로그는 올바른 모델이 실행됐다고 말합니다

그런데 더 저렴한 모델을 몰래 돌려놓고 파일에는 비싼 모델 이름을 적어 넣은 시스템이 만든 서명된 로그도, 똑같이 그렇게 말해줍니다.

증명(proof)은 그럴 수 없습니다. 모델을 바꾸거나, 입력값을 바꾸거나, 출력값의 숫자 하나만 바꿔도 검증이 멈춰버립니다. 틀렸는데도 여전히 통과하는 버전은 존재하지 않습니다.

주장은 정직하면서도 틀릴 수 있습니다. 증명은 틀릴 수 없습니다.

📱 원문 보기