한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과136건

검색 결과 제목

  1. 91증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?
  2. 92괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?
  3. 93인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?
  4. 94단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?
  5. 95증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?
홀수 합의 두 사례만 든 답안 A와 임의의 두 홀수를 사용한 답안 B를 비교하는 표. B는 합이 정수의 두 배임을 보인다.

증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?

홀수 합의 두 사례만 든 답안 A와 임의의 두 홀수를 사용한 답안 B를 비교하는 표. B는 합이 정수의 두 배임을 보인다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?

수학올림피아드 증명 평가 연구에서 자동 채점의 어려움을 읽습니다. 예시 확인과 일반 증명을 구별하는 작은 답안으로 채점 근거를 점검합니다.

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad

게시 2026-09-12 · 약 8분해외 논리학 연구 해설 읽기 →
개별 증명 기록 검사, 체계 F 내부의 증명 가능성, 더 강한 메타이론 M의 설명을 세 층으로 나누고 불완전성 정리의 적용 범위를 표시한 표.

괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?

개별 증명 기록 검사, 체계 F 내부의 증명 가능성, 더 강한 메타이론 M의 설명을 세 층으로 나누고 불완전성 정리의 적용 범위를 표시한 표.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 심화

괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?

불완전성 정리는 충분한 산술을 표현하는 일관된 형식 체계에 관한 정밀한 결과입니다. 체계 안의 증명과 바깥 해석을 구분합니다.

Gödel’s Incompleteness Theorems

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

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

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

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

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

Solving Olympiad Geometry without Human Demonstrations

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
원 퍼즐, 난독화, 동일 해 검증을 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.

단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?

원 퍼즐, 난독화, 동일 해 검증을 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?

4,290개 퍼즐의 Mystery-Zebra는 논리 구조, 난이도와 표면 표현의 영향을 분리해 평가합니다.

Lexical Recall or Logical Reasoning: Probing the Limits of Reasoning Abilities in Large Language Models

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
후보 증명, Lean 피드백, 탐색 갱신을 연결해 조건과 범위를 확인하는 교육용 도식.

증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?

후보 증명, Lean 피드백, 탐색 갱신을 연결해 조건과 범위를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?

DeepSeek-Prover-V1.5는 Lean 4 검증 피드백을 강화학습과 트리 탐색에 이용해 형식증명 성능을 평가했습니다.

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

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

91–95 / 136편