[이 글은 Grant Sanderson의 게스트 포스트입니다. 이 블로그 게시물은 원래 다른 파일 형식으로 작성되었으며 AI를 사용하여 변환되었습니다. — T.] 현재 수학계 전반에 울려 퍼지는 한 가지 정서는 수학자들의 진정한 목표인 […]에 대한 대리 역할을 문제 해결과 증명 생성이라는 것이 항상 수행해 왔다는 것입니다.