통합검색

결과를 알고 나면 처음부터 뻔했다고 느끼는 이유는 뭘까?

Fischhoff의 세 실험은 결과를 안 뒤 그 결과의 사전 가능성과 관련 단서를 높게 재평가하고, 그 영향을 스스로 되돌리기 어렵다는 점을 보였습니다.

Hindsight ≠ Foresight: The Effect of Outcome Knowledge on Judgment Under Uncertainty

전제와 결론은 같은 주제를 공유해야 할까?

관련논리는 전제와 결론 사이의 실제 연결을 형식화하지만, 단어 하나를 공유하는 것만으로 충분하지는 않습니다.

Relevance Logic

인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?

린도조 연구에서 전제 검색, 다음 단계 제안, 형식 검증의 역할을 나눕니다. 증명의 빈칸이 어떻게 드러나는지 살펴봅니다.

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

AI의 상위 3개 추천은 후보 전체의 다양성을 보여 줄까?

후보 풀에서 관련성만으로 고른 상위 목록과 관련성·범주 반복을 함께 본 재정렬 목록이 갈라지는 그림입니다.

닮은 점이 많으면 유추도 강해질까?

창고 A와 보관소 B의 종이 재질은 유사, 내부 구획은 다름, 같은 설비의 효과는 B에서 미확인임을 구분한 대응표.