인간·AI·증명 보조기 결합, 크누스의 '클로드 사이클' 문제 해결

도널드 크누스가 제안한 '클로드 사이클' 문제에 인간 연구자, AI, 증명 보조기를 결합한 새로운 연구 결과가 공개되어 화제입니다.