FSRS, not fixed intervals
The Free Spaced Repetition Scheduler, the model behind modern Anki, tracks how difficult each problem is for you and how stable your memory of it has become. It predicts the day your recall crosses your target and schedules the re-solve for that day, not a generic 1, 3, 7.
R(t) = (1 + f · t / S)−w
- R
- chance you can still solve it
- S
- stability, grows with each success
- t
- days since your last solve
Overdue? No penalty. A late success counts for more, because you recalled it against the odds.