니어AI, 111달러로 수학 672문제 풀이 주장

본문

니어AI(NEAR AI)가 수학 형식증명 벤치마크 풋넘벤치(PutnamBench)의 린4(Lean 4) 문제 672개를 총 111달러(약 15만원)에 풀었다고 주장했다. 수치가 같은 조건에서 재현되면 AI 에이전트의 비용 효율을 보여주는 사례가 될 수... 니어AI가 형식증명 벤치마크 풋넘벤치의 린4 문제 672개를 총 111달러에 풀었다고 밝혔다. 공개 리더보드 반영과 독립 재현 여부가 비용 효율 주장 검증의 핵심이다. 크립토브리핑(CryptoBriefing)은 니어AI의 린 에이전트가 풋넘벤치 전 문항을 풀었고 경쟁 시스템보다 250배 낮은 비용을 기록했다고 전했다. 현재 확인되는 핵심 사실은 니어AI가 672개 문제 완주와 총비용 111달러를 제시했다는 점이다.

니어AI는 2월 아이언클로(IronClaw), 컨피덴셜 GPU 마켓플레이스(Confidential GPU Marketplace), 멀티모달 기밀 추론을 공개하며 에이전트가 계산하고 거래하고 협업하는 인프라를 강조했다.

미스트랄AI(Mistral AI)는 7월 2일 공식 발표에서 린스트랄 1.5(Leanstral 1.5)가 풋넘벤치 587/672를 달성했다고 밝혔다. 미스트랄AI는 같은 발표에서 문제당 약 4달러(약 5400원)의 비용을 제시했다. 로지컬 인텔리전스(Logical Intelligence)는 알레프 프로버(Aleph Prover)가 1월 6일 기준 풋넘벤치 668/672를 풀었고, 해결 문제당 평균 비용이 약 68달러(약 9만1800원)라고 밝혔다. 이 비교만 놓고 보면 니어AI의 총비용 111달러 주장은 눈에 띈다. 현재 쟁점은 가격 전망이 아니라 검증형 AI 인프라가 실제 벤치마크에서 어느 정도 비용 효율을 냈는지, 그리고 그 결과가 독립 재현될 수 있는지다.