수학

필즈상 수학자 테런스 타오가 철학자 Tanya Klowden과 함께 AI 시대 수학의 본질에 관한 논문을 내놨다. “수학이란 무엇인가"라는 오래된 질문을 AI가 증명을 생성하고 검증하는 시대에 다시 꺼낸 것이다. 핵심 요약 수학적 감각(mathematical “smell”): 경험 많은 수학자가 논증을 검증하기 전에 느끼는 직관적 신뢰도. Thurston이 ‘smell’이라 부른 이 감각은, AI 생성 증명에는 없을 수 있다. 코페르니쿠스적 전환: 인간 지능을 유일한 인지 중심이 아니라 “여러 인지 형태 중 하나"로 재정의하는 관점 전환을 제안한다. 형식화의 분업: 정리의 서술은 인간이, 증명의 검증은 자동화 도구에 맡기는 분업이 현재로선 최선이다. 학생 AI 지침: “적팀(red-team)” 방식, 즉 자신의 풀이를 AI에 검토 맡기는 용도는 권장. 스스로 풀 수 없는 문제의 답을 AI에 직접 요청하는 것은 학습을 저해한다. 꼬리 위험 분석: AI 존재 위험에 예상값(expected value) 분석을 쓰는 것은 부적절하다. 확률 모형이 안정적이지 않기 때문이다. 증명에도 감각이 있다 수학자 William Thurston이 처음 꺼낸 개념에서 출발한다. 그는 경험 많은 수학자가 증명의 모든 줄을 검증하기 전에 그 논증이 맞는지 틀렸는지를 직관적으로 느낀다는 사실에 주목했다. Thurston은 이 즉각적·전언어적 인지 감각을 일부러 ‘smell(냄새)‘이라 불렀다 — 세련된 미적 감각이 아니라, 뭔가 이상하면 코부터 찌르는 그 날것의 감지 능력을 뜻하기 때문이다. Tao는 같은 개념을 “인과적 내러티브"라는 말로도 표현한다. 좋은 증명은 결론이 왜 성립하는지, 어디가 핵심인지를 드러낸다. ...