근데 이건 공리적인거고 진짜로 이걸 자동증명으로 써먹으려면 ai의 기술이 필요한데 이게 제일 관건인듯


이게 잘 풀리기만 하면 인간에 의한 수학증명은 끝임