来自 Alexander Doria（@Dorialexander）的推文线程

Nous 发布了一款非常棒的全新数学证明器，它结合了开放的专业模型和代理管道，但其价值却被低估了：仅使用 30 亿个活跃参数即可获得强大的 Putnam 分数。