고등학교 경시문제를 잘 푸는 증명 인공지능(AI)가 대학원 해석학도 잘 풀까?
2026년 MA-ProofBench는 해석학 200문제를 학부·박사자격 수준으로 나눠 평가했고, 최고 일반 모델도 Pass@8 16%와 5%에 머물러 분야·난도별 검증의 필요성을 보였습니다.
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
개별 글보다 주제 전체를 따라 읽고 싶다면 대표 글과 연관 자료를 함께 보세요.
그림으로 이해하고, 원문으로 깊이 읽습니다.
관심 주제와 난이도로 필요한 글을 찾아보세요. 개념을 익히는 학습과 원문에 근거한 연구 해설을 구분했습니다.

해외 학술 연구의 7개 분야
2026년 MA-ProofBench는 해석학 200문제를 학부·박사자격 수준으로 나눠 평가했고, 최고 일반 모델도 Pass@8 16%와 5%에 머물러 분야·난도별 검증의 필요성을 보였습니다.
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
Fox와 Tversky의 비교 무지 가설은 모호한 선택의 회피가 확률을 아는 선택과 나란히 놓일 때 두드러진다고 설명합니다.
Ambiguity Aversion and Comparative Ignorance
논증의 형식·품질·감정을 여러 층으로 기록할 수 있는가?
Argumentation Profiles: A Tool for Analyzing Argumentative Strategies
2025년 무작위시험의 2차 탐색 분석은 전체 효과가 없는데 한 하위집단에서 차이를 보였습니다. 사전지정·다중검정·기준선 차이를 함께 봐야 합니다.
The Association Between Test Anxiety, Learning Strategies, and Open-Label Placebo Effects on Academic Test Performance: A Secondary Analysis of a Randomized Controlled Trial
주장의 발생 배경을 지적하는 계보학적 비판과, 그 주장을 지지하는 증거를 평가하는 일을 구분하면서도 출처 정보의 탐구 가치를 살펴봅니다.
The Value of Genetic Fallacies
166–170 / 417묶음