필즈상 수상자 Deng Yu는 AI에 대해 다음과 같이 말합니다. AI는 수학적 증명에 도움이 될 수 있지만 독립적인 사고를 대체할 수는 없습니다.

7월 24일 2026년 필즈상 수상자이자 시카고대학교 교수인 덩위는 최근 한 인터뷰에서 이렇게 밝혔다.그는 수학 연구에 AI 보조 도구를 사용하고,GPT는 며칠 동안 돌파에 실패한 특별한 수학 사례를 해결하는 데 도움을 준 적이 있습니다.

Deng Yu는 AI를 사용하면서 "많은 연구 링크가 훨씬 더 편리해졌다"는 느낌을 받았다고 말했습니다. 기본적으로 사실이라고 확신하는 몇 가지 간단한 결론에 대해서는 AI가 증거를 제시하고 확인하도록 할 것입니다. AI는 때로는 특정 조합 계산 문제에 해당하는 기존 구조나 표준 결론 등 자신이 모르는 지식을 보완할 수 있습니다.

덩위는 최근 작품에서 며칠 연속으로 풀지 못한 주요 명제의 특별한 경우가 있었다고 밝혔다. GPT는 매우 간단한 증명을 제공하고 특별한 경우를 신속하게 해결했습니다. 이 증명은 일반적인 상황으로 일반화할 수 없고 최종 논문에 포함되지 않았지만 귀중한 아이디어를 제공합니다.

덩유가 말했다.AI가 최종 증명을 직접 완료할 수 없더라도 연구자가 현지 경로를 빠르게 탐색하는 데 도움이 될 수 있습니다.. 그는 앞으로 더욱 성숙한 협업 방식을 기대합니다. 인간 연구원이 전체 프레임워크와 핵심 아이디어를 담당하고, AI가 일부 기술적 파생을 완료하는 데 도움을 줍니다. 하지만 그는 이제 막 과학 연구에 입문한 학생들도 이를 사용할 때 판단력을 발휘해야 한다고 강조했습니다.”AI가 겉보기에 완전한 주장을 한다고 해서 독립적인 판단과 엄격한 검증이라는 필수 단계를 건너뛸 수는 없습니다.".