NEAR AI Lean agent solved ALL problems in Putnam Bench at 1/250 the cost of the second cheapest submission. $111 for 672 problems from the h…
DGX agentNEAR AI Lean agent solved ALL problems in Putnam Bench at 1/250 the cost of the second cheapest submission. $111 for 672 problems from the hardest undergraduate math competition in the world. Fully op