수학 문제풀이 AI를 개방형 연구 에이전트로 바꾸려면 작성: 유지율 리포터 2026년 07월 11일 03시 21분 0 형식 증명 모델이 미지의 정리와 열린 추측을 다루려면 데이터·탐색·도구·협업을 다시 설계해야 한다는 입장문이다.
