Kann KI ein MacBook Pro formatieren?