Komplexität des algebraischen Beweises: Fortschritte, Grenzen und Herausforderungen