Proof-based general-purpose computing with Magnetar | AIChainDay