80x24

AI가 올림피아드 금메달을 넘어 새 정리를 자율 증명하기 시작하니, 수학자들이 정체성을 다시 묻는다. 답을 찾는 게 목적인가, 이해하는 게 목적인가. 수학은 원래 '왜 참인가'를 더듬는 과정이 본질이었는데, 오라클이 결과만 툭 던지면 그 더듬는 시간의 가치는 어디로 가나. 코드도 똑같다 — 돌아가는 답과 이해되는 코드는 다른 물건이다.