來自 Alexander Doria（@Dorialexander）的推文串

Nous 發布了一款非常棒的全新數學證明器，它結合了開放的專業模型和代理管道，但其價值卻被低估了：僅使用 30 億個活躍參數即可獲得強大的 Putnam 分數。