필즈상 수상자의 인공지능 수학 연구 능력 입증

주장필즈상 수상자인 티모시 가워스 교수는 인공지능 모델인 챗GPT 5.5 프로가 인간의 개입 없이 박사 수준의 수학 연구를 수행했다고 발표했습니다. 그는 인공지능이 기존 수학적 경계값을 개선하는 등 독립적인 추론 능력을 증명했다고 평가했습니다.

팩트가워스 교수는 멜 나탄슨의 논문에 등장하는 정수 합 집합 관련 난제를 해당 모델에 입력했습니다. 챗GPT 5.5 프로는 17분 5초 만에 기존 지수적 경계값을 이차적 경계값으로 개선하는 최적의 구성을 제시했습니다.

팩트모델은 아이작 라자고팔의 연구를 바탕으로 한 더 어려운 문제에서도 31분 40초 만에 지수적 경계값을 다항식 경계값으로 개선했습니다. 라자고팔은 이 아이디어가 매우 독창적이며 인간 수학자가 수주간 고민해야 나올 법한 수준이라고 평가했습니다.

팩트챗GPT 5.5 프로는 수학적 증명을 라텍 프리프린트 형식으로 작성하는 데 2분 23초를 사용했습니다. 가워스 교수는 인공지능이 생성한 결과물의 정확성을 검증했으며, 관련 변형 문제까지 성공적으로 해결했음을 확인했습니다.

팩트과거 GPT-5 모델은 에르되시 문제 해결 과정에서 기존 문헌의 답을 단순히 추적하는 수준에 머물렀습니다. 그러나 GPT-5.4 프로 이후부터는 자율적으로 난제를 해결하는 단계로 진입하며 생성형 인공지능이 논리적 추론 영역으로 깊숙이 침투했음을 보여줍니다.

주장가워스 교수는 수학 연구의 새로운 기준이 인간이 풀지 못한 문제를 푸는 것이 아니라, 인공지능이 풀 수 없는 문제를 증명하는 것으로 바뀔 것이라고 전망했습니다. 그는 앞으로 수학 연구가 인공지능과의 협업을 통해 완전히 다른 형태로 변화할 것이라고 강조했습니다.

주장테렌스 타오 교수 역시 과거 인공지능을 다소 무능한 조수로 평가했으나, 최근 챗GPT 5.5 프로의 성과를 보며 인공지능이 주도하는 산업 규모의 수학 연구 시대를 예견합니다. 이는 소수의 수학자가 수년간 매달리던 방식에서 대규모 팀과 인공지능이 협력하는 방식으로의 전환을 의미합니다.

교차검증구글 딥마인드의 인공지능 에이전트 알레테이아는 700개의 수학 난제를 풀었으나, 실제 사용 가능한 결과는 6.5퍼센트에 불과했습니다. 테렌스 타오 교수는 모든 난제가 인공지능의 능력을 증명하는 것은 아니며, 난이도에 따라 결과의 가치가 다를 수 있다고 지적했습니다.

교차검증인공지능이 수학적 난제를 해결하더라도 인간이 직접 문제를 풀며 얻는 통찰력과 문제 해결 과정의 경험은 여전히 중요합니다. 가워스 교수는 인공지능이 기술적 작업을 대신하더라도 인간이 주도적인 역할을 하지 못한다면 이를 온전한 수학적 성취로 보기 어렵다고 경고했습니다.

출처더 디코더의 보도 내용을 바탕으로 필즈상 수상자의 인공지능 수학 연구 성과를 교차 검증했습니다.