통합검색

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory

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

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

함께 움직였다고 원인이라고 말할 수 있을까?

두 값이 함께 변한 관찰과 하나의 조건을 실제로 바꾸었을 때 생기는 차이를 공통 원인 그림으로 구분합니다.

인공지능(AI) 심사위원에게 답의 순서를 바꿔 보여 주면?

A→B 순서에서는 A를, B→A 순서에서는 B를 고르는 가상 위치 우선 심사. 두 판정은 같은 답을 지지하지 않는다.