[이 글은 Francesco Maggi의 게스트 포스트입니다. 이 블로그 게시물은 원래 다른 파일 형식으로 작성되었으며 AI를 사용하여 변환되었습니다. — T.] 대규모 언어 모델(LLM)과 이를 중심으로 구축된 연구 시스템(일반적으로 “인공지능”으로 알려짐)은 수학적 증명을 생성하는 데 있어 놀라운 능력을 보여주었습니다. 품질과 한계는 [...]