통합검색

학생 100명이 네 반에 묶여 있으면 독립 정보도 100명분일까?

네 반 100명이 반 안에서 닮을 때 설계효과 3.4와 근사 유효 표본 29.4를 계산해 사람 수와 독립 정보량을 구분합니다.

AI가 같은 답을 여러 번 하면 더 믿을 수 있을까?

다섯 번의 보이는 출력과 외부 정답을 나란히 두고, 높은 일치율이 도움이 되는 조건과 같은 오류가 반복되는 경우를 구분합니다.

“유도 질문”이라는 딱지만 붙이면 반박이 끝날까?

오류 이름을 맞히는 일보다 숨은 전제와 대화 맥락을 드러내는 일이 왜 중요한지 질문 설계로 알아봅니다.

Fallacies

아리스토텔레스의 ‘삼단논법’은 오늘의 형식논리와 같은 것일까?

아리스토텔레스의 술로기스모스는 좁은 형식 이름이 아니라 전제로부터 필연적으로 다른 결론이 나오는 연역 전체를 가리켰습니다.

Aristotle’s Logic

정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?

HOList는 HOL Light의 수학 말뭉치를 기계학습 환경과 벤치마크로 공개해 증명 모델을 같은 조건에서 훈련·재생·검증하도록 했습니다.

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving