NEAR AI’s Lean agent solves every Putnam problem for $111, 250x cheaper than rivals
Covered by 1 source · 1 article
NEAR AI's breakthrough democratizes access to advanced theorem-proving, potentially accelerating innovation and reducing costs in AI research. The post NEAR AI’s Lean agent solves every Putnam problem for $111, 250x cheaper than rivals appe…
Covered by
