판 이력 — An improved random AKS-class primality proving algorithm | AIChainDay