Alexander Doria（@Dorialexander）のスレッド

私はベンチマックスには興味がないので、評価を控えめにしてきましたが、コード以外のもの（数学を含む）では SOTA を達成しています。

モナドは不在でも SOTA です。

今、私は本当に小さな数学証明器を作りたいと思っています。信じられないかもしれませんが、既存のパイプラインは大幅に改善される可能性があります。