형식 검증 모델과 코딩 에이전트 업데이트 #69
오늘의 레터
Mistral AI, Leanstral 1.5 공개
- Mistral AI에 따르면 Leanstral 1.5는 2026년 7월 2일 공개된 형식 검증용 모델로, Apache-2.0 라이선스로 무료 배포됨
- 공개 내용에 따르면 모델 규모는 총 119B, active 6B 파라미터로 소개됨
- 형식 검증 성능 개선을 전면에 내세웠고, miniF2F 벤치마크 포화와 PutnamBench 672문제 중 587문제 해결 수치를 제시함
- 수학 정리 증명과 정형화 작업 자동화처럼 증명 생성이 필요한 워크플로에 맞춘 모델 계열로 제시됨
- Mistral 공식 블로그를 통해 발표됐고, Hugging Face 등 공개 배포 경로와 함께 연구·개발용 접근성을 넓히는 모델로 설명됨
원문: mistral.ai
참고: news.hada.io · testingcatalog.com · the-decoder.com
Meta, Muse Spark 코딩·에이전트 성능 강화 예고
- Meta 최고 AI 책임자 알렉산드르 왕이 차기 Muse Spark 업데이트에서 코딩과 에이전트 기능이 크게 강화된다고 7월 3일 밝혔다.
- 해당 업데이트는 내부 코드명 Watermelon으로 불리며, 이전 버전보다 더 많은 연산 자원을 사용하고 Meta AI와 신규 API를 통해 곧 배포될 예정.
- 왕의 설명은 CEO 마크 저커버그의 사내 타운홀 발언 이후 나온 보충 성격의 입장으로, 경쟁 모델과의 격차 축소를 목표로 한다는 점을 드러냄.
- InfoWorld는 Business Insider 보도를 인용해 Watermelon이 OpenAI의 GPT 5.5 수준에 근접했다는 내부 평가가 있었다고 전했다.
- 업계 분석가들은 Meta가 저비용 또는 오픈 웨이트 형태로 제공할 경우 OpenAI·Anthropic 외 대안을 찾는 기업의 코딩 보조와 에이전트 도입 선택지가 늘어날 수 있다고 봄.
원문: infoworld.com
참고: ababnews.com · americanbazaaronline.com
Sponsored · 조코헌트 · sms오더 (자동)
🏆 조코헌트 TOP1 · 문자 주문을 웹에서 정리하는 자동 발주 관리 도구
안드로이드 휴대폰으로 받은 주문 문자를 웹과 동기화해 답장하고, 상품 정보와 연결해 발주리스트까지 만드는 문자 주문 관리 서비스입니다.
문자 내용을 분석해 주문·입금 확인·고객 문의를 자동으로 처리하고, 택배사 서식 엑셀로 이어져 반복 응대와 수기 정리 시간을 줄이는 데 초점을 맞췄습니다.
Wafer, MI355X 기반 GLM-5.2 추론 측정치 공개
- 보도에 따르면 Wafer는 AMD MI355X에서 GLM-5.2를 최적화한 추론 결과를 공개함
- 20k 입력·1k 출력, 60% 캐시 히트율 조건에서 2626 tok/s/node와 2.4 rps를 기록했다고 밝힘
- 같은 글에서 MI355X가 B300 대비 GPU당 평균 약 2.75배 저렴하며, 해당 측정치는 B200 성능의 약 80% 수준이라고 설명함
- 단일 스트림 기준으로는 10k 입력 토큰·1.5k 출력 토큰 조건에서 213 tok/s를 기록했다고 제시함
- 커스텀 커널 없이 프레임워크 버그 수정, MXFP4 양자화, speculative decode, MoE 커널 튜닝으로 수치를 끌어올렸다고 설명함
원문: news.hada.io
조코레터는 개발자와 만드는 사람을 위해 AI, 소프트웨어, 제품 흐름을 한국어로 정리합니다.
#Meta #MistralAI #Wafer