LLM, 수학 난제 야코비 추측(Jacobian Conjecture) 반례 생성 성공

커뮤니티에서는 Claude Fable이 야코비 추측(Jacobian Conjecture)에 대한 반례를 생성했다는 사실 자체에 주목하고 있습니다. 한 사용자는 Claude Code에 해당 정보를 입력했을 때 7가지 다른 방식으로 결과를 검증하며 놀라움을 표했다고 언급했습니다. 이는 LLM이 단순한 정보 나열을 넘어 수학적 논리를 이해하고 검증하는 능력을 보여준다는 점에서 고무적이라는 평가입니다.

야코비 추측은 특정 함수의 역함수 존재 여부에 관한 것으로, 반례는 다중 입력이 동일한 출력을 생성하여 역으로 원본 입력을 특정할 수 없다는 점을 보여줍니다. 이는 추측의 근간을 흔드는 것으로, 일부에서는 1997년 대학원생 수준의 컴퓨터 검색으로도 찾을 수 있었을 법한 반례라는 점에서 놀라움을 표하기도 합니다. 이 반례는 추측이 실수(Real numbers) 필드에서는 성립하지 않을 가능성을 시사합니다.