통합검색

증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?

수학올림피아드 증명 평가 연구에서 자동 채점의 어려움을 읽습니다. 예시 확인과 일반 증명을 구별하는 작은 답안으로 채점 근거를 점검합니다.

Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad

미래에 일어날 일과 언젠가 일어날 일은 같은 뜻일까?

시제논리는 ‘언젠가’, ‘항상’, ‘과거에’ 같은 시간 표현을 논리 연산자로 다루며 시간 구조에 따라 추론이 달라짐을 보여 줍니다.

Temporal Logic

필요 없는 숫자 하나가 인공지능(AI)의 답을 흔들까?

같은 계산 구조에서 이름·숫자·무관 정보를 바꾸는 평가를 살펴봅니다. 한 번의 정답보다 변형에 대한 안정성을 묻습니다.

GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models

증명 보조기의 실패 메시지는 인공지능(AI) 탐색을 어떻게 바꿀까?

DeepSeek-Prover-V1.5는 Lean 4 검증 피드백을 강화학습과 트리 탐색에 이용해 형식증명 성능을 평가했습니다.

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

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

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