미스트랄, 수학 증명·코드 검증 특화 ‘린스트랄 1.5’ 전격 공개…“퍼트넘벤치서 역대 최고 성적” - AI타임스

AI타임스 · 2026. 07. 04. 오후 05:22