AI가 나비에-스토크스 문제를 풀었다는 것의 의미
원제 After Math
102 포인트댓글 83
Key Point
형식적으로 증명되었다고 해서 수학의 진정한 진전이 이루어지는지, AI 시대 수학의 역할이 어떻게 재정의되어야 하는지를 다루는 근본적인 질문이기 때문이다.
핵심 요약
- OpenAI는 2026년 9월 밀레니엄 상금 문제 중 하나인 나비에-스토크스 존재성과 정칙성 문제의 해를 제시했다고 발표했다.
- AI가 제출한 것은 Lean 형식 증명과 비형식 증명 원고인데, 이는 논리적 증명(기계적 검증 가능)의 기준은 충족하지만 수학자가 원하는 이해 가능한 증명은 아닐 수 있다.
- 논리적 증명과 이해 가능한 증명은 역사적으로 함께 진행되었으나, AI로 인해 형식 증명만 남고 수학적 통찰력 없는 증명이 생겨날 수 있다.
- 수학은 문제 해결만이 아니라 새로운 개념 개발, 이론 구축, 질문 제기, 커뮤니티 형성, 아름다움 추구 등 훨씬 광범위한 활동이다.
- AI가 수학 문제를 '해결했다'는 서사는 수학이 단순히 문제 풀이이며 형식적 답만 중요하다는 두 가지 잘못된 가정에 기반한다.