Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery
Author
- Haebom
Category
Empty
저자
Syed Rifat Raiyan, Mohsinul Kabir, Hasan Mahmud, Md Kamrul Hasan, Sophia Ananiadou
💡 개요
이 논문은 인공지능(AI)을 활용한 수학적 추론 분야의 발전을 포괄적으로 조사합니다. 언어 모델, 신경-기호 시스템, 검증된 발견 워크플로우 등을 포함하는 다양한 접근 방식의 진화 과정을 분석하고, 비공식 및 공식 추론, 수학적 발견, 학습 및 추론 기술을 네 가지 주요 축으로 분류합니다. 주요 성과는 현재까지 개발된 다양한 방법론과 벤치마크, 그리고 AI 기반 수학 추론의 현재 상황과 향후 전망을 체계적으로 제시했다는 점입니다.
🔑 시사점 및 한계
•
AI는 비공식 텍스트/다이어그램 기반 추론부터 형식 증명 지원, 수학적 발견에 이르기까지 수학적 추론의 다양한 측면에서 중요한 진전을 이루었습니다.
•
CoT 프롬프팅, 도구 사용, 강화 학습과 같은 기술은 생성과 검증을 연결하는 데 중요한 역할을 하며, 이는 AI 시스템의 수학적 능력을 향상시키는 데 기여했습니다.
•
현재 AI 수학 추론 시스템은 입력 변화에 대한 취약성, 보상 해킹, 다중 모달 정보 통합의 어려움, 에너지 소비량 등의 한계를 가지고 있으며, 향후 연구는 이러한 문제 해결과 효율성 증대에 초점을 맞춰야 합니다.
