REASONING USING AUTOMATED REASONING: A DISRUPTIVE WAVE POWERING SWIFT AND WIDESPREAD AI MODELS