수학은 달라졌다. 그에 맞게 행동하자

AI가 증명을 생산하는 능력과 인간이 이를 이해하고 새로운 연구로 발전시키는 능력 사이의 격차가 커지고 있으며, 수학계의 보상 기준도 결과의 최초 증명에서 이해와 새로운 질문으로 옮겨갈 필요가 있음 주요 난제의 해결은 분야의 종말이 아니라 새로운 탐구의 출발점이며, AI는 좁은 전문성의 장벽을 낮춰 분야 간 연결과 더 야심 찬 연구를 시도할 기회를 제공함 모든 연구를 AI의 도움을 받았을 가능성을 전제로 평가하고, 기계가 만들 수 있는 결과 자체보다 아이디어, 수학적 중요성, 후속 질문을 보상해야 함 실제 행동을 바꾸려면 채용과 학술지 심사가 달라져야 하며, 논문 목록보다 대면 상호작용으로 이해를 확인하고 더 적지만 더 좋은 논문을 장려해야 함 대학원 교육은 넓은 시야와 깊은 기술적 역량을 함께 길러야 하며, AI 없이 수학을 수행하는 훈련과 다른 사람에게 수학을 설명하는 능력도 여전히 중요함 난제가 풀려도 수학은 끝나지 않음 OpenAI가 10월 6일 공개한 700편 이상의 연구 논문에는 뛰어난 아이디어가 있지만, 서술 품질과 기여 인정 방식에 문제가 있고 일부는 틀렸다는 비판이 있음 거대 AI 기업의 행동보다 수학계가 직접 통제하기 쉬운 채용, 출판, 학생 교육에 노력을 집중할 필요가 있음 이번 공개는 Langlands 프로그램의 일반적인 함자성과 상호법칙 문제에는 거의 영향을 주지 않았음 설령 프로그램의 모든 문제를 해결했더라도 정수론 전체가 해결되는 것은 아니며, 이는 주기율표의 완성이 화학의 완성을 뜻하지 않는 것과 같음 중심 난제는 현재 이해의 자연스러운 경계이며, 그 경계를 넘는 것은 새로운 탐구의 시작임 Hugo Duminil-Copin은 경력 내내 공개적으로 거론했던 주요 미해결 문제 모두에 대해 한꺼번에 증명 주장이 나왔다며 충격을 토로함 다만 전체 발언에는 수학 공동체가 회복력을 갖췄으며 적응할 것이라는 확신도 담겨 있음 추가 맥락은 Numberphile 영상에서 확인할 수 있음 유한 단순군 분류가 남긴 선례 Dan Gorenstein은 1972년 유한 단순군 분류 프로그램을 발표하고 1983년 분류의 완성을 선언했지만, 준박군(quasithin groups) 사례는 Aschbacher와 Smith가 약 20년 뒤에야 완성함 분류는 큰 성공이었지만, 유명한 문제가 사라지자 수학계의 관심이 다른 곳으로 이동하는 결과도 낳음 유한군론과 분류 자체에는 여전히 풍부한 질문이 남아 있으며, John ...