COMPUTING WITH SMART SYSTEMS: A NEW PHASE FOR HIGH-PERFORMANCE AND INCLUSIVE AUTOMATED REASONING PLATFORMS