2026
CLM-AI-003636= Q_t converges to Q* almost surelyEXACT VALUEThe cited theorem establishes Q_t converges to Q* almost surely under the recorded model.Source: Q-learning — Tabular Q-learning convergence limit ↗
PROVENTabular Q-learning converges under finite MDP, sufficient exploration, bounded rewards, and Robbins-Monro step sizes.
The question, scope, and sources behind this Registry record.
Under the recorded reinforcement learning model, establish Q_t converges to Q* almost surely.
Current frontiers derived from accepted Claims.
The accepted equality closes this optimization result.
Assertions tied to evidence, attribution, and review.
The frontier as it changed over time.
Only accepted Claims matching the current specification contribute to the displayed bounds. Strict inequalities remain open; contradictory Claims require editorial review.
No accepted machine-checked reproductions are recorded for this Limit.
Limits Registry. LR-003636. Tabular Q-learning convergence limit. 2026.