Alexander Doria（@Dorialexander）のスレッド

Nous からの素晴らしい新しい数学証明器のリリース。オープンな特化モデルとエージェント パイプラインを組み合わせたもので、さらに売り切れています。わずか 30 億のアクティブ パラメータで強力な Putnam スコアを獲得しました。