VERIFY-RL: Verifizierbare rekursive Zerlegung für RL in der Mathematik

Ein neues Verfahren namens Verify‑RL nutzt die klaren Regeln der symbolischen Ableitung, um komplexe mathematische Aufgaben in kleinere, lösbare Teilprobleme zu zerlegen. Im Gegensatz zu bisherigen heuristischen Ansätzen garantiert Verify‑RL, dass jede Zerlegung drei überprüfbare Bedingungen erfüllt: die strukturelle Komplexität nimmt strikt ab, die Lösung des Teilproblems ist in der Lösung des Gesamtproblems enthalten und die Zerlegung folgt einer formalen Ableitungsregel.

Durch die automatische Verifikation dieser Bedingungen mittels symbolischer Berechnungen wird sichergestellt, dass nur gültige Zerlegungen in das Lernverfahren einfließen. Experimente zeigen, dass das Ausschließen fehlerhafter Zerlegungen die Leistung deutlich steigert: Die Genauigkeit bei den schwierigsten Aufgaben verdoppelt sich von 32 % auf 68 %, während die Gesamtleistung um 40 % relativ verbessert wird.

Verify‑RL demonstriert damit, dass „Verifikation durch Konstruktion“ in der mathematischen Problemlösung nicht nur möglich, sondern auch äußerst wirkungsvoll ist, und eröffnet neue Perspektiven für die Entwicklung robuster KI‑Modelle in der Mathematik.