판 이력 — Proof-based general-purpose computing with Magnetar | AIChainDay