증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?
miniF2F는 올림피아드 수준 문제를 여러 증명 보조기 형식으로 맞춰 신경 정리증명기의 비교 기반을 만들었습니다.
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과24건
검색 결과 제목
단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?
4,290개 퍼즐의 Mystery-Zebra는 논리 구조, 난이도와 표면 표현의 영향을 분리해 평가합니다.
Lexical Recall or Logical Reasoning: Probing the Limits of Reasoning Abilities in Large Language Models
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
이미 기다린 시간이 길수록 더 기다려야 할까?
쥐·생쥐·사람의 병렬 과제는 이미 투자한 시간이 이후 포기 결정에 어떤 영향을 주는지 비교했습니다.
Sensitivity to “sunk costs” in mice, rats, and humans
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
코너 안내단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?논리학 배우기
단어를 낯설게 바꾸면 인공지능(AI)의 논리 퍼즐 실력도 유지될까?
원 퍼즐, 난독화, 동일 해 검증을 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.
21–24 / 24편