NEAR AI Agent Solves Putnam Math Problems for Just $111

NEAR AI recently showcased a new Lean agent that successfully tackled every problem from the Putnam competition. The total cost to run these solutions was only $111. This result is significant because it is 250 times cheaper than what competing AI systems typically spend to achieve the same results.

The Putnam competition is known for its extreme difficulty in higher mathematics. By completing these tasks efficiently, NEAR AI is proving that high level computational power does not have to be expensive. This breakthrough could lower the entry barrier for researchers and developers who need advanced logic and reasoning tools.

This development is a win for the efficiency of open AI models. As the market looks for ways to lower the heavy costs associated with artificial intelligence, finding cheaper ways to solve complex theorem proofs marks a shift in how these tools are built and deployed.

Investors and tech enthusiasts should watch how this technology integrates into the broader ecosystem. If these cost savings translate to other areas of development, it may change how projects prioritize their research budgets and AI workflows in the coming months.