Math accountant AI가 생성한 증명을 검토하고 오류를 찾는 감사 역할로 변모한 수학자의 처지 용례 "회계사가 되는 것과 비슷하며, 감사하고 확인하는 일이 된다" - OpenAI 및 Anthropic의 수학적 돌파구와 학계의 정체성 위기: '검증자'로 전락한 수학자의 공포
