미스트랄, 수학적 증명으로 코드 검증하는 ‘린스트랄 1.5’ 공개
미스트랄(Mistral)이 형식적 수학 증명으로 코드를 검증하는 모델 린스트랄 1.5(Leanstral 1.5)를 출시했다. 증명 언어 린 4(Lean 4)로 작성된 증명을 자동으
AI matters2026.07.15. 12:53:58
공감 수5
베스트 커뮤니티
-
1출석 포인트 678 포인트 (19) -
![[주간 랭킹] 4위](https://img.danawa.com/images/attachFiles/7/53/6052503_18.jpg?fitting=Large|140:105&crop=140:105;*,*)
2[주간 랭킹] 4위 (19) -
3비가 계속 내립니다. (14)
-
4키 작은 사람은 200% 공감하는 상황 (9)
-
5이제 벌크 묶음 건전지 안사려고 합니다. (19)
-
6어제 오늘 출석은 연속으로 678 포인트 적립이네요. (17)
-
7엄마, 나.. 너무 힘들어 (15)
-
8신용카드도 원가 절감 하는군요 (21)
-
9모바일 출석체크로 678포인트 적립했네요. (14)
-
10티니핑과 함께하는 치즈소시지 (8)
-
11습도 높고 흐린 날씨에 토요일이네요. (12)
-
128월 28일 박스오피스 / 오디세이 800만 돌파 (9)
AI 안쓰는 당신을 위하여
그것이 알고 싶다...
실패 없는 가전 선택법!
1/3
인기 포럼 글
-
1 달달+아삭+고소해서 맛있는 머거본 `커피땅콩바` (24) -
2 달달하고 바삭한 신상 크라운 `쿠크다스 우베 에디션` (20) -
3딱딱하고 달달한 키도 `레몬 버터향 크래커 샌드위치` (21)
-
4돌아 보지마 (13)
-
5부드럽고 진한 후지야 `프리미엄 룩(아마오우 딸기)` (21)
-
6고소한 한정판! 롯데웰푸드 `제크샌드 골든 콘버터` (21)
-
7신맛이 강한 온세까세로 `패션후르츠크림 왁뿌 소금빵` (22)
-
8엄청 바삭하고 고소한 오뚜기 `콘크림스프 크리스피롤` (21)
-
9맛있고 달달한 삼립 `성수 310 더블토피넛＆슈크림빵` (21)
-
10고급지고 맛있는 허베이 치허 `블루베리 토스트 크래커' (20)
![코어 울트라 7 265KF와 RTX 5080의 조합! ASUS ROG G700 실사용 리뷰! [프리미엄 리포터V]](https://img.danawa.com/images/attachFiles/7/53/6052143_1.jpeg?shrink=320:180)
사거나 말거나
-
![[포인트 마켓] 잘만 Alpha36 (블랙)](https://img.danuri.io/catalog-image/006/049/016/de507f1cb8da47fdb7d49e4b97f8460f.jpg?fitting=Large|140:105&crop=140:105;*,*)
1 [포인트 마켓] 잘만 Alpha36 (블랙) -
2 ★ 한가위빅세일 단독특가 159만!!니트로 16S AI 게이밍노트북 R7 350 RTX5060 1TB / 32GB -
3PCCOOLER CPS DC360 PRO ARGB DISPLAY (화이트)
-
4[쿠팡]언제 어디서나 게임 스타트! ROG XBOX ALLY 특가 (1)
-
5[네이버] ASUS 비보북 14 M1405NAQ-LY087W 인강/사무용 가성비 AI 노트북 (1)
-
6[쿠팡] [MiniLED] MSI MAG 274UPDF700 E16M 듀얼모드 게이밍 4K AI Vision 무결점 모니터 (최종:444,800) (1)
-
7★ 한가위빅세 특가 79만!! ASUS ExpertBook P1 P1503CVA-S72018 코어5 210H AI 노트북 (1)
-
8[쿠팡] 도어락 추천! 보안은 기본, 향기까지 더한 현대HT 디퓨저 도어락~✿ (1)
-
9★ 한가위빅세일 단독특가 139만!!니트로 V 16S AI 게이밍노트북 R7 260 RTX5060 512GB / 16GB (1)
-
10[지마켓 라방] 한가위 빅세일! 인스탁스 미니링크3 마리오 에디션 단 1시간 특가 안내 (1)
이 시간 HOT 댓글!
1/4
- NEW 반토막 난다거나 그런건 아니니 지갑사정에 맞춰서 하면 될듯 관련 글 DDR5 램 하나만 꽂으면 게임 성능 얼마나 떨어질까? KLEVV FIT V로 직접 비교해봤습니다
- HOT 세탁기에 거꾸러 쳐박히면 혼자 사는 사람이면 어떻게 되는겨... 관련 글 키 작은 사람은 200% 공감하는 상황
- NEW 앤커에 귀찌나 귀걸이형은 없을려나... 관련 글 요즘 10만원대 이어폰이 이 정도라고? 앤커 사운드코어 P42i 리뷰구독자 이벤트
- HOT 오오오 응모 당첨 축하드려요!! 관련 글 컴퓨존에서 기쁜소식이~
- HOT 어느정도 공감되네요.. 관련 글 키 작은 사람은 200% 공감하는 상황
- HOT 아무나 접근할 수 없는 차인게... 관련 글 "출력만 높인 게 아니다" 애스턴마틴, 고성능 S 3종 국내 첫 공개
- NEW 아무나 접근할 수 없는 차인게... 관련 글 "출력만 높인 게 아니다" 애스턴마틴, 고성능 S 3종 국내 첫 공개
- NEW 하루 5시간 써도 한 달 쓴다는 거네 ㄷㄷ 관련 글 150시간 배터리의 미친 편의성! MSI GM51 무선 마우스 상세 리뷰 [이달의 신제품]
- NEW 투싼 정도의 차가 작지도 않고 과하지도 않고 딱 좋은것 같음. 관련 글 "각 제대로 잡았다" 현대차, 5세대 완전변경 '디 올 뉴 투싼' 세계 최초 공개
- HOT 당첨 축하합니다. 관련 글 컴퓨존에서 기쁜소식이~
- NEW 룰렛 포인트가 ㅋㅋㅋ 관련 글 파인인포, KLEVV와 함께 ‘T1 룰렛’ 인스타그램 이벤트 진행
- HOT 산도 신상 살구팝 맛있겠네요. 관련 글 달콤하고 톡톡 터지는 신상~크라운 `산도 살구팝`
- HOT 좋은 글 감사합니다. 관련 글 인생의 오르막과 내리막
- HOT 각인에서 프린트로 우와 각인그거 얼마더든다고... 장난감 카드같이 변해버렸네요 은행순이익은 언제나 깜놀수준인데 역시 하나라도 덜쓰고 더가져가려고 애쓰는구나 관련 글 신용카드도 원가 절감 하는군요
- HOT 다이소 네오가 이제 국민 건전지아닌가요 관련 글 이제 벌크 묶음 건전지 안사려고 합니다.
- NEW 신기하네~ 관련 글 웃돈까지 붙었다는 로봇 폰 구해 왔습니다
- HOT 길게 사용하려고 사용하는건 에너자이저나 듀라셀 사용하고 리모컨 건전지 같은 경우에는 다이소 4개 천원짜리 사용중이네요. 관련 글 이제 벌크 묶음 건전지 안사려고 합니다.
- HOT 뭔 멍멍이 소리하는 지 모르겠다 썸네일에 나온대로 할 거면 16GB짜리 하나가 아니라 두 갤 박는 게 나음 그리고 16GB하나로 시작해도 되냐고? 나중에 후회하지 말고 16GB를 두 대를 박거나 차라리 32GB를 박아라 그게 더 낫다 램이나 스스디는 무조건 다다익선 아니 다다익램이다 물론 램 가격이나 스스디 가격이 폭등해서 고민이면 16GB로 다는 걸 뭐라고 하지 않는다 다만 권장하진 않는다 왜냐고? 내가 그렇게 해 봤거든 16GB박고선 다음에 돈 생기면 달아야지 했다가 10만원에 살 수 있는 걸 18만원 그것도 중고램으로 사서 달았다 물론 난 달달이4다 또하나 운영체제상에서 윈10이나 윈 11은 32GB 권장이다 16GB면 얼마나 많은 창을 여냐에 따라 다르겠지만 16GB론 어림도 없다 관련 글 DDR5 램 하나만 꽂으면 게임 성능 얼마나 떨어질까? KLEVV FIT V로 직접 비교해봤습니다
- HOT 과해.......잘 망가질듯 관련 글 웃돈까지 붙었다는 로봇 폰 구해 왔습니다
- HOT 엄청 딱딱할 것 같지만 맛 있겠네요 관련 글 달달+아삭+고소해서 맛있는 머거본 `커피땅콩바`
- NEW 사이즈와 디자인 너무 좋은데 딱 한가지 개인적으로 아쉬운 점은 전원버튼과 인아웃 단자들이 짧은 전면에 위치해 있는게 낫지 않나 싶습니다. 짧은 전면은 주로 책상 위에서 사용하고 길게 세운 위치는 주로 책상 아래에 두기 때문에 단자들의 위치가 책상에서는 전면을 책상 아래에서는 윗면을 향하는게 편의성에서 좋지 않을까... 관련 글 리안리 B4-mATX : 21.3L의 컴팩트함 그리고 모듈형 설계의 유연함
- HOT 래플이벤트 당첨 축하드려요. 관련 글 컴퓨존에서 기쁜소식이~
- NEW 무선 가성비 모델에 LDAC이 체감이 진짜로 되나요? 관련 글 요즘 10만원대 이어폰이 이 정도라고? 앤커 사운드코어 P42i 리뷰구독자 이벤트
- HOT 그렇군요 관련 글 이제 중고나라에서 물건 못 팔겠네요...=_=;;;
