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