판 이력 — Efficient Polynomial System Solving via Dixon Resultants: Applications to AO Primitives | AIChainDay