클로드, 괴델 노트서 정리 후보 663건 추려…Coq서 약 400건은 제시된 형태로 검증
헬싱키대 괴델 에니그마를 이끄는 논리학자 얀 폰 플라토는 노트 필사본과 연구 자료를 바탕으로 Claude가 괴델의 정리 후보 663건을 추렸다고 Guardian에 밝혔습니다. 증명 아이디어 단계도 포함한 후보를 Coq으로 점검해 약 400건은 제시된 형태로, 약 200건은 명제 수정이나 가정 추가 뒤 검증했고 약 50건은 거짓으로 분류했습니다.
최신기사
AI, 개발 도구, 오픈소스, 보안과 인프라의 변화와 이용 조건을 설명하는 최신 기사와 해설입니다.