아마추어가 AI로 수학 난제를 풀다

현상

수십 년간 미해결 상태였던 에르되시(Erdős) 문제 하나가, 수학자가 아닌 아마추어에 의해 풀렸다. 라이엄 프라이스(Liam Price)는 GPT에 단 한 번의 프롬프트를 넣어 해법을 얻었고, 그 결과물을 erdosproblems.com에 올렸다. 이후 수학자들이 검토했고, 해법은 유효한 것으로 받아들여졌다(GeekNews). primitive set의 에르되시 합(Erdős sum) 최솟값이 1이고 원소가 무한대로 갈수록 그 값에 수렴한다는 오래된 문제였다.

해석

신호는 하나다. 한 번의 프롬프트, 비전문가, 수십 년 묵은 난제. 이 세 가지가 만났을 때 어떤 일이 벌어지는지 이 사건은 보여준다.

패턴으로 묶으면, 이는 AI가 '도구'에서 '사고 파트너'로 넘어가는 경계선에서 벌어지는 일이다. 코딩 보조, 문서 요약, 초안 작성 — 이것들은 기존 역량의 증폭이다. 그러나 난제 해법 생성은 다르다. 전문가 공동체가 수십 년간 축적해온 맥락 없이도, 해법의 '초안'에 도달하는 경로가 열렸다는 뜻이다.

그러나 이면에는 중요한 비대칭이 있다. 해법을 만든 것은 AI였지만, 그것이 맞는지 판단한 것은 수학자들이었다. 생성과 검증은 분리된 레이어로 남아 있다. 이 구조가 의미하는 바는 명확하다. AI가 해법 공간을 탐색하는 속도를 높이는 동안, 검증과 판단의 역할은 오히려 더 전문화된 인간의 손으로 남는다. 전문성이 사라지는 게 아니라, 전문성이 쓰이는 지점이 이동하는 것이다.

이면을 더 들여다보면, 이런 종류의 '해법'