통합검색

선발된 사람만 보면 두 장점이 서로 방해하는 걸까?

서로 독립인 두 강점이 선발자 집단에서 음의 관계로 보이는 계산을 통해, 공통 결과를 조건으로 삼는 선택 편향을 살핍니다.

처음 떠오른 답을 한 번 멈추면 판단이 달라질까?

인지성찰검사는 지식량만이 아니라 유혹적인 첫 답을 점검하는 성향을 포착합니다. 상관과 원인을 구분해 읽습니다.

Cognitive Reflection and Decision Making

미래에 일어날 일과 언젠가 일어날 일은 같은 뜻일까?

시제논리는 ‘언젠가’, ‘항상’, ‘과거에’ 같은 시간 표현을 논리 연산자로 다루며 시간 구조에 따라 추론이 달라짐을 보여 줍니다.

Temporal Logic

인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?

AlphaGeometry는 신경 언어모형의 보조 구성 제안과 기호 추론기의 검증을 결합했습니다. 30문제 성과와 적용 범위를 분리해 읽습니다.

Solving Olympiad Geometry without Human Demonstrations

AI가 제안한 최소 변경은 실제로 실행할 수 있을까?

출력이 뒤집히는 가장 가까운 입력과 사람이 지금 선택해 실행할 수 있는 행동을 비용·시간·인과 제약으로 나눕니다.