(논문 요약) Automated Theorem Proving (paper)

핵심 내용

• IMO 2025 6 문제중 5문제 해결
• Seed-Geometry
  • TongGeometry 를 개선 (concise representation, c++ implementation)
  • Policy model (LLM): propose next auxiliary element to construct
• Seed-Prover
  • Conjecture Proposal (LLM) 를 활용하여 10–50 candidate conjectures 생성

  

  

  

• 학습: multi-stage, multi-task RL (reward 1 if proven 0 otherwise)