Math was never only about deduction. It's also about data curation.
replyI was taking to my friend in OA who was really surprised that the proof of L(F_2) = L(F_3) could be done in the 1980s. We just didn't have a superhuman deducer back then.
All scientific break-troughs are obvious in retrospect.
replySpecial relativity which Einstein got a Nobel for is now taught in high-school.
"Of course if you move a magnet in a piece of copper you will generate a current, it's extremely obvious it should be so"
That's true. I'm not saying the work is trivial, I'm calling out the difference between "deduction from known data" and "distilling known data"
reply