# Teaching AI to Disprove Required Almost No Training Data - Date: 2026-03-23 - Category: Artificial Intelligence AI math systems can prove theorems. ---