ai가 내놓은 증명을 검토할 수 있는 수준이면

까다로운 에르되시 문제도 시도할만한듯?

- dc official App