AI, 필즈상 프로젝트 증명 5일 만에 끝내… 머리 복잡해진 수학계

[동아일보] 동아일보 글자크기 설정 인간 연구팀 2년 넘긴 증명 과제 AI는 5일 만에 형식화 작업 완료 현재 졸업 앞둔 박사과정생 실력… “인간, 증명하며 배울 기회 뺏겨” 수학계 노벨상으로 불리는 필즈상 수상자 연구팀이 2년 넘게 공개적으로 진행하던 수학 증명 형식화 프로젝트를 인공지능(AI)이 단 5일 만에 끝냈다. 수학자들은 AI 발전 속도에 놀라움을 감추지 않으면서도 ‘복잡한 속내’를 내비친다. 문제 해결보다 연구자들이 직접 증명을 따라가며 이해하고 수학 지식을 쌓는 과정 자체도 중요하기 때문이다. 원문: https://www.donga.com/news/It/article/all/20260619/134139596/2