[zetalyrae]

In my own experience using spaced repetition for math: math has both semantic and procedural knowledge. The procedural knowledge comes from doing problems and rewriting proofs. But the semantic knowledge is also important, and you can acquire and retain this through spaced repetition.

I was going to write some rules specifically about math but I might write those as a separate post because they got too long. I think I've benefited specially from memorizing the proofs of theorems, though refactoring proofs into multiple lemmas to make each proof small enough to fit in a flashcard is a tedious process.

[anjanb]

"refactoring proofs into multiple lemmas to make each proof small enough to fit in a flashcard is a tedious process."

Can GPT/chatGPT help here ? If yes, how ?

[miklosz]

I use it and it's quite effective. I just paste text I want to summarise and just ask (GPT-4) to "Create Anki cards for these paragraphs. Keep the answers brief". It does quite a good job in distilling the knowledge.

And for cards creation in general, the ever-green "20 rules of formulating knowledge in learning" is always a good guide.

http://super-memory.com/articles/20rules.htm

[Kelamir]

On top of that, you can prompt it with the 20 rules so that it generates cards which would conform to the rules.

[zetalyrae]

I haven't tried it. But it's a two step process:

1. Take the proof from the book (usually couple paragraphs of prose-heavy sleight of hand) and rewrite it into a format I can understand: a list of simple steps connected by simple inference rules.

2. Split them up until each proof is 5-7 steps.

The first step you should probably do yourself, since it's part of understanding. The second step GPT can probably help with.