판 이력 — ProofCouncil: An LLM Agent for Solving Open Mathematical Problems | AIChainDay