|
중국 의사, 챗GPT 활용해 20년 수학 난제 풀었다
14일 홍콩 사우스차이나모닝포스트(SCMP)에 따르면 베이징협화병원 박사후 연구원의자 신경외과 전공의인 진산무는 최근 수학계의 오랜 난제였던 '크루제 추측' 증명에 성공했다.
수학 비전공자인 그는 뇌 초음파 연구 과정에서 발생한 문제를 해결하기 위해 수학을 공부하기 시작했다. 이 과정에서 뜻밖에 크루제 추측 증명에 성공한 것. 진산무가 활용한 도구는 오픈AI의 최신 추론형 AI(인공지능) 모델인 'GPT-5.6-Sol'이다. 그는 챗GPT 워크 플랫폼에서 AI 모델을 약 16시간 동안 실행하며 문제 해결의 실마리를 찾았다.
크루제 추측은 프랑스 수학자 미셸 크루제가 2004년 제기한 문제로 행렬에 함수를 적용했을 때 결과값의 크기가 특정 범위를 넘지 않는다는 내용을 담고 있다. 수치 선형대수학 분야의 대표적인 난제로 꼽혀왔으며 세계 수학자들이 오랫동안 해결을 시도해왔다.
이번 성과는 미국 코넬대학교 수학자 알렉스 타운젠드와 워싱턴대학교 교수 앤 그린바움이 공개한 이메일 교류를 통해 알려졌다. 타운젠드는 1년 넘게 GPT 모델에 해당 문제 해결을 요청해왔고 지난 달 30일 AI가 온라인에 공개된 진산무의 논문을 찾아내면서 돌파구가 마련됐다. 이어 타운젠드와 그린바움, 그리고 문제를 제시한 크루제 본인까지 논문을 검토한 결과 증명이 올바르다는 데 동의했다. 다만 해당 논문은 아직 정식 동료평가 절차를 거치지는 않았다.
진산무의 이력도 화제다. 그는 대학에서 지질학을 전공한 뒤 의학으로 진로를 바꿨으며 수학 분야의 전문 교육을 받은 연구자가 아니다. 기본적인 학부 수학 교육을 받은 이후 대부분 독학으로 공부한 것으로 알려졌다.
SCMP는 이번 사례가 AI가 단순한 계산 도구를 넘어 과학 연구의 새로운 보조 수단으로 자리 잡고 있단 점을 보여줬다고 평가했다. 최근 오픈AI는 자사 AI 모델이 80년 된 수학 문제를 해결했다고 밝혔고 앤트로픽도 클로드 모델이 리만 가설과 관련된 연구에서 예상 밖의 진전을 보였다고 공개했다.
베이징(중국)=안정준 특파원 7up@mt.co.kr
Copyright ⓒ 머니투데이 & mt.co.kr. 무단 전재 및 재배포, AI학습 이용 금지.
|
|