수학이 철학적으로 보면 우주를 기술하는 언어인데 지금 LLM으로 올림피아드 금상을 타는거면 말다한거지 리만가설도 조만간이라고 봄 AI가 풀듯