처녀 과잉사고 언어 모델 대 차드 선형 회귀.아마도 증명자를 이용해 시도해 보았어야 했을 겁니다. 괴델/시드/딥시크-증명자는 대중의 관심을 끌지는 못했지만 잠재적으로는 덜 나빴을 수도 있습니다.