OpenAI가 오래된 수학 난제의 AI 생성 해법을 담은 원고 722편을 최근 공개했다. 논문은 지난주 일반에 공개됐다. 수학자들은 결과가 한꺼번에 쏟아져 이를 확인하는 데 수년이 걸릴 수 있다고 말하며, 명확한 추론 과정이 부족해 후속 연구의 토대로 삼기 어렵다는 우려를 나타냈다.
수학계가 우려하는 이유
증명을 만든 AI 모델의 이름은 공개되지 않았지만, 분석가들은 이미 주장들을 검증하려 하고 있다. 전문가들은 프롬프트에서 최종 답으로 건너뛰고 중간 과정을 보여주지 않는 해법은 통찰을 거의 제공하지 못한다고 지적한다. 결과가 어떤 과정을 거쳐 나왔는지 알 수 없다면, 연구자들은 새로운 이론을 발전시키거나 해당 결과를 후속 연구의 토대로 활용할 수 없다.
왜 중요한가
학생, 엔지니어, 과학자 등 수학 연구에 의존하는 사람들에게 검증되지 않은 증명이 갑자기 쏟아지면 각 결과에 사람의 꼼꼼한 확인이 필요해 연구 진척이 늦어질 수 있다. 또한 AI가 내놓은 발견을 어떻게 신뢰하고 실제 응용에 활용할지를 둘러싼 의문도 제기된다.
