>If you just memorized the proofs, but cannot actually recreate them, it means that you did not actually learn it, and the perfect score on the exam doesn’t matter.
I wasn't tested on the exact proofs and problems I memorized. I was tested on variations and novel combinations of them I haven't seen before. That sure sounds like learning to me.
Further you can't just memorize a proof straight through, there isn't enough space in your brain for that - rather the act of mentally walking through the theorem over and over via an Anki flashcard prompt will eventually just... Change your logic, invisibly, to be correct. Which, again, sounds a lot like learning to me.
>The point of learning mathematics is to be able to transfer this skill into new domains, not to just regurgitate it.
I am far more confident in both my intuition and conscious reasoning around e.g. Abelian groups or the enumerative combinatorics applications of group actions than whatever I learned in real analysis, where I studied in the "usual" way. Indeed going back to learn Haskell a few years after that AA course was much easier than earlier attempts because I had a considerably stronger background in what kinds of things to look for in that domain.
But more importantly homework problems are rigged [1] and transfer learning is close to non-existent in every domain we've seriously looked at [2], so this is awfully close to moving the goalposts on what "really learning" something is by setting an unreasonably high bar to start with. Math certainly can transfer to new domains, but I would never call that "the point" of math, and that's also a totally different endeavor to be performed in addition to learning the math itself.
[1] https://www.johndcook.com/blog/2023/10/12/homework-problems-...
[2] https://www.econlib.org/archives/2012/08/low_transfer_of.htm...