딥시크 API, 24일 작동 멈춘다…미스트랄은 ‘수학 증명’ 모델 공개

[지디넷코리아]중국 딥시크(DeepSeek)의 호스팅 응용프로그램인터페이스(API)를 쓰는 개발팀에 시한이 걸렸다.

AI툴스리캡(AIToolsRecap)에 따르면 deepseek-chat과 deepseek-reasoner 별칭(alias)은 7월 24일 15시 59분(협정세계시(UTC) 기준) 작동을 멈추며, 별도의 연장 공지는 없다.

두 별칭을 호출하는 코드는 모두 deepseek-v4-pro 또는 deepseek-v4-flash로 이전해야 한다.

바꾸는 작업 자체는 매개변수 하나 수준으로 단순하다.진짜 위험은 별칭 매핑에 숨어 있었다. deepseek-reasoner는 고성능 추론용이 아니라 사고(thinking) 모드인 V4-플래시(Flash)에 연결된다.

따라서 무거운 추론 작업에 reasoner를 써 온 팀이 단순히 이름만 flash로 바꾸면 동등한 성능을 얻지 못한다.

같은 역량을 유지하려면 deepseek-v4-pro를 명시적으로 호출해야 하며, 그렇지 않으면 추론 파이프라인의 품질이 소리 없이 저하될 수 있다.

매체는 7월 20일까지 테스트를 마쳐 나흘의 여유를 두라고 권고했다.이런 ‘조용한 성능 저하’는 서비스 운영에 특히 위험하다.

오류 메시지 없이 결과 품질만 나빠지기 때문에, 배포 이후에야 문제를 인지하는 경우가 많기 때문이다.

매체는 오늘 당장 저장소에서 deepseek-chat과 deepseek-reasoner 호출부를 모두 찾아내라며, 이전 자체보다 모든 호출 지점을 빠짐없이 찾아내는 일이 실제 작업의 핵심이라고 조언했다.한편, 미스트랄(Mistral)은 ‘린스트랄(Leanstral) 1.5’를 공개했다.

아파치 2.0 라이선스의 1190억(119B) 파라미터 모델로, 소프트웨어가 의도대로 동작함을 린(Lean) 4 언어로 ‘수학적으로 증명’한다.

오류가 치명적인 결과로 이어지는 시스템에서 신뢰성 검증 방식을 바꿀 수 있다.자세한 내용은 AI툴스리캡(AIToolsRecap)에서 확인할 수 있다.이미지 출처: 미스트랄■ 이 기사는 AI 전문 매체 ‘AI 매터스’와 제휴를 통해 제공됩니다.

기사는 클로드 3.5 소네트와 챗GPT를 활용해 작성되었습니다.

(☞ 기사 원문 바로가기) ...