NEAR AI reported that its automated agent solved 672 Lean problems from the PutnamBench benchmark at a total submission-time model cost of $111.85, averaging approximately $0.17 per problem.