통합검색

조건을 못 맞추는 퍼즐은 인공지능(AI)에게 왜 더 어려울까?

SATBench의 2,100개 문제는 해 찾기와 불가능성 판정 사이의 비대칭을 드러냅니다.

SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas

함께 움직였다고 원인이라고 말할 수 있을까?

두 값이 함께 변한 관찰과 하나의 조건을 실제로 바꾸었을 때 생기는 차이를 공통 원인 그림으로 구분합니다.

한 사례로 규칙을 무너뜨리는 법

몇 번의 성공보다 결정적인 한 반례가 알려주는 것을 찾아봅니다.

저술의 시대와 살아남은 책의 시대를 나누어 읽는다

기원전 3세기 아르키메데스의 원의 측정에서 10세기 사본, 1229년 기도서 재사용, 1897년 히스 번역, 1906년 하이베르그 판독, 1998년 이후 보존 프로젝트로 이어지는 증거 연표

수학 자료를 더 읽은 언어모델은 증명도 믿을 수 있을까?

수학 자료 사전학습에서 후보 풀이가 생성되고 독립 계산·형식 커널 두 검증 문을 거쳐 게시 상자로 들어간다.