통합검색

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

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

Solving Olympiad Geometry without Human Demonstrations

시각화가 틀리면 어느 단계부터 다시 봐야 할까?

Munzner의 중첩 모형은 시각화의 네 설계 층을 나누고, 위층의 오해가 아래층의 정교한 구현까지 연쇄적으로 무효화할 수 있음을 보입니다.

A Nested Model for Visualization Design and Validation

댓글에서 주장과 근거를 자동으로 찾을 수 있을까?

웹 논증 채굴은 340개 문서·9만 토큰의 공개 말뭉치로 가능성과 난점을 함께 보였습니다. 문맥과 암묵적 연결이 왜 어려운지 읽습니다.

Argumentation Mining in User-Generated Web Discourse

AI가 대상을 보지 않고 배경을 맞힌다면?

동물의 특징을 그대로 둔 채 눈 배경과 모서리 표식을 바꾸어 예측이 무엇에 기대는지 점검합니다.

AI가 80%라고 말하면 열 번 중 여덟 번 맞을까?

AI가 붙인 신뢰도와 같은 신뢰도를 받은 사례의 실제 정답 비율을 구간별로 맞대어 과신과 과소신을 찾습니다.