참고X
NEAR AI, 'Lean Eval v1' 벤치마크 1위 달성
고난도 수식 검증 벤치마크 1위 달성. 오픈 가중치 모델로도 전문 영역 성능 확보 가능함을 입증.
요약
NEAR AI가 고난도 형식화 문제 벤치마크인 Lean Eval v1에서 1위를 달성했습니다. 해당 시스템은 오픈 웨이트 모델인 DeepSeek V4.1 Flash를 기반으로 구동되어 낮은 비용과 높은 자율성을 확보했습니다. 제3자 모델에 대한 의존성 없이 운영된다는 점이 특징입니다. 이번 성과는 NEAR Protocol과 핵심 컨트랙트에 대한 형식 검증(formal verification)의 기반을 마련했습니다. 향후 모든 개발팀이 자체 검증 도구로 활용할 수 있는 기술적 토대가 될 전망입니다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @NEARProtocol: NEAR AI is now #1 on Lean Eval v1, Lean FRO's active benchmark of extremely hard formalization problems. The system runs almost en
원문 보기 ↗