고등학교 경시문제를 잘 푸는 증명 인공지능(AI)가 대학원 해석학도 잘 풀까?
2026년 MA-ProofBench는 해석학 200문제를 학부·박사자격 수준으로 나눠 평가했고, 최고 일반 모델도 Pass@8 16%와 5%에 머물러 분야·난도별 검증의 필요성을 보였습니다.
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
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
ReAct는 추론과 외부 행동을 엮는 방식을 제안했습니다. 계획 문장, 실행 요청, 실제 관찰을 나누면 긴 작업에서 어디까지 확인되었는지 읽을 수 있습니다.
ReAct: Synergizing Reasoning and Acting in Language Models
두 연구 3,446명에서 인지적 성찰 점수가 높은 참가자는 정치적 일치 여부와 별개로 참·거짓 헤드라인을 더 잘 구분했지만, 상관 설계와 특정 표본의 한계가 있습니다.
Lazy, Not Biased: Susceptibility to Partisan Fake News Is Better Explained by Lack of Reasoning Than by Motivated Reasoning
Kale와 동료들은 가능한 결과 표본을 차례로 보여 주는 HOPs가 훈련받지 않은 독자의 모호한 추세 판단을 도울 수 있는지 실험했다.
Hypothetical Outcome Plots Help Untrained Observers Judge Trends in Ambiguous Data
51–55 / 257편