Amateur armed with ChatGPT solves an Erdős problem
개요
아마추어 연구원 Liam Price가 ChatGPT를 활용하여 60년 동안 해결되지 않았던 폴 에르되시(Paul Erdős)의 수학 문제를 해결했으며, AI가 기존에 인간이 생각하지 못한 새로운 접근 방식을 제시했다.
주요 내용
- Liam Price는 수학 훈련이 없는 23세 아마추어 연구원으로서 ChatGPT Pro를 사용하여 폴 에르되시의 난제 중 하나를 해결했다.
- 이 문제는 60년 동안 많은 저명한 수학자들이 도전했으나 해결하지 못했으며, AI가 기존과는 다른 새로운 증명 방식을 제시했다는 점에서 주목받고 있다.
- 해결된 문제는 '원시 집합(primitive sets)'과 관련된 것으로, 집합 내의 어떤 두 수도 서로 나누어지지 않는 정수 집합을 의미한다.
- 폴 에르되시는 원시 집합의 '에르되시 합(Erdős sum)'이라는 점수를 정의하고, 그 최댓값을 약 1.6으로 추정했으며, 이는 리히트만(Lichtman)에 의해 증명되었다.
- 에르되시는 또한 집합 내 숫자가 커질수록 에르되시 합이 1로 수렴한다는 추측을 남겼으나, 이를 증명하는 데 실패했다.
- ChatGPT는 이 문제에 대해 기존에 사람들이 시도했던 방식과 다른, 다른 수학 분야에서 알려진 공식을 적용하는 새로운 접근 방식을 제시했다.
- AI가 생성한 증명 자체는 명확하지 않아 전문가의 해석이 필요했지만, 핵심적인 통찰력을 제공했다.
- 테렌스 타오(Terence Tao)와 자레드 리히트만(Jared Lichtman) 등 전문가들은 이 AI의 증명 방식이 큰 수와 그 구조를 이해하는 새로운 방법을 제시하며, 향후 더 넓은 분야에 응용될 가능성이 있다고 보고 있다.
시사점
AI가 기존의 인간적 사고방식에서 벗어난 독창적인 문제 해결 방식을 제시하며, 수학뿐만 아니라 다양한 과학 분야에서 새로운 통찰력과 응용 가능성을 열어줄 수 있음을 시사한다.
원문을 불러오는 중...
댓글
GitHub Discussions