"수학계 노벨상 '필즈상' 2030년 인간·AI 공동 수상할 수도"

AI 요약

인공지능(AI)이 새로운 증명 전략을 제시하고 서로 다른 수학 분야를 연결하며 수학적 증명에 실질적으로 기여하기 시작했으며, 아직 대학에 진학하지 않은 리엄 프라이스가 'GPT 5.4 프로'의 도움으로 에르되시 문제 1196을 해결한 사례가 보도됐습니다. GPT·제미나이·클로드 등 범용 LLM은 증명 생성 능력을 빠르게 키우고 있어 연구자들이 2030년쯤 AI와 인간이 공동으로 필즈상을 받을 수도 있다고 전망하는 반면, 현재는 생성 가능한 증명 길이가 3~4쪽에 불과하고 오류가 섞이는 등 검증 부담이 크며 린(Lean) 같은 형식 언어와 구글의 알레테이아·알파프루프 등 검증 도구가 개발되고 있습니다. 연구자 대부분은 당분간 인간 수학자가 주도권을 유지할 것으로 보며, 인간의 이해 없이 결과만 내놓는 방식에 대한 경고도 제기되고 있습니다.