증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?
수학올림피아드 증명 평가 연구에서 자동 채점의 어려움을 읽습니다. 예시 확인과 일반 증명을 구별하는 작은 답안으로 채점 근거를 점검합니다.
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
게시 2026-09-12 · 약 8분해외 논리학 연구 해설 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
수학올림피아드 증명 평가 연구에서 자동 채점의 어려움을 읽습니다. 예시 확인과 일반 증명을 구별하는 작은 답안으로 채점 근거를 점검합니다.
Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad
여러 표현을 함께 쓰는 수업을 설계·기능·과제라는 세 관점에서 살펴봅니다. 같은 관계가 다른 표현으로 어떻게 옮겨지는지 직접 확인합니다.
DeFT: A conceptual framework for considering learning with multiple representations
모순을 발견해도 관련 없는 결론까지 허용하지 않는 비폭발적 추론을, 상충하는 행사 기록으로 살펴봅니다.
Paraconsistent Logic
1995~2025년 논증 추론 연구 검토는 지식·메타인지·사회적 조정이 함께 작동함을 보여 줍니다.
Argumentative Reasoning: Development, Training, and Relevance to Academic Outcomes
조작 도구가 제약을 대신 지켜 주는 순간, 학습자가 수행하는 일이 달라집니다. 외적 표상을 과제의 일부로 살펴봅니다.
Representations in Distributed Cognitive Tasks
106–110 / 260편