AI가 수학을 할 때, 수학자가 된다는 것의 의미

이 기사는 AI 시대에 수학 작업의 변화하는 본질에 대해 성찰합니다. 응용수학 박사과정을 밟았던 저자는 자신의 과거 고군분투를 회상하며, 이제 순수수학자들이 소중히 여기는 이해에 이르는 긴 여정의 가치를 깨닫습니다. Google DeepMind의 Aletheia가 출판 가능한 연구를 생산하고, OpenAI의 시스템이 조합기하학의 추측을 반증하는 등 최근 AI의 성과는 이전에는 인간만의 고유한 작업으로 여겨졌던 일을 AI가 처리할 수 있음을 시사합니다. Isabelle, Lean, Rocq 같은 증명 보조 도구는 LLM(대규모 언어 모델)과 결합하여 형식화를 자동화하고 있습니다. 하이델베르크 로렌츠 포럼에서는 AI가 수학자를 대체할 가능성에 대한 논의가 있었으며, 양휘헤(Yang-Hui He) 같은 일부는 인간을 '오라클의 사제'로 구상하는 반면, 필즈상 수상자 Akshay Venkatesh와 Maia Fraser를 포함한 다른 이들은 이해의 인간 중심적 가치와 집단 지성의 아름다움을 강조합니다. Terence Tao는 인간과 AI가 협력하는 접근 방식을 지지합니다.