Mathematics in the age of AI

테런스 타오가 'AI가 연구급 수학을 할 수 있다고 가정하면, 수학 공동체의 목표와 가치는 무엇인가'를 묻는 에세이다.

이 논문은 한마디로 AI 수학 능력 논쟁을 접어두고, AI가 실제로 연구급 수학을 하게 되었을 때 수학계가 무엇을 지향해야 하는지 따지는 글이다. 증명이 희소에서 풍요로 바뀌면 저널, 동료평가, 업적 평가 같은 기존 제도가 흔들린다고 진단한다. 근거로 퍼스트 프루프 프로젝트에서 10문제 중 7문제를 최소 한 AI 시스템이 통과 성적으로 풀었다는 결과를 든다. 라이덴 선언의 권고처럼 도구 사용 공개와 인간 저자성 유지가 출발점이라고 제안한다.

핵심 요약

• AI 능력 자체를 따지지 않고 'AI가 연구급 수학을 한다'는 가정을 전제로, 수학 공동체가 암묵적으로 밀어온 목표와 가치를 명시해야 한다고 주장했다.
• 퍼스트 프루프 프로젝트 2차 배치에서 10문제 중 7문제가 최소 한 AI 시스템으로부터 사실상 완벽한 수준의 통과 평가를 받았다.
• 해당 평가의 컴퓨터 비용은 문제당 수십에서 수백 달러 수준이었다.
• AI는 측정과 대상 사이 틈을 잘 찾아내서 굿하트 법칙(지표가 목표가 되면 더 이상 좋은 지표가 아니다) 위험이 특히 크다고 경고한다.
• 증명이 넘치는 풍요의 시대에는 증명 생성보다 증명 소화(설명, 심사, 정전화)에 문화의 무게를 옮기라고 제안한다.

논문 링크

외부 연구를 정리한 자료입니다. HDATF가 발표한 논문이나 제품 성능을 측정한 결과는 아닙니다.