한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과33건

검색 결과 제목

  1. 21검색 문서 속 명령을 AI가 따라도 될까?
  2. 22사람에게 같은 그림인데 AI 판단은 왜 달라질까?
  3. 23인공지능(AI)가 정답을 맞히면 근거 사슬도 맞았을까?
  4. 24인공지능(AI)가 쓴 풀이가 실제 판단 과정을 그대로 보여 줄까?
  5. 25인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?
푸른 저녁 위성 관제실에서 여성 보안 기술자와 남성 분석가가 외부 보고서를 살피고 둥근 안경을 쓴 LTCT 올빼미 캐릭터가 두 사람 사이에서 붉은 정지 표식을 드는 장면

검색 문서 속 명령을 AI가 따라도 될까?

푸른 저녁 위성 관제실에서 여성 보안 기술자와 남성 분석가가 외부 보고서를 살피고 둥근 안경을 쓴 LTCT 올빼미 캐릭터가 두 사람 사이에서 붉은 정지 표식을 드는 장면
인공지능과 논리논리학 배우기 · 주제별 학습 · 심화

검색 문서 속 명령을 AI가 따라도 될까?

요약하려고 가져온 문서의 ‘승인 상태를 바꿔라’는 문장을 지시가 아닌 자료로 표시하고, 읽기 전용 권한으로 행동 경로를 차단하는 두 겹 방어를 비교합니다.

게시 2026-09-13 · 약 18분논리학 학습 글 읽기 →
직물 보존 색상 검수실에서 남녀 전문가가 작은 기하 무늬 변화를 살피고 둥근 안경을 쓴 LTCT 올빼미 캐릭터가 핀셋으로 한 조각을 가리키는 장면

사람에게 같은 그림인데 AI 판단은 왜 달라질까?

직물 보존 색상 검수실에서 남녀 전문가가 작은 기하 무늬 변화를 살피고 둥근 안경을 쓴 LTCT 올빼미 캐릭터가 핀셋으로 한 조각을 가리키는 장면
인공지능과 논리논리학 배우기 · 주제별 학습 · 심화

사람에게 같은 그림인데 AI 판단은 왜 달라질까?

16칸 중 같은 한 칸 변화도 위치에 따라 출력이 유지되거나 뒤집히는 규칙으로, 무작위 흔들림과 의도적 취약성 검사를 구분합니다.

게시 2026-09-13 · 약 18분논리학 학습 글 읽기 →
라온 등록 사실과 첫 규칙이 합류해 확인 메일 결론을 만들고, 그 결론과 둘째 규칙이 합류해 입장 가능 결론을 만드는 두 단계 증명 그래프.

인공지능(AI)가 정답을 맞히면 근거 사슬도 맞았을까?

라온 등록 사실과 첫 규칙이 합류해 확인 메일 결론을 만들고, 그 결론과 둘째 규칙이 합류해 입장 가능 결론을 만드는 두 단계 증명 그래프.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)가 정답을 맞히면 근거 사슬도 맞았을까?

ProofWriter는 정답 분류와 명시적 증명 생성, 모든 결론 열거와 제한적 역추론을 서로 다른 과제로 평가합니다.

ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language

게시 2026-09-12 · 약 11분해외 논리학 연구 해설 읽기 →
원래 규칙과 전제, 부정으로 바꾼 전제, 제거한 규칙의 세 개입에서 논리적으로 기대되는 결론 변화와 AI 답을 비교하도록 한 표.

인공지능(AI)가 쓴 풀이가 실제 판단 과정을 그대로 보여 줄까?

원래 규칙과 전제, 부정으로 바꾼 전제, 제거한 규칙의 세 개입에서 논리적으로 기대되는 결론 변화와 AI 답을 비교하도록 한 표.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)가 쓴 풀이가 실제 판단 과정을 그대로 보여 줄까?

사고 사슬에 오류·바꾸어 쓰기·삭제를 가한 개입 연구는 모델과 과제에 따라 답이 풀이에 의존하는 정도가 크게 다름을 보였습니다.

Measuring Faithfulness in Chain-of-Thought Reasoning

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
형식화된 전제에서 신경모형의 보조점 후보, 기호 엔진의 규칙 유도, 검증된 결론으로 이어지는 네 단계 표. 각 단계의 실패 조건을 함께 표시한다.

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

형식화된 전제에서 신경모형의 보조점 후보, 기호 엔진의 규칙 유도, 검증된 결론으로 이어지는 네 단계 표. 각 단계의 실패 조건을 함께 표시한다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

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

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

Solving Olympiad Geometry without Human Demonstrations

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →

21–25 / 33편