판 이력 — The Problem Is the Problem: Towards Scalable Mathematical Discovery | AIChainDay