인공지능과 수학에 관한 Leiden Declaration

수학 연구에서 **인공지능(AI)**의 역할이 확대됨에 따라, AI 시스템이 수학적 연구 관행에 미치는 영향을 다루는 Leiden Declaration이 발표되었습니다. 이 선언은 2025년 라이덴 로렌츠 센터(Lorentz Center) 워크숍과 국제 연구진의 자문을 거쳐 작성되었습니다.

주요 우려 사항:

• **증명 형식화(Formalisation of proofs)**를 포함한 AI의 수학적 활용 방식.
• 자동 생성된 결과물의 신뢰성 문제.
• 학습된 **독점 모델(Proprietary models)**을 사용해 도출한 결과의 저작권 및 기여도 인정 문제.
• 새로운 도구가 출판 관행 및 **동료 검토(Peer review)**에 미치는 영향.

대상별 권고 사항:

• 연구자: AI 도구 사용 공개, 결과의 정확성에 대한 책임, 적절한 인용 수행.
• 전문 기관 및 기금 지원 기관: 출판 및 검토 시 AI 사용에 관한 정책 수립 및 기존 검증 표준 유지.
• 정책 입안자: 규제, 공공 인프라 투자, AI 시스템의 성능 주장을 평가하기 위한 전문가 조언 활용.