AI 시대 수학자에게 필요한 것은 '자아를 내려놓는 것'
Key Point
AI가 수학 증명을 만들어내기 시작하는 시점에서, 수학자가 추구해야 할 가치가 결과 생산과 개인 능력 증명에만 있는지를 근본부터 물음으로써 학문의 목적을 재정의하는 시도이다.
핵심 요약
- 수학이 인간의 창작물인가 아니면 독립적으로 존재하는 진리인가 하는 근본적 질문이 AI 발전과 함께 재현되고 있다.
- 수학의 발견은 수동적으로 보이지만, 고생물학자가 화석을 찾을 때처럼 이미 존재하는 것을 능동적으로 탐색하는 과정이며, 수학자가 만드는 개념과 틀은 그 진리를 인식하기 위한 수단이다.
- 정의를 도입한 후 예상 밖의 연결이 드러나거나 예상이 반례에 부딪힐 때처럼, 우리의 사고가 자유롭게 결정하지 않은 독립적 질서와 만난다.