[논문리뷰] Aletheia tackles FirstProof autonomously이 논문은 Aletheia 라는 수학 연구 에이전트가 FirstProof 챌린지 에서 보여준 성능을 보고합니다. 주요 목표는 AI가 전문 수학 문헌의 엄격한 기준에 부합하는 연구 수준의 수학 문제를 자율적으로 해결할 수 있는 능력을 평가하고, 그 결과를 투명하게 공개하는 것입니다.#Review#Mathematics Research Agent#Autonomous Problem Solving#FirstProof Challenge#Gemini 3 Deep Think#Mathematical Proof Generation#Human-AI Interaction#Deep Learning2026년 2월 24일댓글 수 로딩 중