미스트랄(Mistral)이 형식적 수학 증명으로 코드를 검증하는 모델 린스트랄 1.5(Leanstral 1.5)를 출시했다. 증명 언어 린 4(Lean 4)로 작성된 증명을 자동으로 생성하고 확인한다. 테스트 통과만으로는 안심할…