Anthropic, AI로 페르마의 마지막 정리를 11일 만에 증명
Anthropic의 Claude AI가 11일 만에 페르마의 마지막 정리에 대한 1,300만 줄 분량의 증명을 만들어내며, 새로운 수학 발견에서 AI의 잠재력을 보여주었습니다.
anthropic의 claude AI 시스템이 단 11일 만에 fermat의 마지막 정리를 형식적으로 증명하는 데 성공했습니다. 이 증명은 1,300만 줄의 코드로 구성되어 있으며, 컴퓨터 검증을 거쳤습니다. 이번 성과는 수학 연구와 발견에서 AI가 지닌 잠재력을 보여줍니다. 수학 분야에서 AI를 활용하면 발견의 속도를 높이고 새로운 통찰을 제공하는 데 도움이 될 수 있습니다. 정수론의 기본 개념인 fermat의 마지막 정리는 1637년 pierre de fermat에 의해 처음 제안되었습니다.