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

토큰포스트 · 2026-09-06 15:24 UTC

니어AI(NEAR AI)가 수학 형식증명 벤치마크 풋넘벤치(PutnamBench)의 린4(Lean 4) 문제 672개를 총 111달러(약 15만원)에 풀었다고 주장했다.

요약은 원문을 바탕으로 AI가 작성했어요. 투자 조언이 아닙니다.

같은 날 다른 소식