Alex Skidanov Posts NEAR AI Putnam Bench Results

Alex Skidanov, co-founder of NEAR Protocol, posted on X that a NEAR AI Lean agent solved all problems in Putnam Bench. He wrote that the run cost $111 for 672 problems from the undergraduate math competition and that this figure equals one two-hundred-fiftieth the cost of the next-cheapest submission. The post includes a screenshot of a leaderboard titled Lean all 672 and states the agent is fully open source.