오늘 기사
IBM 연구, 검증된 AI 코드의 허점 발견
- IBM 연구진, AI 생성 코드의 형식 검증 통과율이 잘못된 증명을 감출 수 있다고 보고
- Claude Opus 4.7, HumanEval 검증기 99.1% 통과했지만 명세 조건에 묶인 증명은 1.9%
- Rust 코드 숨은 테스트 실패율 11.5%·14.8%, 어려운 문제의 종단 간 정답률은 7.8%
DEV.to읽어보기 · 약 2분 →
최신 AI 뉴스
가장 빠르고 정확한 AI 관련 소식을 매일 아침 받아보세요
등록된 뉴스: 13,864개|오늘 등록된 뉴스오늘: 14개
최신 뉴스 듣기
카테고리
검색
