형식 검증
딥시크 API 7월 24일 마감 경고…미스트랄은 ‘수학 증명’ 모델 공개
중국 딥시크(DeepSeek)의 호스팅 응용프로그램인터페이스(API)를 쓰는 개발팀에 시한이 걸렸다. AI툴스리캡(AIToolsRecap)에 따르면 deepseek-chat과 deepseek-reasoner 별칭(alias)은 7월 24일 협정세계시(UTC) 15시 59분부로 작동을 멈추며, 별도의 연장 공지는 없다.…
미스트랄, 수학적 증명으로 코드 검증하는 ‘린스트랄 1.5’ 공개
미스트랄(Mistral)이 형식적 수학 증명으로 코드를 검증하는 모델 린스트랄 1.5(Leanstral 1.5)를 출시했다. 증명 언어 린 4(Lean 4)로 작성된 증명을 자동으로 생성하고 확인한다. 테스트 통과만으로는 안심할…
