AI가 수학 증명을 쏟아내자, 수학자들은 '로맨틱 시대의 종말'을 고백했다
The Chalk and the Airplane
Terence Tao는 수학이 '증명의 희소성'에서 '증명의 풍요' 시대로 넘어가며, 증명은 넘치지만 그에 따르는 이해는 얻지 못한다고 말한다. AI 증명에 대한 수학자들의 반응은 예절과 존중 요구, 펀딩 상실에 대한 공포, 영적 위기, 겸손으로 갈린다. 1976년 컴퓨터를 이용한 사색 정리 증명 때도 '신탁'이라며 거부감이 일었지만, 이번에는 규모의 변화가 학문의 정체성 자체를 흔든다.
나는 점점 미쳐가고 있다. 지난 한 주 동안 LLM이 오래된 중요한 추측들에 대한 반례를 여러 개 만들어냈다…. 나는 이런 전개 때문에 깊은 영적 위기를 겪고 있다.