저는 벤치맥스에 별로 관심이 없어서 평가판을 과소평가해 왔지만, 코드가 아닌 모든 것(수학 포함)에 대해서는 SOTA를 적용합니다.모나드는 부재 시 SOTA이기도 합니다.이제 정말 작은 수학 증명기를 만들고 싶습니다. 믿으시든 말든 기존 파이프라인은 크게 개선될 수 있습니다.