REASONING THROUGH AUTOMATED REASONING: THE CUTTING OF ADVANCEMENT POWERING SWIFT AND WIDESPREAD AI MODELS